Frege is widely regarded as having set much of the agenda of contemporary analyt...

This book contains the papers developing out the presentations given at the Inte...

Quantitative thinking is our inclination to view natural and everyday phenomena ...

This is the first logically precise, computationally implementable, book-length ...

Model theory, a major branch of mathematical logic, plays a key role connecting ...

Customarily, much of traditional mathematics curricula was predicated on 'by han...

The interplay between computability and randomness has been an active area of re...

Neil Tennant presents an original logical system with unusual philosophical, pro...

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most...

Quantitative thinking is our inclination to view natural and everyday phenomena ...

There are many proposed aims for scientific inquiry--to explain or predict event...

An Introduction to Proof Theory provides an accessible introduction to the theor...