Boolos,, George S.
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey
. - 4th ed
. - Cambridge : Cambridge University Press, 2002
. - XI, 356 p. 26 cm
0-521-00758-5 Brochado
510.6
510.57