This book is mostly comprised of six sets of notes for lectures Hilbert gave from 1917 to 1933...

Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for h...

Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for h...

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical...

This volume contains the proceedings of the Workshop on Logic and Computation, held in July 1987 ...

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published...

Solomon Feferman has shaped the field of foundational research for nearly half a century. These p...

Hilbert's Programs & Beyond presents the foundational work of David Hilbert in a sequence of them...

Volume 2 focuses on notes for lectures on the foundations of the mathematical sciences held by Hi...

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical...

The core of Volume 3 consists of lecture notes for seven sets of lectures Hilbert gave (often ...