Introduction to Mathematical Logic and Resolution Principle - Hardcover

Wang, Guo-Jun; Zhou, Hong-Jun

 
9781842655665: Introduction to Mathematical Logic and Resolution Principle
Hardcover
ISBN 10: 1842655663 ISBN 13: 9781842655665
Verlag: ALPHA SCIENCE INTL, 2010

Inhaltsangabe

The second edition of Introduction to Mathematical Logic and Resolution Principle 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”.

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

Verlag
ALPHA SCIENCE INTL
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
1842655663
ISBN 13 
9781842655665
Einband
Gebundene Ausgabe
Anzahl der Seiten
335
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar