Mathematical Logic, the Theory of Algorithms and the Theory of Sets
-
pocket
,
Engelska, 1977