Computability and logic
Boolos, George
Computability and logic - - Cambridge Cambridge Univ. Press, 1974 - x,262 p. 22 cm - .
0-521-20402-X2
Logic, Symbolic and mathematical
16 Boo
Computability and logic - - Cambridge Cambridge Univ. Press, 1974 - x,262 p. 22 cm - .
0-521-20402-X2
Logic, Symbolic and mathematical
16 Boo