LEADER 02300nam 2200577 450 001 996466605803316 005 20220324065246.0 010 $a3-540-36203-7 024 7 $a10.1007/978-3-540-36203-6 035 $a(CKB)3390000000042919 035 $a(SSID)ssj0001187127 035 $a(PQKBManifestationID)11675248 035 $a(PQKBTitleCode)TC0001187127 035 $a(PQKBWorkID)11243007 035 $a(PQKB)11276851 035 $a(DE-He213)978-3-540-36203-6 035 $a(MiAaPQ)EBC5585709 035 $a(MiAaPQ)EBC6672686 035 $a(Au-PeEL)EBL5585709 035 $a(OCoLC)1066195704 035 $a(Au-PeEL)EBL6672686 035 $a(OCoLC)654336629 035 $a(PPN)237968185 035 $a(EXLCZ)993390000000042919 100 $a20220324d1970 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTerm logic with choice operator /$fHans Hermes 205 $a1st ed. 1965. 210 1$aBerlin, Heidelberg :$cSpringer-Verlag,$d[1970] 210 4$dİ1970 215 $a1 online resource (VI, 46 p.) 225 1 $aLecture Notes in Mathematics ;$vVolume 6 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-04899-5 327 $aForeword to the Revised Edition -- First order predicate logic with choice operator -- First order term logic with choice operator -- Embedding of predicate logic in term logic -- Embedding of term logic in predicate logic -- Free occurence of a variable. Rank of term. Elementary substitution -- A term calculus -- Soundness of the rules -- Survey of the completeness proof -- Some theorems concerning deducibility -- Substitution -- Further theorems concerning deducibility -- Survey of the proof of the Theorem on satisfiability -- Details of the proof -- Completeness of restricted term calculus. 410 0$aLecture notes in mathematics (Springer-Verlag) ;$vVolume 6. 606 $aLogic, Symbolic and mathematical 615 0$aLogic, Symbolic and mathematical. 676 $a511.3 700 $aHermes$b Hans$042101 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466605803316 996 $aTerm logic with choice operator$979028 997 $aUNISA