Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics, 6, Band 6) - Softcover

Hermes, Hans

 
9783540048992: Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics, 6, Band 6)
Softcover
ISBN 10: 3540048995 ISBN 13: 9783540048992
Verlag: Springer Berlin Heidelberg, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Berlin Heidelberg
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540048995
ISBN 13 
9783540048992
Einband
Taschenbuch
Anzahl der Seiten
48
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland