Computability And Logic

Cambridge University Press

Computability and Logic Fifth Edition            

Understanding Logic And Computability: A Beginner's Journey (Computing Book 2) (English Edition)

OXFORD UNIVERSITY PRESS

Computability and Randomness: 51                

Cambridge University Press

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Springer-Nature New York Inc

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, Cie 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings: 15764

Springer

Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 10

Cambridge University Press

Computability and Logic                          

Elsevier

Handbook of Computability Theory: Volume 140    

Springer

Computability: 9                                

Elsevier Science Ltd

Provability, Computability and Reflection (Volume 81)