Peter Clote
Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides Peter Clote

Name: Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides
Price: 136.99 EUR
Availability: OutOfStock
Author: Peter Clote

Cena

€ 136,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 31. jūl. - . gada 14. aug.

Saņemiet paziņojumus par jauniem Peter Clote izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Arithmetic, Proof Theory, and Computational Complexity - Oxford Logic Guides

Peter Clote

This book principally concerns the area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questions together with a bibliography of references.

442 pages, line figures

Mediji	Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku)
Izlaists	1993. gada 10. jūnijs
ISBN13	9780198536901
Izdevēji	Oxford University Press
Lapas	442
Izmēri	162 × 242 × 30 mm · 816 g
Valoda	Angļu
Redaktors	Clote, Peter (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill, USA)
Redaktors	Krajicek, Jan (Mathematical Institute, Mathematical Institute, Ceskoslovenska Akademie Ved Praha 1, Czechoslovakia)