Term Logic with Choice Operator
Hermes, Hans
| Autor: | Hermes, Hans |
|---|---|
| Veröffentlichungsdatum: | 01.01.1970 |
| EAN: | 9783540048992 |
| Sprache: | Englisch |
| Seitenzahl: | 52 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Springer-Verlag GmbH Springer Berlin Heidelberg |
Produktinformationen "Term Logic with Choice Operator"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen