Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

Set Theory and Logic

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

Problems And Solutions In Mathematical Olympiad (Secondary 1)

Naive Set Theory

A Concise Introduction to Pure Mathematics: Edition 4

The Joy of SET: The Many Mathematical Dimensions of a Seemingly Simple Card Game

Elements of Set Theory

The Incompleteness Phenomenon

Axiomatic Set Theory

A Beginner's Further Guide To Mathematical Logic

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

The Ecology, Exploitation and Conservation of River Turtles

The Art of Proving Binomial Identities

Set Theory: The Structure of Arithmetic

Forcing For Mathematicians

Mechanical Logic in Three-Dimensional Space