Wainer stanley s (52 risultati)
- Brossura
- Prima edizione
Da: Tim's Used Books Provincetown Mass., Provincetown, MA, U.S.A.Tim's Used Books Provincetown Mass.
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 22,54
EUR 5,25 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: 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.
- Brossura
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermaniaUniversitätsbuchhandlung Herta Hold GmbH
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 17,00
EUR 30,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 55,91
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 52,49
EUR 13,99 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 51,15
EUR 18,09 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New.
- Brossura
- Prima edizione
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,56
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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
Cooper, S. B. (EDT); Slaman, T. A. (EDT); Wainer, Stanley S. (EDT)
Lingua: Inglese
Editore: Cambridge University Press, 1996
Serie: London Mathematical Society Lecture Notes, Libro 199 di 387. Libro 199 di 387 - London Mathematical Society Lecture Notes
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,26
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,09
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 75,88
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 320.
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Cooper, S. B. (EDT); Slaman, T. A. (EDT); Wainer, Stanley S. (EDT)
Lingua: Inglese
Editore: Cambridge University Press, 1996
Serie: London Mathematical Society Lecture Notes, Libro 199 di 387. Libro 199 di 387 - London Mathematical Society Lecture Notes
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 78,33
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,14
EUR 9,19 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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.
- Rilegato
Da: Fireside Bookshop, Stroud, GLOS, Regno UnitoFireside Bookshop
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: PBFA
Condizione: Usato - Molto buono
EUR 60,14
EUR 29,19 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Cloth/Laminated Boards. Condizione: Very Good. Condizione sovraccoperta: No d/j as Published. Type: Book N.B. Small gold label to ffep. Slight fading to spine. Corners of boards a little bumped.
- Rilegato
Da: Labyrinth Books, Princeton, NJ, U.S.A.Labyrinth Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 93,76
EUR 3,94 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Very Good.
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Cooper, S. B. (EDT); Slaman, T. A. (EDT); Wainer, Stanley S. (EDT)
Lingua: Inglese
Editore: Cambridge University Press, 1996
Serie: London Mathematical Society Lecture Notes, Libro 199 di 387. Libro 199 di 387 - London Mathematical Society Lecture Notes
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 83,14
EUR 17,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Cooper, S. B. (EDT); Slaman, T. A. (EDT); Wainer, Stanley S. (EDT)
Lingua: Inglese
Editore: Cambridge University Press, 1996
Serie: London Mathematical Society Lecture Notes, Libro 199 di 387. Libro 199 di 387 - London Mathematical Society Lecture Notes
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 85,82
EUR 17,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 2012
Serie: Perspectives in Logic, Libro 2 di 17. Libro 2 di 17 - Perspectives in Logic
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 103,11
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2012
Serie: Perspectives in Logic, Libro 2 di 17. Libro 2 di 17 - Perspectives in Logic
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 105,50
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2012
Serie: Perspectives in Logic, Libro 2 di 17. Libro 2 di 17 - Perspectives in Logic
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 98,06
EUR 13,99 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press, 2012
Serie: Perspectives in Logic, Libro 2 di 17. Libro 2 di 17 - Perspectives in Logic
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 98,05
EUR 17,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Rilegato
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 131,57
EUR 5,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
HRD. Condizione: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000.
Altre immaginiLingua: Inglese
Editore: Cambridge University Press, GB, 2011
Serie: Perspectives in Logic, Libro 2 di 17. Libro 2 di 17 - Perspectives in Logic
- Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 136,48
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: 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 b…asic 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.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,90
EUR 62,61 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put to…gether in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
Lingua: Inglese
Editore: Cambridge University Press, 2012
Serie: Perspectives in Logic, Libro 2 di 17. Libro 2 di 17 - Perspectives in Logic
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 128,68
EUR 17,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press CUP, 2012
Serie: Perspectives in Logic, Libro 2 di 17. Libro 2 di 17 - Perspectives in Logic
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 144,55
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 480 Index.
Lingua: Inglese
Editore: Cambridge University Press, 2012
Serie: Perspectives in Logic, Libro 2 di 17. Libro 2 di 17 - Perspectives in Logic
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 119,07
EUR 29,19 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. Like New. book.
Lingua: Inglese
Editore: Cambridge University Press, 2012
Serie: Perspectives in Logic, Libro 2 di 17. Libro 2 di 17 - Perspectives in Logic
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 149,65
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 156,90
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge Univ Pr, 2011
Serie: Perspectives in Logic, Libro 2 di 17. Libro 2 di 17 - Perspectives in Logic
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 143,41
EUR 14,60 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 1st edition. 480 pages. 9.50x6.25x1.25 inches. In Stock.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 146,09
EUR 13,99 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 145,53
EUR 29,19 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
