Pages that link to "Item:Q5421030"
From MaRDI portal
The following pages link to In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs (Q5421030):
Displaying 7 items.
- Combinatorial analysis of proofs in projective and affine geometry (Q638479) (← links)
- The Lotharingian impact on combinatorial mathematics: Myth or reality? (Q1423017) (← links)
- Skolem's discovery of Gödel-Dummett logic (Q1868245) (← links)
- Generality and existence: quantificational logic in historical perspective (Q2795206) (← links)
- Gentzen's proof systems: byproducts in a work of genius (Q2915886) (← links)
- KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION (Q4961869) (← links)
- Constructibility and Geometry (Q5213630) (← links)