01259nam0 2200289 i 450 VAN008557320221121094713.987978-35-406-9318-520111012d2009 |0itac50 baengDE|||| |||||Proof theorythe first step into impredicativityWolfram PohlersBerlinSpringer2009XIII, 370 p.24 cm.001VAN00245062001 Universitext210 Berlin [etc]Springer03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFBerlinVANL000066PohlersWolframVANV07024256702SpringerVANV108073650ITSOL20221125RICA/sebina/repository/catalogazione/documenti/Pohlers - Proof theory. the first step into impredicativity.pdfPohlers - Proof theory. the first step into impredicativity.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0085573BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3392 08 9126 I 20111012 Proof theory81534UNISOB