Proof theory of impredicative subsystems of analysis
Wilfried Buchholz - Kurt Schütte
Bibliopolis
Napoli, 2007; paperback, pp. 126, cm 17,5x24.
(Studies in Proof Theory. 2).
series: Studies in Proof Theory
ISBN: 88-7088-166-0 - EAN13: 9788870881660
Languages:
Weight: 0.38 kg