Beweiskomplexität (Enzyklopädie der Mathematik und ihrer Anwendungen) [gebunden]
137,61 €
This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Lower bounds for lengths of proofs, often regarded as the key issue in proof complexity, are of course covered in detail.
Jetzt bei Ebay:
![Produktbild - Pade Approximants (Encyclopedia of Mathematics and its Applications) [Paperback]](https://i.ebayimg.com/thumbs/images/g/oZEAAeSweWxoSSYS/s-l140.jpg)
![Produktbild - Oriented Matroids (Encyclopedia of Mathematics and its Applications) [Paperback]](https://i.ebayimg.com/thumbs/images/g/eCcAAeSw9RpoSYN1/s-l140.jpg)
![Produktbild - Model Theory (Encyclopedia of Mathematics and Its Applications) [Paperback]](https://i.ebayimg.com/thumbs/images/g/Z3sAAeSwmFhoSKrE/s-l140.jpg)
