The following pages link to (Q5430147):
Displaying 9 items.
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- Diagrams in mathematics (Q2289698) (← links)
- A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION (Q3005996) (← links)
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (Q4632541) (← links)
- Lorenzen Between Gentzen and Schütte (Q5024725) (← links)
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802) (← links)
- Decoding Gentzen's Notation (Q5208100) (← links)
- (Q5227517) (← links)
- (Q5227518) (← links)
