LEADER 01803nam0 22004693i 450 001 VAN0262811 005 20231123022600.562 017 70$2N$a9783662023822 100 $a20230901d1983 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aLogic and structure$fDirk van Dalen 205 $a2. ed 210 $aBerlin$cSpringer$d1983 215 $ax, 210 p.$d24 cm 410 1$1001VAN0024506$12001 $aUniversitext$1210 $aBerlin [etc]$cSpringer$d1930- 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aBasic model theory$9KW:K 610 $aComputability theory$9KW:K 610 $aFirst-order logic with natural deduction$9KW:K 610 $aGoedel's theorem$9KW:K 610 $aIntuitionistic logic and semantics$9KW:K 610 $aModel theory$9KW:K 610 $aNormalisation of first-order logic$9KW:K 610 $aPredicate logic$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 610 $aRecursive functions$9KW:K 610 $aSecond order logic$9KW:K 610 $aSet Theory$9KW:K 620 $dBerlin$3VANL000066 700 1$aDalen$bDirk van$3VANV039208$0535955 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-662-02382-2$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0262811 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6541 $e08eMF6541 20230905 996 $aLogic and structure$9925498 997 $aUNICAMPANIA LEADER 02304nam 22006973 450 001 9910417817903321 005 20241230084506.0 035 $a(CKB)5310000000010105 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/82577 035 $a(MiAaPQ)EBC31861171 035 $a(Au-PeEL)EBL31861171 035 $a(oapen)doab82559 035 $a(oapen)doab82653 035 $a(oapen)doab83556 035 $a(EXLCZ)995310000000010105 100 $a20241230d2018 uy 0 101 0 $aita 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aElectronic Imaging and the Visual Arts. EVA 2018 Florence $eFlorence (9-10 May 2018) 205 $a1st ed. 210 $aFlorence$cFirenze University Press$d2018 210 1$aFlorence :$cFirenze University Press,$d2018. 210 4$dİ2018. 215 $a1 electronic resource (8 p.) 225 1 $aProceedings e report 311 08$a9788864537061 311 08$a8864537066 311 08$a9788864537078 311 08$a8864537074 330 $aundefined 410 0$aProceedings e Report 517 $aChapter Canals, Cities, Museums, Libraries & Photography 517 $aChapter Smarticon 517 $aChapter Instant Architecture 517 $aChapter 3D Visualization 517 $aChapter The Cultural Heritage of Tomorrow 517 $aChapter At the Intersection of Art, Architecture and Archaeology 517 $aChapter Maximizing Metadata 517 $aElectronic Imaging & the Visual Arts. EVA 2018 Florence 517 $aAt the Intersection of Art, Architecture and Archaeology 517 $aCultural Heritage of Tomorrow 517 $aSmarticon 517 $aInstant Architecture 517 $aMaximizing Metadata 517 $aCanals, Cities, Museums, Libraries & Photography 517 $a3D Visualization 517 $aElectronic Imaging & the Visual Arts 610 $aMetadata 610 $aDigital Assets 610 $aEmbedding 700 $aCappellini$b Vito$07911 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910417817903321 996 $aElectronic Imaging and the Visual Arts. EVA 2018 Florence$94305778 997 $aUNINA