Exner, George E. Accompaniment to higher mathematics / George E. Exner - New York : Springer, 1996 - xvii,198 p. ISBN: 0387946179 Subjects--Topical Terms: High mathematicsProof theory Dewey Class. No.: 511.3 / A2E9