Computability and logic

Manylion Llyfryddiaeth
Prif Awdur:	Boolos, George
Awduron Eraill:	Burgess, John P. 1948-, Jeffrey, Richard C.
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Cambridge Cambridge University Press c2002.
Rhifyn:	4th ed.
Pynciau:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.