BOOLOS George

Computability and logic - London Cambridge university press 1980 - x,285p cm.

0 521 23479 4

General Book

R14, M0