Order Total (1 Item Items):
Shipping Destination:
Stanley Wainer (55 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (55)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (44)
- As New, Fine or Near Fine (6)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (6)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (18)
- Not Print on Demand (34)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990
Language: English
Published by Cambridge University Press, 1992
ISBN 10: 052141413X ISBN 13: 9780521414135
First Edition
8Vo Hardcover. Condition: 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
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Seller: Tim's Used Books Provincetown Mass., Provincetown, MA, U.S.A.
Seller rating 5 out of 5 stars
First Edition
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.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990.
Language: English
Published by Cambridge University Press., 1993
ISBN 10: 0521054168 ISBN 13: 9780521054164
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
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
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Condition: New.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 59.76
US$ 16.04 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Language: English
Published by Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
US$ 55.76
US$ 20.74 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
First Edition
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
Book 199 of 387: London Mathematical Society Lecture NotesLanguage: English
Published by Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Condition: New.
-
Proof Theory
Language: English
Published by Cambridge University Press CUP, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Condition: New. pp. 320.
-
PROOF THEORY: A SELECTION OF PAPERS FROM THE LEEDS PROOF THEORY PROGRAMME 1990
Language: English
Published by Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
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
Book 199 of 387: London Mathematical Society Lecture NotesLanguage: English
Published by Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Condition: As New. Unread book in perfect condition.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
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.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Language: English
Published by Cambridge University Press, 1992
ISBN 10: 052141413X ISBN 13: 9780521414135
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
US$ 68.96
US$ 33.48 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCloth/Laminated Boards. Condition: 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
Language: English
Published by Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Condition: Very Good.
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Book 199 of 387: London Mathematical Society Lecture NotesLanguage: English
Published by Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 94.78
US$ 20.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Book 199 of 387: London Mathematical Society Lecture NotesLanguage: English
Published by Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 96.41
US$ 20.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Proofs and Computations
Book 2 of 17: Perspectives in LogicLanguage: English
Published by Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Condition: New.
-
Proofs and Computations (Perspectives in Logic)
Book 2 of 17: Perspectives in LogicLanguage: English
Published by Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Condition: New.
-
Proofs and Computations (Perspectives in Logic)
Book 2 of 17: Perspectives in LogicLanguage: English
Published by Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 111.61
US$ 16.04 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Proofs and Computations
Book 2 of 17: Perspectives in LogicLanguage: English
Published by Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 111.60
US$ 20.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Proofs and Computations
Book 2 of 17: Perspectives in LogicLanguage: English
Published by Cambridge University Press, GB, 2011
ISBN 10: 0521517699 ISBN 13: 9780521517690
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 144.38
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. 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 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
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Taschenbuch. Condition: 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
Book 2 of 17: Perspectives in LogicLanguage: English
Published by Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 147.56
US$ 20.09 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Proofs and Computations
Book 2 of 17: Perspectives in LogicLanguage: English
Published by Cambridge University Press CUP, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Condition: New. pp. 480 Index.
-
Proofs and Computations (Perspectives in Logic)
Book 2 of 17: Perspectives in LogicLanguage: English
Published by Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
US$ 136.54
US$ 33.48 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
Proofs and Computations
Book 2 of 17: Perspectives in LogicLanguage: English
Published by Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Condition: As New. Unread book in perfect condition.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Language: English
Published by Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Condition: New.
-
US$ 161.58
US$ 16.74 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: 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
Language: English
Published by Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 166.26
US$ 16.04 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Language: English
Published by Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
US$ 161.37
US$ 33.48 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
