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

DOI10.2307/3620335zbMATH Open0858.03005OpenAlexW2794499682MaRDI QIDQ4890905FDOQ4890905

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

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

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)

Cited In (2)

• Title not available (Why is that?)
• A survey of mathematical logic, part II: post-1931

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)