Für diesen Artikel ist leider kein Bild verfügbar.

Introduction to Mathematical Logic and Resolution Principle

Guo-Jun Wang, Hong-Jun Zhou (Autoren)

Buch | Hardcover

346 Seiten

2010 | 2nd Revised edition
Alpha Science International Ltd (Verlag)
978-1-84265-566-5 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Introduction to Mathematical Logic Resolution Principle, Second Edition, in nine chapters, discusses Boolean algebra theory, propositional calculus and predicated calculus theory, resolution principle theory and the latest theory of multivalue logic. The book also includes supplement or alternations on the proof of the completion of K in first-order system, concerning "Quantitative Logic".

Guo-Jun Wang / Hong-Jun Zhou

Preface / Preliminaries / Propositional Calculus / Semantics of First Order Predicate Calculus / Syntax of First Order Predicate calculus / Skolem's Standard Forms and Herbrand's Theorems / Resolution Principle / Refinements of Resolution / Many-Valued Logic Calculi / Quantitative Logic / Bibliography / Index.

Verlagsort	Oxford
Sprache	englisch
Maße	160 x 240 mm
Gewicht	650 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	1-84265-566-3 / 1842655663
ISBN-13	978-1-84265-566-5 / 9781842655665
Zustand	Neuware