Fairouz Kamareddine Twan Laan Rob Nederpelt Types in logic and mathematics before 1940. 185-245 2002 8 Bulletin of Symbolic Logic 2 http://www.math.ucla.edu/~asl/bsl/0802/0802-001.ps db/journals/bsl/bsl8.html#KamareddineLN02