by Harold Simmons , Editor Booth
No reviews yet. Be the first!
Introduction to Category Theory
Proof Theory
An introduction to category theory
Derivation and computation