Library Banner

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