Types in logic and mathematics before 1940 (2002)

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