scientific article; zbMATH DE number 5520273

MaRDI QIDQ3607738zbMATH OpenFDO

Authors S. W. P. Steen

Publication date 27 February 2009

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Proof theory and constructive mathematics (03Fxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Computability and recursion theory (03Dxx) Model theory (03Cxx)

Cited in

(2)

• Logical number theory I. An introduction
• scientific article; zbMATH DE number 3989326 (Why is no real title available?)

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 Q3607738)