LEADER 00841nam0-22002771i-450- 001 990006156070403321 005 19980601 035 $a000615607 035 $aFED01000615607 035 $a(Aleph)000615607FED01 035 $a000615607 100 $a19980601d1991----km-y0itay50------ba 105 $a----m---00-yy 200 1 $a<>Verhaltnis von Schutzobjekt und Schranken der Grundrechte$edissertation der Rechts...$fMarcel Bolz. 210 $aZurich$cSchulthess Pol.$d1991 215 $aXXXVII,, 328 p.$d23 cm 676 $a346.092 700 1$aBolz,$bMarcel$0233648 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006156070403321 952 $aDISSERT. A 1135$b23175*$fFGBC 959 $aFGBC 996 $aVerhaltnis von Schutzobjekt und Schranken der Grundrechte$9645502 997 $aUNINA DB $aGIU01 LEADER 02059nam0 22005413i 450 001 VAN00262811 005 20260302103053.173 017 70$2N$a9783662023822 100 $a20230901d1983 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aLogic and structure$fDirk van Dalen 205 $a2. ed 210 $aBerlin$cSpringer$d1983 215 $ax, 210 p.$d24 cm 410 1$1001VAN00024506$12001 $aUniversitext$1210 $aBerlin [etc]$cSpringer$d1930- 500 1$3VAN00302679$aLogic and structure$9925498 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 $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 $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 790 1$avan Dalen, Dirk$zDalen, Dirk van$3VANV257141 790 1$avan Dalen, D.$zDalen, Dirk van$3VANV262265 801 $aIT$bSOL$c20260410$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 $aVAN00262811 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 6541 $e08eMF6541 20230905 996 $aLogic and structure$9925498 997 $aUNICAMPANIA