02300nam 2200577 450 99646660580331620220324065246.03-540-36203-710.1007/978-3-540-36203-6(CKB)3390000000042919(SSID)ssj0001187127(PQKBManifestationID)11675248(PQKBTitleCode)TC0001187127(PQKBWorkID)11243007(PQKB)11276851(DE-He213)978-3-540-36203-6(MiAaPQ)EBC5585709(MiAaPQ)EBC6672686(Au-PeEL)EBL5585709(OCoLC)1066195704(Au-PeEL)EBL6672686(OCoLC)654336629(PPN)237968185(EXLCZ)99339000000004291920220324d1970 uy 0engurnn|008mamaatxtccrTerm logic with choice operator /Hans Hermes1st ed. 1965.Berlin, Heidelberg :Springer-Verlag,[1970]©19701 online resource (VI, 46 p.) Lecture Notes in Mathematics ;Volume 6Bibliographic Level Mode of Issuance: Monograph3-540-04899-5 Foreword 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.Lecture notes in mathematics (Springer-Verlag) ;Volume 6.Logic, Symbolic and mathematicalLogic, Symbolic and mathematical.511.3Hermes Hans42101MiAaPQMiAaPQMiAaPQBOOK996466605803316Term logic with choice operator79028UNISA