Set Theory and Logic

Acting and Reflecting: The Interdisciplinary Turn in Philosophy

Problems And Solutions In Mathematical Olympiad (Secondary 1)

Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

Naive Set Theory

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

A Concise Introduction to Pure Mathematics: Edition 4

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Elements of Set Theory

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

Journey to the Edge of Reason: The Life of Kurt Gödel

The Ecology, Exploitation and Conservation of River Turtles

Set Theory: The Structure of Arithmetic

Forcing For Mathematicians