A survey of mathematical logic, part I: pre-1931

DOI10.2307/3620335MaRDI QIDQ4890905zbMATH OpenOpenAlexFDO

Authors Graham T. Q. Hoare

Publication date 19 March 1997

Published in The Mathematical Gazette (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/3620335

zbMATH Keywords

surveycompactnessproof theorycompletenessmodel theoryincompletenessHilbert's programPeano axiomsCantorian set theoryLöwenheim-Skolem

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• A survey of mathematical logic, part II: post-1931
• scientific article; zbMATH DE number 3173696
• Mathematical logic. With a preface by A. Szerzo.
• Mathematical logic and the foundations of mathematics. An introductory survey. Reprint of the 1963 orig
• scientific article; zbMATH DE number 6532892
• scientific article; zbMATH DE number 1199084
• scientific article; zbMATH DE number 3926869

Cited in

(2)

• A survey of mathematical logic, part II: post-1931
• scientific article; zbMATH DE number 724262 (Why is no real title available?)

This page was built for publication: A survey of mathematical logic, part I: pre-1931

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4890905)