Computability and logic

Bibliografische gegevens
Hoofdauteur:	Boolos, George
Andere auteurs:	Burgess, John P. 1948-, Jeffrey, Richard C.
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Cambridge, New York Cambridge University Press 2007.
Editie:	5th ed.
Onderwerpen:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
Online toegang:	Table of contents only