| Archimedes, Sir Thomas Little Heath - Mathematics - 2002 - 377 pages
Complete works of ancient geometer in highly accessible translation by distinguished scholar. Topics include the famous problems of the ratio of the areas of a cylinder and an ... | |
| J. Lambek, P. J. Scott - Mathematics - 1988 - 304 pages
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another ... | |
| Alfred Rupert Hall - Science - 2002 - 356 pages
A blow-by-blow account of the celebrated controversy over the invention of the calculus. | |
| 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 ... | |
| Jan von Plato - Mathematics - 1998 - 323 pages
In this book the author charts the history and development of modern probability theory. | |
| |