LEADER 01108nam0 22002771i 450 001 VAN0024796 005 20230111014313.306 010 $a88-435-3134-4 100 $a20040927d1990 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aGottfried Semper$earchitettura e storia$fWolfgang Herrmann 210 $aMilano$cElecta$d1990 215 $a273 p.$cill.$d24 cm. 410 1$1001VAN0017112$12001 $aDocumenti di architettura$1210 $aMilano$cElecta.$v52 620 $dMilano$3VANL000284 700 1$aHerrmann$bWolfgang$3VANV020840$036709 712 $aElecta $3VANV113606$4650 801 $aIT$bSOL$c20230915$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/24796.pdf$z24796.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$1IT-CE0107$2VAN01 912 $aVAN0024796 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$d01PREST IBb183(4) $e01 324 20050914 996 $aGottfried Semper$91101020 997 $aUNICAMPANIA LEADER 01697nam0 22004453i 450 001 VAN0261614 005 20230719094721.401 017 70$2N$a9783662084021 100 $a20230719d1980 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aLogic and structure$fDirk van Dalen 210 $aBerlin$cSpringer$d1980 215 $aix, 174 p.$d24 cm 410 1$1001VAN0024506$12001 $aUniversitext$1210 $aBerlin [etc]$cSpringer$d1930- 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-08402-1$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 $aVAN0261614 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6297 $e08eMF6297 20230727 996 $aLogic and structure$9925498 997 $aUNICAMPANIA