The following pages link to (Q2760586):
Displaying 6 items.
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- On Walter Dubislav (Q2963974) (← links)
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation (Q3370623) (← links)
- On the relations between Heinrich Scholz and Jan Łukasiewicz (Q3429447) (← links)
- Gerhard Hermann Waldemar Kowalewski and his two Prague periods (Q5214704) (← links)
- Lorenzen's Proof of Consistency for Elementary Number Theory (Q6098749) (← links)