Arithmetic proof theory computational (5 Ergebnisse)

Titel: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (5)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Verlag: Clarendon Pr

    0820519650 / 9780820519654

    • Hardcover

    Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Befriedigend

    EUR 9,02

     Versand gratis 
    Versand innerhalb von USA

    Anzahl: 1 verfügbar

    Hardcover. Zustand: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

  • Sprache: Englisch

    Verlag: Oxford: Clarendon Press, 1993

    0198536909 / 9780198536901

    • Hardcover

    Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes KönigreichG. & J. CHESTERS

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Gut

    EUR 55,27

    EUR 8,14 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 1 verfügbar

    Hardcover. Zustand: Very Good. pp.xii,428, hardback (publisher's dark blue cloth, a broad gilt-lettered red band taking up most of the spine, at the bottom of which is the OUP open-book logo in gilt), a near-fine ex-library copy (no dust-jacket) of a book in the Oxford Logic Guides series [0198536909].…

  • Sprache: Englisch

    Verlag: OUP Oxford, 1993

    0198536909 / 9780198536901

    • Hardcover
    • Erstausgabe

    Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes KönigreichFireside Bookshop

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Verbandsmitglied: PBFA

    Zustand: Gebraucht - Gut

    EUR 89,82

    EUR 29,07 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 1 verfügbar

    Cloth. Zustand: Very Good. Zustand des Schutzumschlags: No d/j as Published. First Edition. Type: Book Small plain label inside cover.

  • Sprache: Englisch

    Verlag: Clarendon Press, 1993

    0198536909 / 9780198536901

    • Hardcover

    Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 155,17

    EUR 13,13 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. In English.

  • Sprache: Englisch

    Verlag: Clarendon Press, 1993

    0198536909 / 9780198536901

    • Hardcover

    Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 298,14

    EUR 9,22 Versand 
    Versand innerhalb von USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. 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. Editor(s): Clote, Peter; Krajicek, Jan. Series: Oxford Logic Guides. Num Pages: 442 pages, line figures. BIC Classification: PBCD; PBV. Category: (P) Professional & Vocational. Dimension: 242 x 162 x 30. Weight in Grams: 810. . 1993. New. hardcover. . . . . Books ship from the US and Ireland.…