Studies in the history of mathematical logic. An exact reproduction of the text originally published by the Polish Academy of Sciences in 1973. Reprint.

*(English)*Zbl 1355.03003
Classic Reprints. Socorro, NM: Advanced Reasoning Forum (ISBN 978-1-938421-26-6/pbk). 278 p. (2015).

This book is an exact reproduction of Surma’s collection of 1973, which contained English translations of papers presented to successive conferences held at the Jagiellonian University of Cracow in 1966–71 by the Thematic Group for the History of Logic by the Department of Logic of the Polish Academy of Sciences. The first part deals with the completeness of propositional logic, both classical and intuitionistic, the second part with the completeness of classical first order logic and the closely connected topic of Lindenbaum algebras, and the third part with the development of Cantor’s concept of a set, the reduction of relations to sets, and an analysis of the concept of completeness for formalised deductive theories. The reprinting makes available to new students the papers which lay behind one of the seminal movements in the history of logic in the twentieth century.

Reviewer: Jim Mackenzie (Sydney)