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 5 items.
- Combinatorial analysis of proofs in projective and affine geometry (Q638479) (← 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)
