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

Alphascript Publishing

Computability Logic                              

Advanced Reasoning Forum

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Springer

Proofs and Algorithms: An Introduction to Logic and Computability

Dover Pubns

Computability and Unsolvability                  

Computability and Logic. Third Edition.          

McGraw-Hill Book Co Ltd

Mathematical Logic and Computability            

Cambridge University Press

Computability and Logic 5th (fifth) edition