Computability and logic

Boolos, George

Computability and logic [Texte imprimé] / George Boolos,... and Richard Jeffrey,... - 2nd ed. - Cambridge: Cambridge University Press, 1980 - 1 vol. (X-285 p.) ; 23 cm

0-521-23479-4

511.3