Login Help

author = Church, Alonzo (2 entries)  Select: All None   Action: Show BibTeX

Alonzo Church. 1996. Introduction to mathematical logic. Princeton. [book.mathtext] google scholar books
Alonzo Church. 1941. The Calculi of Lambda Conversion. Princeton University Press. [book.mathtext] google scholar books

x$Id: bibtex.php,v 1.59 2021/01/12 08:36:11 dyuret Exp $   download