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
Nákupom získate 392 bodov
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).
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations
158.72 €
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
Nákupný košík ( prázdny )