02024nam 22004815 450 99646647870331620200710125449.03-540-69980-510.1007/BFb0097721(CKB)1000000000438791(SSID)ssj0001206375(PQKBManifestationID)11806284(PQKBTitleCode)TC0001206375(PQKBWorkID)11225953(PQKB)10090532(DE-He213)978-3-540-69980-4(PPN)155163485(EXLCZ)99100000000043879120100730d1965 u| 0gerurnn|008mamaatxtccrEine Termlogik mit Auswahloperator[electronic resource] /von Hans Hermes1st ed. 1965.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1965.1 online resource (III, 55 pp.) Lecture Notes in Mathematics,0075-8434Bibliographic Level Mode of Issuance: Monograph3-540-03350-5 Prädikatenlogik mit Auswahloperator -- Termlogik mit Auswahloperator -- Zusammenhang zwischen der Prädikatenlogik und der Termlogik -- Rang, freies Vorkommen einer Variablen, Substitution -- Ein Kalkül für die Termlogik -- Gleichwertigkeit von # und ?. Korrektheit der Regeln -- Übersicht über den Vollständigkeitsbeweis -- Termisomorphismen -- Maximalisierung von M ? -- Verallgemeinerte Substitution -- Erfüllbarkeit von M *.Lecture Notes in Mathematics,0075-8434MathematicsMathematics, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/M00009Mathematics.Mathematics, general.510Hermes Hansauthttp://id.loc.gov/vocabulary/relators/aut42101BOOK996466478703316Termlogik mit Auswahloperator83203UNISA