| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| A Bibliography of Symbolic Logic | 978-0-8218-0084-3 | 1985 | |
| Alonzo Church's Logic of Sense and Denotation: Writings on the Church-Frege Theory | 978-0-521-86754-2 | 2017 | |
| Introduction to Mathematical Logic | 978-0-691-02906-1 | 1996 | |
| Introduction to Mathematical Logic, Volume 1. Princeton Mathematical Series | 978-0-691-07984-4 | 1991 | |
| The Calculi of Lambda Conversion. , Volume 6 | 978-0-691-08394-0 | 1985 | |
| The Collected Works Of Alonzo Church | 978-0-262-02564-5 | 2005 | Tyler Burge · Herbert Enderton · Michael Zeleny |
Amer Mathematical Society · Cambridge University Press · Princeton University Press · The MIT Press