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ákupom získate 399 bodov
Anotácia 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).
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations
165.25 €
Angličtina
Osobný odber Bratislava a 12542 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)Nákupný košík ( prázdny )