Ultralogic as Universal? is a seminal text in non-classcial logic. Richard Routley (Sylvan) prese...

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with...