LEADER 01929nam0 22004691i 450 001 VAN00049800 005 20250506102127.77 010 $a03-87578-39-0 010 $a35-405-7839-0 100 $a20060822d1994 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 181 $ai$b e 182 $an 183 $anc 200 1 $aLogic and structure$fDirk van Dalen 205 $a3.$baugmented ed 210 $aBerlin$cSpringer$d1994 215 $aviii, 215 p.$d24 cm 410 1$1001VAN00024506$12001 $aUniversitext$1210 $aBerlin [etc]$cSpringer$d1930- 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aFirst-order logic with natural deduction$9KW:K 610 $aGödel incompleteness 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 $aRecursive functions$9KW:K 610 $aSecond order logic$9KW:K 620 $dBerlin$3VANL000066 700 1$aDalen$bDirk van$3VANV039208$0535955 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250509$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/LOGIC AND STRUCTURES 1994.pdf$zLOGIC AND STRUCTURES 1994.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$1IT-CE0106$2VAN03 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00049800 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 8A67 $e08 4370 20060822 $sDeteriorato 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$d03PREST VCi1 $e03 32523 20160613 996 $aLogic and structure$9925498 997 $aUNICAMPANIA