Wainer Stanley (52 results)
- Softcover
- First Edition
Seller: Tim's Used Books Provincetown Mass., Provincetown, MA, U.S.A.Tim's Used Books Provincetown Mass.
Contact seller5-star sellerCondition: Used - Very good
US$ 25.00
US$ 6.00 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: 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.
- Softcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermanyUniversitätsbuchhandlung Herta Hold GmbH
Contact seller4-star sellerCondition: Used
US$ 19.88
US$ 34.06 shippingShips from Germany to U.S.A.Quantity: 1 available
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.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 62.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 59.17
US$ 15.77 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 57.66
US$ 20.39 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
- Softcover
- First Edition
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 69.66
US$ 11.92 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: 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)
Language: English
Published by Cambridge University Press 1996
Series: London Mathematical Society Lecture Notes, Book 199 of 387. Book 199 of 387 - London Mathematical Society Lecture Notes
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 82.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 84.16
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 320.
- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 88.70
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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
Cooper, S. B. (EDT); Slaman, T. A. (EDT); Wainer, Stanley S. (EDT)
Language: English
Published by Cambridge University Press 1996
Series: London Mathematical Society Lecture Notes, Book 199 of 387. Book 199 of 387 - London Mathematical Society Lecture Notes
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 86.86
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 82.22
US$ 10.50 shippingShips within U.S.A.Quantity: Over 20 available
Condition: 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.
- Hardcover
Seller: Fireside Bookshop, Stroud, GLOS, United KingdomFireside Bookshop
Contact seller5-star sellerAssociation member: PBFA
Condition: Used - Very good
US$ 67.80
US$ 32.91 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Cloth/Laminated Boards. Condition: Very Good. Dust Jacket Condition: No d/j as Published. Type: Book N.B. Small gold label to ffep. Slight fading to spine. Corners of boards a little bumped.
- Hardcover
Seller: Labyrinth Books, Princeton, NJ, U.S.A.Labyrinth Books
Contact seller5-star sellerCondition: Used - Very good
US$ 103.98
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Condition: Very Good.
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Cooper, S. B. (EDT); Slaman, T. A. (EDT); Wainer, Stanley S. (EDT)
Language: English
Published by Cambridge University Press 1996
Series: London Mathematical Society Lecture Notes, Book 199 of 387. Book 199 of 387 - London Mathematical Society Lecture Notes
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 93.73
US$ 19.75 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Cooper, S. B. (EDT); Slaman, T. A. (EDT); Wainer, Stanley S. (EDT)
Language: English
Published by Cambridge University Press 1996
Series: London Mathematical Society Lecture Notes, Book 199 of 387. Book 199 of 387 - London Mathematical Society Lecture Notes
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 97.05
US$ 19.75 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press 2012
Series: Perspectives in Logic, Book 2 of 17. Book 2 of 17 - Perspectives in Logic
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 114.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press 2012
Series: Perspectives in Logic, Book 2 of 17. Book 2 of 17 - Perspectives in Logic
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 117.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press 2012
Series: Perspectives in Logic, Book 2 of 17. Book 2 of 17 - Perspectives in Logic
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 110.56
US$ 15.77 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Cambridge University Press 2012
Series: Perspectives in Logic, Book 2 of 17. Book 2 of 17 - Perspectives in Logic
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 110.54
US$ 19.75 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
More imagesLanguage: English
Published by Cambridge University Press, GB 2011
Series: Perspectives in Logic, Book 2 of 17. Book 2 of 17 - Perspectives in Logic
- Hardcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 148.94
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: 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 ba…sic 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.
- Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: Used - Very good
US$ 148.32
US$ 6.61 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
HRD. Condition: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 88.77
US$ 71.09 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 tog…ether in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
Language: English
Published by Cambridge University Press 2012
Series: Perspectives in Logic, Book 2 of 17. Book 2 of 17 - Perspectives in Logic
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 145.07
US$ 19.75 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press CUP 2012
Series: Perspectives in Logic, Book 2 of 17. Book 2 of 17 - Perspectives in Logic
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 160.31
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 480 Index.
Language: English
Published by Cambridge University Press 2012
Series: Perspectives in Logic, Book 2 of 17. Book 2 of 17 - Perspectives in Logic
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 134.24
US$ 32.91 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. Like New. book.
Language: English
Published by Cambridge University Press 2012
Series: Perspectives in Logic, Book 2 of 17. Book 2 of 17 - Perspectives in Logic
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 164.50
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 174.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge Univ Pr 2011
Series: Perspectives in Logic, Book 2 of 17. Book 2 of 17 - Perspectives in Logic
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 163.28
US$ 16.46 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 1st edition. 480 pages. 9.50x6.25x1.25 inches. In Stock.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 164.70
US$ 15.77 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 164.07
US$ 32.91 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
