Computability and logic

Computability and logic

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