Kód: 06703392
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulae. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which ex ... celý popis
Angličtina
Nákupem získáte 400 bodů
Anotace knihy
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulae. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic).
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
3995 Kč
Angličtina
Osobní odběr Praha, Brno a 46611 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ý )