The following pages link to Jan von Plato (Q167888):
Displaying 17 items.
- IN SEARCH OF THE SOURCES OF INCOMPLETENESS (Q5122189) (← links)
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802) (← links)
- Meaning in Use (Q5213613) (← links)
- (Q5215775) (← links)
- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction (Q5221860) (← links)
- Aristotle’s Deductive Logic: a Proof-Theoretical Study (Q5221862) (← links)
- (Q5310898) (← links)
- The Great Formal Machinery Works (Q5348547) (← links)
- From Hauptsatz to Hilfssatz (Q5361246) (← links)
- (Q5408687) (← links)
- In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030) (← links)
- Normal derivability in modal logic (Q5704814) (← links)
- (Q5718568) (← links)
- Explicit Composition and Its Application in Proofs of Normalization (Q5864201) (← links)
- Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth (Q5891339) (← links)
- A proof of Gentzen's \textit{Hauptsatz} without multicut (Q5928308) (← links)
- Portrait of Young Gödel. Education, first steps in logic, the problem of completeness (Q6610098) (← links)
