---

＜電子ブック＞
Term Logic with Choice Operator / by Hans Hermes
(Lecture Notes in Mathematics. ISSN:16179692 ; 6)

版	1st ed. 1970.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1970
大きさ	VI, 46 p : online resource
著者標目	*Hermes, Hans author SpringerLink (Online service)
件　名	LCSH:Mathematics FREE:Mathematics
一般注記	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 HTTP:URL=https://doi.org/10.1007/978-3-540-36203-6

 類似資料