| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Computability: Computable Functions, Logic, and the Foundations of Mathematics | 978-0-9815507-2-5 | 2008 | Richard L. Epstein |
| Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline | 978-0-534-54644-1 | 1999 | " |
| Handbook of Paraconsistency | 978-1-904987-73-4 | 2007 | Jean-Yves Beziau · Dov M. Gabbay |
| Methods and Applications of Mathematical Logic: Proceedings | 978-0-8218-5076-3 | 1988 | |
| Paraconsistency: The Logical Way to Inconsistency | 978-0-8247-0805-4 | 2002 | Marcelo E. Coniglio |
A.C. · W.A. · W.A.C. · W.C. · W. Carnielli · Walter A. · Walter Alexandr Carnielli · Walter C. · Walter Carnielli
Advanced Reasoning Forum · Amer Mathematical Society · CRC Press · College Publications · Wadsworth; Brooks/Cole