Types in logic and mathematics before 1940 (2002)

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