Computability and logic

Bibliographische Detailangaben
1. Verfasser:	Boolos, George
Weitere Verfasser:	Burgess, John P. 1948-, Jeffrey, Richard C.
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, New York Cambridge University Press 2007.
Ausgabe:	5th ed.
Schlagworte:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
Online Zugang:	Table of contents only