Computability and logic
George S. Boolos
Computability and logic George S. Boolos<>Richard C. Jeffrey - 3rd - Cambridge,USA: Cambridge University Press, 1995 - 304 p.
EN
0-521-38026-x
Mathematical logic
511.3 / BOO-C
Computability and logic George S. Boolos<>Richard C. Jeffrey - 3rd - Cambridge,USA: Cambridge University Press, 1995 - 304 p.
EN
0-521-38026-x
Mathematical logic
511.3 / BOO-C
