Computability and logic

Computability and logic

Show all versions (2)
Manylion Llyfryddiaeth
Prif Awdur: Boolos, George
Awduron Eraill: Burgess, John P. 1948-, Jeffrey, Richard C.
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: Cambridge, New York Cambridge University Press 2007.
Rhifyn:5th ed.
Pynciau:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Mynediad Ar-lein:Table of contents only