Andrzej Grzegorczyk. An outline of mathematical logic. Fundamental results and notions explained with all details. English translation by Olgierd Wojtasiewicz and Wacław Zawadowski of the second edition of Zarys logiki matematycznej. Synthese library, vol. 70. D. Reidel Publishing Company, Dordrecht and Boston, and PWN—Polish Scientific Publishers, Warsaw, 1974, X + 596 pp.
1983 ◽
Vol 48
(1)
◽
pp. 220-222