Complexity of Proofs and Their Transformations in Axiomatic Theories

Vše od American Mathematical Society
ISBN: 9780821845769

Intends to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

4 406 Kč

1 - 2 ks
4 406 Kč
3 - 10 ks
4 362 Kč
11 a více ks
4 320 Kč

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

4 406 Kč

Nepřehlédněte od American Mathematical Society

Více o produktu

Intends to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.

Výrobce
American Mathematical Society
Jazyk
United States
Rok vydání
1994
Počet stran
153
Obsah
Hardback
Počet stran
153 pages

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Complexity of Proofs and Their Transformations in Axiomatic Theories a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!