• Produktbild: Term Logic with Choice Operator
  • Produktbild: Term Logic with Choice Operator
Band 6

Term Logic with Choice Operator

25,99 €

inkl. gesetzl. MwSt., zzgl. Versandkosten


  • Kostenlose Lieferung ab 30 € Einkaufswert
  • Versandkostenfrei für Bonuscard-Kund*innen

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1970

Verlag

Springer Berlin

Seitenzahl

59

Maße (L/B/H)

23,5/15,5/0,4 cm

Gewicht

96 g

Auflage

1965

Sprache

Englisch

ISBN

978-3-540-04899-2

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1970

Verlag

Springer Berlin

Seitenzahl

59

Maße (L/B/H)

23,5/15,5/0,4 cm

Gewicht

96 g

Auflage

1965

Sprache

Englisch

ISBN

978-3-540-04899-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Term Logic with Choice Operator
  • Produktbild: 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.