This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order

Encapsulates the latest debates on this topic, giving researchers and graduate students an up-to-date view of the field.

This book explores the rich and deep interplay between mathematics and physics one century after David Hilbert’s works from 1891 to 1933, published by Springe