Types in logic and mathematics before 1940 (0)

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