# The Leading eBooks Store Online

## 3,725,826 members ⚫ 1,209,635 ebooks

#### Petri Nets

Wiley 2013; US$ 357.00 US$ 309.40A 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...

#### Kurt Gödel

Cambridge University Press 2010; US$ 33.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

Birkhäuser Basel 2010; US$ 55.98This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions and developments of classical mathematical logic, and it offers formal proofs and concrete examples for all theoretical results. more...

#### New Waves in Philosophy of Mathematics

Palgrave Macmillan 2009; US$ 40.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...

#### Principles of Mathematics

Taylor and Francis 2009; US$ 32.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$ 285.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