| Robert S. Wolf - Mathematics - 2005 - 424 pages
The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide ... | |
| Dimiter G. Skordev - Mathematics - 2012 - 366 pages
The Summer School and Conference on Mathematical Logic and its Applications, September 24 - October 4, 1986, Druzhba, Bulgaria, was honourably dedicated to the 80-th ... | |
| Harold G. Dales, Gianluigi Oliveri - Mathematics - 1998 - 396 pages
The nature of truth in mathematics has exercised the minds of thinkers from at least the time of the ancient Greeks. The great advances in mathematics and philosophy in the ... | |
| Marcus Giaquinto - 2002 - 302 pages
The nineteenth century saw a movement to make higher mathematics rigorous. This seemed to be on the brink of success when it was thrown into confusion by the discovery of the ... | |
| Dov M. Gabbay, Franz Guenthner - Philosophy - 2001 - 404 pages
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the ... | |
| Stewart Shapiro - Mathematics - 1991 - 302 pages
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the ... | |
| |