01139nam0 2200277 i 450 SUN008557320151120101600.498978-35-406-9318-50.0020111012d2009 |0engc50 baengDE|||| |||||Proof theorythe first step into impredicativityWolfram PohlersBerlinSpringer2009XIII, 370 p.24 cm.001SUN00245062001 *Universitext210 BerlinSpringer.03FxxProof theory and constructive mathematics [MSC 2020]MFSUNC024383BerlinSUNL000066Pohlers, WolframSUNV07024256702SpringerSUNV000178650ITSOL20200921RICA/sebina/repository/catalogazione/documenti/Pohlers - Proof theory. the first step into impredicativity.pdfContentsSUN0085573UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3392 08 9126 I 20111012 Proof theory81534UNICAMPANIA