Kurt Godel (1906-1978) did groundbreaking work that transformed logic and other important aspects...
Kurt G?del (1906 - 1978) was the most outstanding logician of the twentieth century, famous for h...
In this collection of essays written over a period of twenty years, Solomon Feferman explains adv...
Kurt G?del (1906 - 1978) was the most outstanding logician of the twentieth century, famous for h...
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...
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, famous for his...
This second volume of a comprehensive edition of Gödel's works collects together all his publicat...
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 G del (1906-1978) was the most outstanding logician of the twentieth century, noted for G de...
Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial...