Introduction to Mathematical Logic and Resolution Principle - Rilegato

Wang, Guo-jun; Zhou, Hong-Jun

 
9781842655665: Introduction to Mathematical Logic and Resolution Principle
Rilegato
ISBN 10: 1842655663 ISBN 13: 9781842655665
Casa editrice: Alpha Science Intl Ltd, 2010

Sinossi

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”.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Alpha Science Intl Ltd
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
1842655663
ISBN 13 
9781842655665
Rilegatura
Copertina rigida
Numero di pagine
335
Contatto del produttore
non disponibile
Persona responsabile
non disponibile