scientific article; zbMATH DE number 5520273

MaRDI QIDQ3607738zbMATH OpenFDO

Authors S. W. P. Steen

Publication date 27 February 2009

Mathematics Subject Classification ID

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

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)