LEADER 01038nam0-22003491i-450- 001 990000782030403321 005 20060201105123.0 035 $a000078203 035 $aFED01000078203 035 $a(Aleph)000078203FED01 035 $a000078203 100 $a20020821d1993----km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a<>uso dei materiali nella progettazione$fSaverio Sapio$gprefazione di Domenico Orlacchio 210 $aNapoli$cFiorentino$dc1993 215 $a166 p.$cdis.$d25 cm 225 1 $aTecnologia dell' architettura$v1 610 0 $aCoperture 610 0 $aEdilizia$aMateriali 610 0 $aSolai 700 1$aSapio,$bSaverio$0343829 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000782030403321 952 $aTECN B 955$b5203-A$fFARBC 952 $aTECN B 1548$b13442$fFARBC 952 $aTECN B 1207$b8768$fFARBC 952 $aTECN B 956$b5203-B$fFARBC 959 $aFARBC 996 $aUso dei materiali nella progettazione$9351030 997 $aUNINA LEADER 01535nam0 2200373 i 450 001 VAN00104264 005 20240806100725.564 017 70$2N$a978-3-7643-8504-0 100 $a20151217d2014 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aKripke?s worlds$ean introduction to modal logics via tableaux$fOlivier Gasquet ... [et al.] 210 $aBerlin$cSpringer$d2014 215 $aXV, 198 p.$cill.$d24 cm 410 1$1001VAN00103951$12001 $aStudies in Universal Logic$1210 $aBasel [etc.]$cBirkhäuser$d2008- 500 1$3VAN00241378$aKripke?s worlds$91409959 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 610 $aEpistemic logics$9KW:K 610 $aModal logics$9KW:K 610 $aTableau method$9KW:K 610 $aTemporal logics$9KW:K 620 $dBerlin$3VANL000066 702 1$aGasquet$bOlivier$3VANV081312 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-7643-8504-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN00104264 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 4379 $e15EB 4379 20191106 996 $aKripke?s worlds$91409959 997 $aUNICAMPANIA