01280nam0 2200289 i 450 VAN008557320221214121939.564978-35-406-9318-520111012d2009 |0itac50 baengDE|||| |||||Proof theorythe first step into impredicativityWolfram PohlersBerlinSpringer2009XIII, 370 p.24 cm001VAN00245062001 Universitext210 Berlin [etc]Springer1930-03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFBerlinVANL000066PohlersWolframVANV07024256702Springer <editore>VANV108073650ITSOL20240614RICA/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 theory81534UNICAMPANIA