The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and
Polish Logic 1920-1939
This book is a consequence of the international meeting organized in Marseilles in November 2018 devoted to the aftermath of the Great War for mathematical comm
This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collec
This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best spe
