#NAME?
Subtitle: Proof Theory Constructive Mathematics
Publisher: Springer
Published: Oct 04, 2013
Format: paperback
Number of pages: 448
ISBN-13: 9783662090695
Notes: Source title: #NAME?: Proof Theory Constructive Mathematics