Gesamtpreis (1 Artikel Artikel):
Versandziel:
wainer stanley (56 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (56)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (45)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (6)
- Gut oder Befriedigend (4)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Weitere Eigenschaften
- Erstausgabe (6)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (15)
- Keine Print-on-Demand Angebote (35)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press, 1992
ISBN 10: 052141413X ISBN 13: 9780521414135
Anbieter: Chamblin Bookmine, Jacksonville, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
8Vo Hardcover. Zustand: Very Good. 1st. 306pp. White pages are unmarked. Boards are glossy with lightly bumped corners and minor shelf wear. Binding is tight and square, hinges are secure.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Anbieter: Tim's Used Books Provincetown Mass., Provincetown, MA, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Soft cover. Zustand: Very Good. 1st Edition. No marks in text. Not a library book. Ships in a cardboard enclosure, with tracking. Tim's Used Books, open shop in Provincetown USA, providing good books at fair prices on the same spot since 1991.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990.
Sprache: Englisch
Verlag: Cambridge University Press., 1993
ISBN 10: 0521054168 ISBN 13: 9780521054164
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 4 von 5 Sternen
1. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 (Volume 0)
Sprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 (Volume 0)
Sprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 52,00
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 50,67
EUR 17,92 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 59,56
EUR 10,50 Versand
Versand von Irland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory. Editor(s): Aczel, Peter; Simmons, Harold (University of Manchester); Wainer, Stanley S. (University of Leeds). Num Pages: 320 pages, black & white illustrations. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 18. Weight in Grams: 470. . 2008. 1st Edition. paperback. . . . .
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Buch 199 von 387: London Mathematical Society Lecture NotesSprache: Englisch
Verlag: Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Proof Theory
Sprache: Englisch
Verlag: Cambridge University Press CUP, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Zustand: New. pp. 320.
-
PROOF THEORY: A SELECTION OF PAPERS FROM THE LEEDS PROOF THEORY PROGRAMME 1990
Sprache: Englisch
Verlag: Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Buch 199 von 387: London Mathematical Society Lecture NotesSprache: Englisch
Verlag: Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory. Editor(s): Aczel, Peter; Simmons, Harold (University of Manchester); Wainer, Stanley S. (University of Leeds). Num Pages: 320 pages, black & white illustrations. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 18. Weight in Grams: 470. . 2008. 1st Edition. paperback. . . . . Books ship from the US and Ireland.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press, 1992
ISBN 10: 052141413X ISBN 13: 9780521414135
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Verbandsmitglied: PBFA
Verkäuferbewertung 5 von 5 Sternen
EUR 59,57
EUR 28,92 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbCloth/Laminated Boards. Zustand: Very Good. Type: Book N.B. Small gold label to ffep. Slight fading to spine. Corners of boards a little bumped.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Anbieter: Labyrinth Books, Princeton, NJ, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very Good.
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Buch 199 von 387: London Mathematical Society Lecture NotesSprache: Englisch
Verlag: Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,36
EUR 17,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Buch 199 von 387: London Mathematical Society Lecture NotesSprache: Englisch
Verlag: Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 83,58
EUR 17,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Proofs and Computations
Buch 2 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 101,03
EUR 2,27 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Proofs and Computations (Perspectives in Logic)
Buch 2 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Proofs and Computations (Perspectives in Logic)
Buch 2 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 97,14
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Proofs and Computations
Buch 2 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 97,13
EUR 17,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Proofs and Computations
Buch 2 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press, GB, 2011
ISBN 10: 0521517699 ISBN 13: 9780521517690
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 133,90
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to ?11-CA0. Ordinal analysis and the (Schwichtenberg-Wainer) subrecursive hierarchies play a central role and are used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and ?11-CA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connectives and polytime complexity in a two-sorted, higher-type arithmetic with linear logic.
-
Proof Theory : A Selection of Papers from the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
-
Proofs and Computations
Buch 2 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 127,48
EUR 17,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Proofs and Computations
Buch 2 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press CUP, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Zustand: New. pp. 480 Index.
-
Proofs and Computations (Perspectives in Logic)
Buch 2 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 117,96
EUR 28,92 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
-
Proofs and Computations
Buch 2 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 148,94
EUR 2,27 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Proofs and Computations
Buch 2 von 17: Perspectives in LogicAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 140,37
EUR 14,46 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 480 pages. 9.50x6.25x1.25 inches. In Stock.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 144,72
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Sprache: Englisch
Verlag: Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 144,17
EUR 28,92 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
