Kód: 01717016
This book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined ... celý popis
Angličtina
Nákupem získáte 125 bodů
Anotace knihy
This book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. This approach allows also for a more profound view upon some essential properties of propositional systems. For these purposes, the theory of logical matrices, and the theory of consequence operations is exploited.
Parametry knihy
Zařazení knihy Knihy v angličtině Humanities Philosophy Philosophy: logic
1250 Kč
Angličtina
Osobní odběr Praha, Brno a 47926 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)Nákupní košík ( prázdný )