Pages that link to "Item:Q530609"
From MaRDI portal
The following pages link to Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics (Q530609):
Displaying 11 items.
- Maehara-style modal nested calculi (Q1734264) (← links)
- Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
- Gentzen's proof systems: byproducts in a work of genius (Q2915886) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- Gentzen's Proof of Normalization for Natural Deduction (Q3503742) (← links)
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (Q4632541) (← links)
- KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION (Q4961869) (← links)
- “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays (Q5013891) (← links)
- Lorenzen's Proof of Consistency for Elementary Number Theory (Q6098749) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
