01419nam# 22002411i 450 VAN0004123420240806100416.98220060227g19431948 |0itac50 baitaIT|||| |||||ˆ10. ser.: ‰1943-1948RomaIstituto Poligrafico e Zecca dello Stato.001VAN000412332001 ˆI ‰documenti diplomatici italiani210 RomaIstituto poligrafico e Zecca dello Stato1952- 215 v.26 cm.10. ser.001VAN000412352001 ˆ1: ‰9 settembre 1943-11 dicembre 1944205 Roma : Istituto poligrafico e Zecca dello StatoLibreria dello Stato210 LVII686 p. ; 26 cm215 In testa al front.: Ministero degli affari esteri. Commissione per la pubblicazione dei documenti diplomatici1001VAN000412362001 ˆ2: ‰12 dicembre 1944-9 dicembre 1945210 RomaIstituto poligrafico e Zecca dello Stato, Libreria dello Stato1992215 LXIX, 1120 p.26 cm.2001VAN000412372001 ˆ3: ‰10 dicembre 1945-12 luglio 1946210 RomaIstituto poligrafico e Zecca dello Stato, Libreria dello Stato1993215 LXII, 949 p.26 cm.3RomaVANL000360Istituto poligrafico e Zecca dello Stato <editore>VANV108205650ITSOL20240906RICAVAN000412341943-19481407573UNICAMPANIA01540nam0 22003013i 450 VAN0006396520241211104945.39288-8016-286-120080416f1999 |0itac50 baitaIT|||| |||||Algardi: l'altra faccia del BaroccoRoma, Palazzo delle esposizioni 21 gennaio-30 aprile 1999a cura di Jennifer MontaguRomaDe Luca[1999]326 p.ill.29 cmIn testa al front.: Ministero per i beni e le attivita culturali, Soprintendenza per i beni artistici e storici di Roma; Comune di Roma, Assessorato alle politiche culturali; Palazzo delle esposizioni. - Catalogo della MostraRomaVANL000360AlgardiAlessandro1598-1654VANV050873MontaguJenniferVANV019646De Luca <editore>VANV108257650ITSOL20241213RICABIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALIIT-CE0103VAN07BIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALEIT-CE0107VAN01VAN00063965BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI07CONS Pa Algardi 1482 07 8039 20080416 BIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE01PREST IAa195 01BDA23 20220316 Algardi83982UNICAMPANIA01573nam2 2200349 i 450 VAN0005564620240806100511.2188-7088-123-720061109d1987 |0itac50 baengIT|||| |||||1Jean-Yves GirardNapoliBibliopolis1987503 p.25 cm001VAN000556482001 Studies in proof theory210 NapoliBibliopolis1001VAN000556472001 Proof theory and logical complexityJean-Yves Girard210 NapoliBibliopolis1987- 215 volumi25 cm103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFNapoliVANL000005GirardJean Y.VANV044132730488BibliopolisVANV108827650Girard, Jean YvesGirard, Jean Y.VANV060537Girard, J. Y.Girard, Jean Y.VANV060539Girard, J.Y.Girard, Jean Y.VANV060540ITSOL20260130RICA/sebina/repository/catalogazione/documenti/Girard - Proof theory and logical complexity - vol.1.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00055646BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1604 08 5004 I 20061109 13655287UNICAMPANIA