00997nam0-2200313---450 99000818149040332120230404123225.000081814920050908d1912----km-y0itay50------bagrclatGB--------001yyLysiae orationesrecognovit brevique adnotatione critica instruxit Carolus HudeOxoniie typographeo Clarendoniano1912X, paginazione varia19 cmScriptorum classicorum bibliotheca OxoniensisOrationesLysias<ca. 445 - ca. 380 a. C.>186235Hude,CharlesITUNINARICAUNIMARCBK990008181490403321DDR-Fonti II- Lysia Ed.1.1725 ddrDDR21-7783P2B 600 OXON. LYSIAS 200A 1912170FLFBCP2B 600 OXON. LYSIAS 200A 1912 BIS38678FLFBCFLFBCDDROrationes19899UNINA01346nam0 2200325 i 450 VAN0008557320260130115907.724978-35-406-9318-520111012d2009 |0itac50 baengDE|||| |||||i e nncProof theorythe first step into impredicativityWolfram PohlersBerlinSpringer2009XIII, 370 p.24 cm001VAN000245062001 Universitext210 Berlin [etc]Springer1930-03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFBerlinVANL000066PohlersWolframVANV07024256702Springer <editore>VANV108073650ITSOL20260206RICA/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-CE0120VAN08VAN00085573BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3392 08 9126 I 20111012 Proof theory81534UNICAMPANIA