Principles of Mathematical Logic

E838589
book work in mathematical logic

Principles of Mathematical Logic is a foundational work in mathematical logic by David Hilbert and Wilhelm Ackermann that systematically develops the formal underpinnings of logical reasoning and proof theory.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (1)

Label Occurrences
Principles of Mathematical Logic canonical 2

Statements (47)

Predicate Object
instanceOf book ⓘ
work in mathematical logic ⓘ
aim to formalize logical reasoning ⓘ
to provide a systematic development of mathematical logic ⓘ
to support the foundations of mathematics ⓘ
author David Hilbert NERFINISHED ⓘ
Wilhelm Ackermann NERFINISHED ⓘ
contribution clarification of the notion of formal theory ⓘ
development of formal proof systems ⓘ
early systematic exposition of first-order logic ⓘ
countryOfOrigin Germany ⓘ
field foundations of mathematics ⓘ
mathematical logic ⓘ
proof theory ⓘ
genre mathematics textbook ⓘ
non-fiction ⓘ
hasEdition second edition ⓘ
hasEnglishTranslation Principles of Mathematical Logic (English edition) NERFINISHED ⓘ
hasSubject formal deduction ⓘ
logical calculi ⓘ
logical consequence ⓘ
predicate calculus ⓘ
sentential calculus ⓘ
historicalPeriod 20th century ⓘ
influenced Gerhard Gentzen NERFINISHED ⓘ
Hilbert program NERFINISHED ⓘ
Kurt Gödel NERFINISHED ⓘ
modern proof theory ⓘ
influencedBy Alfred North Whitehead NERFINISHED ⓘ
Bertrand Russell NERFINISHED ⓘ
Gottlob Frege NERFINISHED ⓘ
language German ⓘ
notableFor foundational role in mathematical logic ⓘ
influence on later work in proof theory ⓘ
originalTitle Grundzüge der theoretischen Logik NERFINISHED ⓘ
partOf Hilbert program NERFINISHED ⓘ
publicationYear 1928 ⓘ
publisher Springer NERFINISHED ⓘ
topic axiomatic systems ⓘ
completeness ⓘ
consistency ⓘ
decision problems ⓘ
first-order logic ⓘ
formalization of logic ⓘ
propositional logic ⓘ
uses formal languages ⓘ
symbolic notation ⓘ

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Hilbert and Ackermann’s "Grundzüge der theoretischen Logik" → translatedAs → Principles of Mathematical Logic ⓘ
subject surface form: Grundzüge der theoretischen Logik
Hilbert and Ackermann’s "Grundzüge der theoretischen Logik" → hasEnglishEdition → Principles of Mathematical Logic ⓘ
subject surface form: Grundzüge der theoretischen Logik