Computability And Logic

Cambridge University Press

Computability and Logic Fifth Edition            

Cambridge University Press

Computability and Logic                          

Independently published

Incompleteness and Computability: An Open Introduction to Gödel's Theorems

Computability and Logic. Third Edition.          

Cambridge University Press

Computability and Logic 5th (fifth) edition      

Ellis Horwood Ltd , Publisher

Computability and Logic                          

Computability and Logic by George S. Boolos (2002-03-04)

Morgan Kaufmann

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science [Lingua inglese]

Dover Pubns

Computability and Unsolvability                  

Springer

Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS'01)