22 x 15 cm, paperback, x, 596 pages, Text in English, very good condition, see picture.
Synthese Library, vol. 70. Detailed exposition of the foundations of mathematical logic, including formal systems, completeness, and computability, written by the Polish logician Andrzej Grzegorczyk.
