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 ...

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

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

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...

Logic is a field studied mainly by researchers and students of philosophy, mathe...

Roy T Cook examines the Yablo paradox--a paradoxical, infinite sequence of sente...