ἐδιζησάμην ἐμεωυτόν.
This link opens in a pop-up window
The primitive mind does not differentiate the supernatural from reality, but rather uses "mystical participation" to manipulate the world. According …
History is made up of stories--narratives that recount the events, movements, ideas and lives that have shaped religions and nations. …
From millenarists to Antichrist hunters, from the Sibyls to the Hussites, Visions of the End is a monumental compendium spanning …
These selections from Le système du monde, the classic ten-volume history of the physical sciences written by the great French …
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
A program's type describes its …
Logic is now widely recognized to be one of the foundational disciplines of computing with applications reaching almost every aspect …
Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to …
With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise …
Writings, including articles, letters, and unpublished work, by one of the twentieth century's most influential figures in mathematical logic and …
Arising from courses taught by the authors, this largely self-contained treatment is ideal for mathematicians who are interested in applications …
