أساسيات

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert’s axiomatic method, which not only laid the foundations for our understanding of modern mathematics, …

​Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois …

This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of …

»Philosophy of Mathematics« is understood, in this book, as an effort to clarify such questions that mathematics itself raises but cannot answer with its own methods. These include, for example, qu …

This book gathers invited, peer-reviewed works presented at the 2021 edition of the Classical and Constructive Nonassociative Algebraic Structures: Foundations and Applications—Ca CNAS: FA 2021, …

Gödel’s true-but-unprovable sentence from the first incompleteness theorem is purely logical in nature, i.e. not mathematically natural or interesting. An interesting problem is to find mathematica …

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 specialists from all over the world. T …

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, resea …

This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars …

This visionary and engaging book provides a mathematical perspective on the fundamental ideas of numbers, space, life, evolution, the brain and the mind. The author suggests how a development of math …