Computability and logic

Opis bibliograficzny
1. autor:	Boolos, George
Kolejni autorzy:	Burgess, John P. 1948-, Jeffrey, Richard C.
Format:	Książka
Język:	English
Wydane:	Cambridge, New York Cambridge University Press 2007.
Wydanie:	5th ed.
Hasła przedmiotowe:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
Dostęp online:	Table of contents only