Types in logic and mathematics before 1940 (2003)

by F Kamareddine, T Laan, R Nederpelt
Venue:University of Leipzig