scientific article; zbMATH DE number 5500964
From MaRDI portal
Publication:3598173
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Turing machines and related notions (03D10) Axiomatics of classical set theory and its fragments (03E30) First-order arithmetic and fragments (03F30)
Recommendations
- scientific article; zbMATH DE number 3296221
- A concise introduction to mathematical logic
- scientific article; zbMATH DE number 2232435
- A course on mathematical logic
- scientific article; zbMATH DE number 2134000
- scientific article; zbMATH DE number 47306
- scientific article; zbMATH DE number 3304881
- scientific article; zbMATH DE number 4045703
- Mathematical logic. A course with exercises. Part II. Recursion theory, Gödel's theorems, set theory, model theory. Translated from the 1993 French original by Donald H. Pelletier
Cited in
(9)- Mathematical logic.
- Well-structured mathematical logic
- scientific article; zbMATH DE number 3115104 (Why is no real title available?)
- Mathematical Logic: Mathematics of Logic or Logic of Mathematics
- scientific article; zbMATH DE number 5306054 (Why is no real title available?)
- First-order predicate logic and Gödel's completeness theorem
- scientific article; zbMATH DE number 3181175 (Why is no real title available?)
- Mathematische Logik
- A course on mathematical logic
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 Q3598173)
