Computability And Logic

Cambridge University Press

Computability and Logic Fifth Edition            

Springer

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, ... Science Book 15764) (English Edition)

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

Advanced Reasoning Forum

Computability: Computable Functions, Logic, and the Foundations of Mathematics (English Edition)

Cambridge University Press

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

OXFORD UNIVERSITY PRESS

Computability and Randomness: 51                

Springer

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

Cambridge University Press

Computability and Logic                          

Elsevier

Handbook of Computability Theory: Volume 140    

Computability and Mathematical Logic