The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Kurt Gödel
Cambridge University Press 2010; US$ 84.00Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from a 2004 ASL symposium. more...
Mathematical Logic
Springer 2009; US$ 69.95Presents basic principles and formal calculus of mathematical logic systematically. This book covers the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems. more...
New Waves in Philosophy of Mathematics
Palgrave Macmillan 2009; US$ 36.00Thirteen promising young researchers write on what they take to be the right philosophical account of mathematics and discuss where the philosophy of mathematics ought to be going. New trends are revealed, such as an increasing attention to mathematical practice, a reassessment of the canon, and inspiration from philosophical logic. more...
Petri Nets
Wiley 2010; US$ 325.00A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The volume then... more...
Principles of Mathematics
Taylor and Francis 2009; US$ 29.95First published in 1903, Principles of Mathematics was Bertrand Russell?s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions... more...
The Rise of Modern Logic
Elsevier Science 2004; US$ 260.00With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'.... more...
- 1
- Page





