Types in logic and mathematics before 1940 (2002)

by Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Venue:Bulletin of Symbolic Logic