scientific article; zbMATH DE number 52620
From MaRDI portal
Publication:4002908
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Basic properties of first-order languages and structures (03C07) Categoricity and completeness of theories (03C35) First-order arithmetic and fragments (03F30)
Cited in
(3)
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 Q4002908)