01581nam0 2200325 i 450 SUN001945220170403102830.99005-216-3550-00.008-0-521-63550-920061102d1999 |0engc50 baengGB|||| |||||*Models and computabilityinvited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 edited by S. Barry Cooper, John K. TrussCambridgeCambridge University1999VI, 419 p.24 cm.001SUN00295282001 *London Mathematical Society lecture notes series259210 CambridgeCambridge university.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003CxxModel theory [MSC 2020]MFSUNC024387CambridgeSUNL000024Cooper, S. BarrySUNV043602Truss, John K.SUNV043604European Meeting of the Association for Symbolic Logic on Sets and Proofs1997LeedsSUNV043603729221Cambridge universitySUNV000097650ITSOL20200727RICA/sebina/repository/catalogazione/documenti/Cooper, Truss - Models and computability.pdfContentsSUN0019452UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0910 08 5455 II 20061102 Models and computability1427761UNICAMPANIA01322nam0 22002773i 450 SUN013235820210105033600.79988-916422-3-30.0020201228d2020 |0itac50 baitaIT|||| |||||La *robustezza strutturale delle costruzioni e delle infrastrutturemeccanismi di innesco e propagazione del collasso, valutazione dell'indice di robustezza strutturale, simulazioni numericheMatteo Felitti, Francesco OlivetoSantarcangelo di Romagna : Maggioli, 202067 p. 23 cmFormato Ebook001SUN01256652001 I *quaderni di Ediltecnico.it210 Santarcangelo di RomagnaMaggioli.Santarcangelo di RomagnaSUNL000123Felitti, MatteoSUNV106097790014Oliveto, FrancescoSUNV106098790015MaggioliSUNV000144650ITSOL20210111RICASUN0132358BIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE01CONS Ebook36 file42233 01EBA1607 20201228 Ebook consultabile dai pc della bibliotecaRobustezza strutturale delle costruzioni e delle infrastrutture1763064UNICAMPANIA