Title:
TERM LOGIC WITH CHOICE OPERATOR
Author:
HANS HERMES.
General Notes:
Rev. and enl. translation of Eine Termlogik mit Auswahloperator, Rev. and enl. translation of Eine Termlogik mit Auswahloperator
Publisher:
SPRINGER-VERLAG BERLIN AN,
Publication Place:
[S.l.] :
ISBN:
3540362037
9783540362036
Subject:
Logic, Symbolic and mathematical.
Logique symbolique et math�ematique.
Logic, Symbolic and mathematical
Logic , Symbolic and mathematical
Contents:
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.
Physical Description:
1 online resource
Publication Date:
1970.