Introduction to Higher-Order Categorical Logic Paperback: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7) - Softcover
Inhaltsangabe
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Introduction to Higher-Order Categorical Logic Paperback:...
Beispielbild für diese ISBN
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Verlag:
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
Gebraucht
Softcover
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. Bestandsnummer des Verkäufers L17B-03461
Beispielbild für diese ISBN
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Verlag:
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
Gebraucht
Paperback
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Bestandsnummer des Verkäufers S_416508311
Beispielbild für diese ISBN
Introduction To Higher-Order Categorical Logic.
Verlag:
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
Gebraucht
Softcover
Anbieter: Orrin Schwab Books, Providence, UT, USA
Verkäuferbewertung 4 von 5 Sternen
Softcover. Zustand: Good+. Glossy softbound covers. Some wear to the edges of the covers.; Cambridge Studies In Advanced Mathematics, Series Number 7; 6.25 X 0.75 X 9 inches; 304 pages. Bestandsnummer des Verkäufers 51375
Foto des Verkäufers
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Verlag:
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
Gebraucht
paperback
Anbieter: Lavendier Books, Foster, RI, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good. Cambridge University Press; Cambridge, 1988. Trade paperback. A Very Good, binding sturdy and intact, some handling/scuff marks to covers, bit of cover edge/corner wear, ink check mark top half title page, crease bottom corner page 105-108, a nice and clean copy in wraps. 8vo[octavo or approx. 6 x 9], 293pp., bibliography, indexed. We pack securely and ship daily w/delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book. Bestandsnummer des Verkäufers SKU1043641
Beispielbild für diese ISBN
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Anbieter: Labyrinth Books, Princeton, NJ, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 277525
Beispielbild für diese ISBN
Introduction to Higher Order Categorical Logic
Verlag:
Cambridge University Press, 1994
ISBN 10: 0521356539
ISBN 13: 9780521356534
Gebraucht
Hardcover
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9780521356534. Bestandsnummer des Verkäufers 3939657
Gebraucht kaufen
EUR 62,06
Versand:
EUR 14,69
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2416190000391
Neu kaufen
EUR 77,03
Versand:
EUR 3,44
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Introduction to Higher-Order Categorical Logic
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 695392-n
Neu kaufen
EUR 78,22
Versand:
EUR 2,28
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Introduction to Higher-Order Categorical Logic
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. reprint edition. 304 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521356539
Neu kaufen
EUR 71,13
Versand:
EUR 11,35
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Introduction to Higher-Order Categorical Logic
Verlag:
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
Gebraucht
Softcover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 695392
Gebraucht kaufen
EUR 81,53
Versand:
EUR 2,28
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar