Gödel's completeness theorem

DOI10.1007/BF03186455zbMath0794.03047OpenAlexW4237449040MaRDI QIDQ1312692

Wolfgang Rautenberg

Publication date: 23 March 1994

Published in: Mathematische Semesterberichte (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03186455

zbMATH Keywords

Gentzen calculusGödel's completeness theoremHilbert calculus

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Basic properties of first-order languages and structures (03C07)

Cites Work

• The completeness of the first-order functional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Gödel's completeness theorem