Term Logic With Choice Operator

Hans Hermes

ISBN 10: 3540048995 / ISBN 13: 9783540048992

Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1970

Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Salissures sur la tranche. Traces d'humidité sur les premières et dernières pages. Pages cornées. Couverture différente. Edition 1970. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Stains on the edge. Traces of humidity on the first and last pages. Dog-eared pages. Different cover. Edition 1970. Volume 6. Ammareal gives back up to 15% of this item's net. Codice articolo E-566-875

Contenuti: 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.

Dati bibliografici

Titolo: Term Logic With Choice Operator
Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Data di pubblicazione: 1970
Legatura: Softcover
Condizione: Bon