Types in logic and mathematics before 1940 (2002)

by Fairouz Kamareddine , Twan Laan , Rob Nederpelt
Venue:Bulletin of Symbolic Logic
Citations:11 - 6 self

Document Versions

Types in logic and mathematics before 1940 –Fairouz Kamareddine, Twan Laan, Rob Nederpelt — 2002 — Bulletin of Symbolic Logic
Types in Logic and Mathematics before 1940 –Fairouz Kamareddine, Twan Laan, Rob Nederpelt — 1940
Types In Logic And Mathematics Before 1940 –Fairouz Kamareddine, Twan Laan, Rob Nederpelt — 2002 — Bulletin of Symbolic Logic
Types in logic and mathematics before 1940 –Fairouz Kamareddine, Twan Laan, Rob Nederpelt — 1968 — Bulletin of Symbolic Logic