Tableau Methods for Propositional Logic and Term Logic - Studies in Philosophy, History of Ideas and Modern Societies - Tomasz Jarmuzek - Libros - Peter Lang AG - 9783631833728 - 27 de enero de 2021
En caso de que portada y título no coincidan, el título será el correcto

Tableau Methods for Propositional Logic and Term Logic - Studies in Philosophy, History of Ideas and Modern Societies New edition

Precio
$ 72,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.
Añadir a tu lista de deseos de iMusic

The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.


228 pages

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 27 de enero de 2021
ISBN13 9783631833728
Editores Peter Lang AG
Páginas 228
Dimensiones 218 × 156 × 22 mm   ·   442 g
Lengua Alemán  

Mas por Tomasz Jarmuzek

Mostrar todo

Mere med samme udgiver