Types in Logic and Mathematics before 1940
From MaRDI portal
Publication:3149961
DOI10.2307/2693964zbMath1006.03002MaRDI QIDQ3149961
Twan Laan, Rob Nederpelt, Fairouz Kamaraddine
Publication date: 6 March 2003
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0802-toc.htm
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
03B40: Combinatory logic and lambda calculus
Related Items