Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: Legendary Collectibles LLC, Grants Pass, OR, Estados Unidos de America
EUR 105,48
Cantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Fair. Fair condition. Clean pages, intact binding.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: MERS Goodwill, Saint Louis, MO, Estados Unidos de America
EUR 113,43
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 191,94
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 201,68
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 201,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 219,85
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 236,80
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 225,61
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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. . . . .
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 236,01
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Cambridge University Press, GB, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 264,82
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 287,94
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Cambridge University Press CUP, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 297,36
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 588.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 241,96
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, GB, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: Rarewaves.com UK, London, Reino Unido
EUR 250,13
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: 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
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 572 pages. 9.50x6.50x1.25 inches. In Stock.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 385,13
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 207,80
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Brand New. 572 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand.
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: CitiRetail, Stevenage, Reino Unido
EUR 225,85
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2003
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: moluna, Greven, Alemania
EUR 216,57
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 253,60
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Idioma: Inglés
Publicado por Cambridge University Press, 2003
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: preigu, Osnabrück, Alemania
EUR 244,75
Cantidad disponible: 5 disponibles
Añadir al carritoBuch. Condición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: Majestic Books, Hounslow, Reino Unido
EUR 315,76
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 1999
ISBN 10: 0521631076 ISBN 13: 9780521631075
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 317,70
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 588.