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...

Kurt Godel (1906-1978) did groundbreaking work that transformed logic and other important aspects...

In this collection of essays written over a period of twenty years, Solomon Feferman explains adv...

Die in diesem Band zusammengefassten Beiträge stellen die wesentlichen Forschungsergebnisse de...

Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who de...

Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial...

Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who de...

Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial...

Grigori Mints is one the most distinguished proof theorists ofour time. He has contributed signif...

Kurt Godel was one of the most outstanding logicians of the 20th century and a giant in the field...

Kurt Godel was one of the most outstanding logicians of the twentieth century, famous for his wor...