| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Adapting Proofs-as-Programs: The Curry--Howard Protocol | 978-0-387-23759-6 | 2005 | Iman Poernomo · Martin Wirsing | |
| Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia | 978-3-540-07152-5 | 2009 | ||
| Combinatorial Functors. Ergebnisse der Mathematik und ihrer Granzgebiete Band 81 | 978-0-387-06428-4 | 1974 | ||
| Constructive Order Types: Studies in Logic and the Foundations of Mathematics | 978-0-7204-2251-1 | 1969 | ||
| Formal Systems and Recursive Functions: Proceedings, 8th Logic Colloquium | 978-0-7204-2231-3 | 1965 | Sir Michael Dummett | |
| Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday | 978-0-8176-3690-6 | 1994 | Jeffrey B. Remmel · Richard Shore · Moss E. Sweedler | |
| Sets, Models and Recursion Theory | 978-0-7204-2242-9 | 1967 | ||
| The Nine Chapters on the Mathematical Art: Companion and Commentary | 978-0-19-853936-0 | 1999 | Kang-Shen Shen · Anthony W. C Lun · Shen Kangshen · Hui Liu | |
J C · J. Crossley · J N Crossley · John C. · John Crossley · John N. · John Newsome Crossley · n/c
Birkhauser · Elsevier · Oxford University Press · Springer