00910nam--2200337---450-99000229844020331620120202161704.0000229844USA01000229844(ALEPH)000229844USA0100022984420041222d1975----km-y0itay0103----baengUS||||||||001yyPerinatal addictioneditor Raymond D. HarbisonNew YorkSpectrum Publications1975394 p.23 cm20012001001-------2001HARBISON,Raymond D.ITsalbcISBD990002298440203316IML B 11 60740829 E.C.IML BBKMEDSIAV51020041222USA011807ANGELA9020120202USA011617Perinatal addiction1068374UNISA01037nam0-2200373---450 99000929545040332120220304124133.0978-88-220-5513-2000929545FED01000929545(Aleph)000929545FED0100092954520101210d2009----km-y0itay50------baitaIT--------001cyOmofobiastoria e critica di un pregiudizioDaniel Borrillopostfazione di Stefano FabeniBariDedalo2009161 p.22 cmLibelli vecchi e nuovi13Contiene bibl. (pp. 157-161)OmofobiaOmosessualità306.76622itaBorrillo,Daniel478626ITUNINARICAUNIMARCBK990009295450403321306.766 BOR 12021/2777FLFBC306.766 BOR 14980BFSFLFBCBFSOmofobia263743UNINA02068nam0 2200445 i 450 VAN010435820220224125428.775N978-94-007-7548-020151221d2014 |0itac50 baengNL|||| |||||Advances in natural deductiona celebration of Dag Prawitz's workLuiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva editorsDordrechtSpringer2014XVI, 279 p.ill.24 cm001VAN01031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer39VAN0241478Advances in natural deduction141001003F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MF03F05Cut-elimination and normal-form theorems [MSC 2020]VANC024532MF03F07Structure of proofs [MSC 2020]VANC031517MFCut-EliminationKW:KGentzen systemsKW:KNatural Deduction and Sequent CalculusKW:KNormalization TheoremKW:KProof TheoryKW:KProof-Theoretic SemanticsKW:KNLDordrechtVANL000068de PaivaValeriaVANV081399HaeuslerEdward HermannVANV081398PereiraLuiz CarlosVANV081397Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-94-007-7548-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN0104358BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 4329 15EB 4329 20191106 Advances in natural deduction1410010UNICAMPANIA