scientific article; zbMATH DE number 4095421

MaRDI QIDQ3822138zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

Boolean algebrasfirst-order logicintuitionistic logicmodel theorynon-standard analysisproof theorypropositional logicrecursion theoryset theory

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Categoricity and completeness of theories (03C35) Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Axiomatics of classical set theory and its fragments (03E30) Consistency and independence results (03E35) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 3296221
• scientific article; zbMATH DE number 3926869
• scientific article; zbMATH DE number 3304882
• A first course in mathematical logic and set theory
• scientific article; zbMATH DE number 1016911
• scientific article; zbMATH DE number 1818024
• A course on mathematical logic
• A course on mathematical logic
• scientific article; zbMATH DE number 1746885

Cited in

(3)

• Course of mathematical logic. Vol. 1: Relation and logical formula. Translation edited by David Louvish
• A Course in Mathematical Logic for Mathematicians
• scientific article; zbMATH DE number 1521608 (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 Q3822138)