Pohlers, Wolfram Proof Theory/ Wolfram Pohlers - Springer Nature, ISBN: 9783662600610 Subjects--Topical Terms: General Dewey Class. No.: 511.3 / POH