Computability and logic

Computability and logic

Show all versions (2)
מידע ביבליוגרפי
מחבר ראשי: Boolos, George
מחברים אחרים: Burgess, John P. 1948-, Jeffrey, Richard C.
פורמט: ספר
שפה:English
יצא לאור: Cambridge, New York Cambridge University Press 2007.
מהדורה:5th ed.
נושאים:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
גישה מקוונת:Table of contents only