ISBN: 9780521631075 - practical foundations of mathematics (21 risultati)

Hardcover. Condizione: Fair. No Jacket. Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.

Condizione: As New. Unread book in perfect condition.

Condizione: 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. . . . .…

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Hardback. 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.…

Condizione: 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.…

Condizione: New. pp. 588.

Hardcover. Condizione: Brand New. 572 pages. 9.50x6.50x1.25 inches. In Stock.

Hardback. 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.…

Buch. 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. …

Condizione: As New. Unread book in perfect condition.

Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Hardcover. 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.…

Gebunden. Condizione: 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.…

Buch. Condizione: Neu. Practical Foundations of Mathematics | Paul Taylor (u. a.) | Buch | Gebunden | 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.…

Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Condizione: 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.

Condizione: New. PRINT ON DEMAND pp. 588.