Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 79, 18 p. (2021).
Lecture Notes in Logic 1. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-16808-4/hbk; 978-1-316-71701-1/ebook). vii, 84 p. (2016).
Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 299-308 (2008).
Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 23-35 (2008).
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 705-715 (2007).
Bridges, D. S. (ed.) et al., Combinatorics, complexity, and logic. Proceedings of the 1st international conference on discrete mathematics and theoretical computer science, DMTCS ’96, Auckland, New Zealand, December 9–13, 1996. Berlin: Springer. 264-275 (1997).
Plášil, František (ed.) et al., SOFSEM ’97: Theory and practice of informatics. 24th seminar on current trends in theory and practice of informatics, Milovy, Czech Republic, November 22–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1338, 104-121 (1997).
Schwichtenberg, Helmut (ed.), Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 397-437 (1995).
Mathematics and its applications. Chichester: Ellis Horwood Limited; New York etc.: Halsted Press: a division of John Wiley & Sons. 243 p.; £36.50 (1987).