Bib ID# 34464
ISBN: 9783540693192
UPC: 10.1007/978-3-540-69319-2
Title: Proof TheoryThe First Step into Impredicativity /
Author: Pohlers, Wolfram.
Publication Info:
Item Type: Language material
[
Back to Record
]