Gentzen

Sorry, we're still building and haven't quite gotten to this subject yet.

Related Subjects

Gerhard Gentzen

Related Phrases

Consistency Proofs

Gödel's Incompleteness Theorems

Hilbert's Second Problem

History of Logic

Mathematische Annalen

Natural Deduction

Natural Numbers

Peano Arithmetic

Related Words