LEADER 01660nam0 22004213i 450 001 VAN0255194 005 20230524090236.932 017 70$2N$a9783540362036 100 $a20230223d1970 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aTerm Logic with Choice Operator$fHans Hermes 205 $aRev. and Enl. Transl. of the 1. German Ed 210 $aBerlin$cSpringer$d1970 215 $a55 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v6 500 1$3VAN0255196$aEine Termlogik mit Auswahloperator$93008734 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aCalculus$9KW:K 610 $aChoice$9KW:K 610 $aMathematical logic$9KW:K 610 $aPredicate logic$9KW:K 610 $aProofs$9KW:K 610 $aSelection operators$9KW:K 610 $aTheorem$9KW:K 610 $aVariables$9KW:K 620 $dBerlin$3VANL000066 700 1$aHermes$bHans$3VANV207458$042101 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-540-36203-6$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 $aVAN0255194 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 5509 $e08eMF5509 20230303 996 $aEine Termlogik mit Auswahloperator$93008734 997 $aUNICAMPANIA