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

This second volume of a comprehensive edition of Gödel's works collects together all his publicat...

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

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

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

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

Kurt G del (1906-1978) was the most outstanding logician of the twentieth century, noted for G de...

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

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