Computability and logic

Computability and logic

Näytä kaikki versiot (2)
Bibliografiset tiedot
Päätekijä: Boolos, George
Muut tekijät: Burgess, John P. 1948-, Jeffrey, Richard C.
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Cambridge, New York Cambridge University Press 2007.
Painos:5th ed.
Aiheet:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Linkit:Table of contents only