TY  - BOOK
AU  - 22
TI  - PROOFS & THEORIES
SN  - 9780880014427
ER  -