Arithmetic, Proof Theory, and Computational Complexity by Peter Clote (English)
159,45 €
By Peter Clote, Jan Krajícek. Also included is an extended abstract of J P Ressayre's new approach concerning the model completeness of the theory of real closed expotential fields. Language English.
Jetzt bei Ebay: