Mathematics; Philosophy

5 titles from
Kurt Gödel: Essays for his Centennial

Kurt Gödel

Essays for his Centennial


Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial...

Petri Nets: Fundamental Models, Verification and Applications

Petri Nets

Fundamental Models, Verification and Applications

Wiley (2010)

A Petri net is a mathematical representation of a network. This book first introduces the basic...

The Rise of Modern Logic: from Leibniz to Frege

With the publication of the present volume, the Handbook of the History of Logic turns its attention...

New Waves in Philosophy of Mathematics

Thirteen promising young researchers write on what they take to be the right philosophical account...

Mathematical Logic: Foundations for Information Science

Mathematical Logic

Foundations for Information Science


This book presents the basic principles and formal calculus of mathematical logic. It covers core...