scientific article; zbMATH DE number 5520273

zbMATH Open1156.03002MaRDI QIDQ3607738FDOQ3607738

Authors: S. W. P. Steen 

Publication date: 27 February 2009

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

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
• Title not available (Why is that?)

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)