Importo totale (1 articolo articoli):
Destinazione ordine:
wainer stanley (52 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (52)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (41)
- Come nuovo, Ottimo o Quasi ottimo (6)
- Molto buono o Buono (4)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
Ulteriori caratteristiche
- Prima ed. (6)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (16)
- Non Print on Demand (34)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990
Lingua: Inglese
Editore: Cambridge University Press, 1992
ISBN 10: 052141413X ISBN 13: 9780521414135
Da: Chamblin Bookmine, Jacksonville, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
8Vo Hardcover. Condizione: 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
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Da: Tim's Used Books Provincetown Mass., Provincetown, MA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
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.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990.
Lingua: Inglese
Editore: Cambridge University Press., 1993
ISBN 10: 0521054168 ISBN 13: 9780521054164
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Membro dell'associazione: GIAQ ILAB VDA
Valutazione del venditore 4 su 5 stelle
EUR 17,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello1. 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
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 54,42
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 51,47
Spedizione EUR 13,82
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Lingua: Inglese
Editore: Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 48,03
Spedizione EUR 17,87
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 59,56
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Libro 199 di 387: London Mathematical Society Lecture NotesLingua: Inglese
Editore: Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 72,21
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proof Theory
Lingua: Inglese
Editore: Cambridge University Press CUP, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 320.
-
PROOF THEORY: A SELECTION OF PAPERS FROM THE LEEDS PROOF THEORY PROGRAMME 1990
Lingua: Inglese
Editore: Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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
Libro 199 di 387: London Mathematical Society Lecture NotesLingua: Inglese
Editore: Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 76,24
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 72,17
Spedizione EUR 8,95
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Lingua: Inglese
Editore: Cambridge University Press, 1992
ISBN 10: 052141413X ISBN 13: 9780521414135
Da: Fireside Bookshop, Stroud, GLOS, Regno Unito
Membro dell'associazione: PBFA
Valutazione del venditore 5 su 5 stelle
EUR 59,40
Spedizione EUR 28,83
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCloth/Laminated Boards. Condizione: 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
Lingua: Inglese
Editore: Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Da: Labyrinth Books, Princeton, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Very Good.
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Libro 199 di 387: London Mathematical Society Lecture NotesLingua: Inglese
Editore: Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,64
Spedizione EUR 17,30
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Libro 199 di 387: London Mathematical Society Lecture NotesLingua: Inglese
Editore: Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,37
Spedizione EUR 17,30
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Proofs and Computations
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 100,29
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proofs and Computations (Perspectives in Logic)
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 102,69
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proofs and Computations (Perspectives in Logic)
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 96,13
Spedizione EUR 13,82
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Proofs and Computations
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 96,12
Spedizione EUR 17,30
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proofs and Computations
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, GB, 2011
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 129,17
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. 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 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
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
EUR 70,70
Spedizione EUR 62,61
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 127,10
Spedizione EUR 17,30
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Proofs and Computations
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press CUP, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 480 Index.
-
Proofs and Computations (Perspectives in Logic)
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 117,61
Spedizione EUR 28,83
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Proofs and Computations
Libro 2 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 148,52
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Lingua: Inglese
Editore: Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 152,72
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proofs and Computations
Libro 2 di 17: Perspectives in LogicDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 137,90
Spedizione EUR 14,42
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: 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
Lingua: Inglese
Editore: Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 143,20
Spedizione EUR 13,82
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Lingua: Inglese
Editore: Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 138,99
Spedizione EUR 28,83
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
