Computability and logic

Bibliografski detalji
Glavni autor:	Boolos, George
Daljnji autori:	Burgess, John P. 1948-, Jeffrey, Richard C.
Format:	Knjiga
Jezik:	English
Izdano:	Cambridge, New York Cambridge University Press 2007.
Izdanje:	5th ed.
Teme:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
Online pristup:	Table of contents only