| Thomas Forster - Mathematics - 2003 - 234 pages
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are ... | |
| Reviel Netz - History - 2003 - 352 pages
An examination of the emergence of the phenomenon of deductive argument in classical Greek mathematics. | |
| Peter J. Eccles - Mathematics - 1997 - 350 pages
This book eases students into the rigors of university mathematics. The emphasis is on understanding and constructing proofs and writing clear mathematics. The author achieves ... | |
| Daniel J. Velleman - Mathematics - 1994 - 309 pages
Many mathematics students have trouble the first time they take a course, such as linear algebra, abstract algebra, introductory analysis, or discrete mathematics, in which ... | |
| R. F. C. Walters - Computers - 1991 - 166 pages
Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the ... | |
| Peter Gärdenfors - Computers - 2003 - 284 pages
Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence. This book ... | |
| A. G. Howson - Mathematics - 1988 - 89 pages
Based on the 1987 International Commission on Mathematical Instruction conference, this volume comprises key papers on the role of mathematics in applied subjects. | |
| |