Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: Legendary Collectibles LLC, Grants Pass, OR, U.S.A.
Soft cover. Condizione: Fair. Fair condition. Clean pages, intact binding.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: MERS Goodwill, Saint Louis, MO, U.S.A.
Condizione: good. Used - Good: All pages and cover are intact including the dust cover, if applicable . Spine may show signs of wear. Pages may include limited notes and highlighting. May include From the library of labels. Shrink wrap, dust covers, or boxed set case may be missing. Item may be missing bundled media. Any access codes or passwords originally included with the book may be expired, used or no longer valid. Image is stock photo and cover art edition may be different than pictured.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 191,94
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 201,68
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 201,66
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 219,85
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: California Books, Miami, FL, U.S.A.
EUR 236,80
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 225,61
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. This book is about the basis of mathematical reasoning both in pure mathematics itself and in computing. Series: Cambridge Studies in Advanced Mathematics. Num Pages: 588 pages, line drawings. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 37. Weight in Grams: 1030. . 1999. hardcover. . . . .
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 236,01
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, GB, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 264,82
Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: Kennys Bookstore, Olney, MD, U.S.A.
EUR 287,94
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. This book is about the basis of mathematical reasoning both in pure mathematics itself and in computing. Series: Cambridge Studies in Advanced Mathematics. Num Pages: 588 pages, line drawings. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 37. Weight in Grams: 1030. . 1999. hardcover. . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Cambridge University Press CUP, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 588.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 241,96
Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
Lingua: Inglese
Editore: Cambridge University Press, GB, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: Rarewaves.com UK, London, Regno Unito
EUR 250,13
Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
EUR 314,53
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 572 pages. 9.50x6.50x1.25 inches. In Stock.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 385,13
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: Revaluation Books, Exeter, Regno Unito
EUR 207,80
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 572 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: CitiRetail, Stevenage, Regno Unito
EUR 225,85
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: new. Hardcover. Practical Foundations collects the methods of construction of the objects of twentieth century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work. This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries and challenges many established attitudes to the foundations of mathematics. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Lingua: Inglese
Editore: Cambridge University Press, 2003
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: moluna, Greven, Germania
EUR 216,57
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 253,60
Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: Majestic Books, Hounslow, Regno Unito
EUR 315,76
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 588 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.
Lingua: Inglese
Editore: Cambridge University Press, 2003
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: preigu, Osnabrück, Germania
EUR 244,75
Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Practical Foundations of Mathematics | Paul Taylor (u. a.) | Buch | Englisch | 2003 | Cambridge University Press | EAN 9780521631075 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
Lingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 317,70
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 588.