Computability and logic

Computability and logic

Show all versions (2)
Bibliografske podrobnosti
Glavni avtor: Boolos, George
Drugi avtorji: Burgess, John P. 1948-, Jeffrey, Richard C.
Format: Knjiga
Jezik:English
Izdano: Cambridge, New York Cambridge University Press 2007.
Izdaja:5th ed.
Teme:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Online dostop:Table of contents only