Computability and logic

Computability and logic

Show all versions (2)
Bibliografiske detaljer
Hovedforfatter: Boolos, George
Andre forfattere: Burgess, John P. 1948-, Jeffrey, Richard C.
Format: Bog
Sprog:English
Udgivet: Cambridge, New York Cambridge University Press 2007.
Udgivelse:5th ed.
Fag:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Online adgang:Table of contents only