Synopsis
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 together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Proof Theory: A selection of papers from the Leeds...
Image d'archives
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521054168
ISBN 13 : 9780521054164
Ancien ou d'occasion
Soft cover
Edition originale
Vendeur : Tim's Used Books Provincetown Mass., Provincetown, MA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Soft cover. Etat : 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. N° de réf. du vendeur 246305
Acheter D'occasion
EUR 22,66
Expédition à EUR 5,28
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990.
Edité par
Cambridge University Press., 1993
ISBN 10 : 0521054168
ISBN 13 : 9780521054164
Ancien ou d'occasion
Couverture souple
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
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. N° de réf. du vendeur 45596HB
Acheter D'occasion
EUR 17
Expédition à EUR 30
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 (Volume 0)
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521054168
ISBN 13 : 9780521054164
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521054164
Acheter neuf
EUR 56,21
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1st edition. 316 pages. 8.82x5.98x0.94 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521054168
Acheter neuf
EUR 52,09
Expédition à EUR 11,61
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 (Volume 0)
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521054168
ISBN 13 : 9780521054164
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521054164_new
Acheter neuf
EUR 52,17
Expédition à EUR 13,91
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Edité par
Cambridge University Press 2008-08-21, 2008
ISBN 10 : 0521054168
ISBN 13 : 9780521054164
Neuf
Paperback
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9780521054164
Acheter neuf
EUR 50,84
Expédition à EUR 17,98
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521054168
ISBN 13 : 9780521054164
Neuf
Couverture souple
Edition originale
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. . . . . N° de réf. du vendeur V9780521054164
Acheter neuf
EUR 59,56
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521054168
ISBN 13 : 9780521054164
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9780521054164
Acheter neuf
EUR 56,36
Expédition à EUR 18,28
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Proof Theory
Edité par
Cambridge University Press CUP, 2008
ISBN 10 : 0521054168
ISBN 13 : 9780521054164
Neuf
Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 320. N° de réf. du vendeur 26529151
Acheter neuf
EUR 76,29
Expédition à EUR 3,51
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Proof Theory
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521054168
ISBN 13 : 9780521054164
Neuf
Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 320 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam. N° de réf. du vendeur 8367392
Acheter neuf
EUR 74,96
Expédition à EUR 7,54
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)