| Paul Benacerraf, Hilary Putnam - Mathematics - 1983 - 600 pages
The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical ... | |
| S.R. Buss - Mathematics - 1998 - 810 pages
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to ... | |
| Solomon Feferman - Philosophy - 1998 - 340 pages
Solomon Feferman is one of the leading figures in logic and the foundations of mathematics. This volume brings together a selection of his most important essays dealing with ... | |
| Matthias Baaz, Sy D. Friedman, Jan Krajíček - Mathematics - 2005 - 486 pages
A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from ... | |
| Sam Buss, Petr Hajek, Pavel Pudlak - Mathematics - 2000 - 541 pages
A compilation of papers presented at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '98 includes surveys and research from the world's ... | |
| Dag Prawitz, Brian Skyrms, Dag Westerstċhl - Science - 1994 - 989 pages
This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of the invited ... | |
| |