scientific article; zbMATH DE number 3630693

zbMATH Open0406.03015MaRDI QIDQ4192034FDOQ4192034

Authors: Kurt Schütte 

Publication date: 1978

Title of this publication is not available (Why is that?)

zbMATH Keywords

Decision ProblemClosed Prenex First Order FormulaeGoedel-Kalmar-Schuette Class

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4192034)