Sinopsis
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”.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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".
Biografía del autor
Guo-Jun Wang / Hong-Jun Zhou
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Introduction to Mathematical Logic and Resolution Principle
Imagen de archivo
Introduction to Mathematical Logic and Resolution Principle
Publicado por
Alpha Science Intl Ltd, 2010
ISBN 10: 1842655663
ISBN 13: 9781842655665
Antiguo o usado
Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA77518426556636
Comprar usado
EUR 143,20
Envío por EUR 28,97
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles