Von dem Buch Categorical Logic and Type Theory, Volume v (Studies in Logic and the Foundations of Mathematics) haben wir 3 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Bart Jacobs: Categorical Logic and Type Theory, Volume v (Studies in Logic and the Foundations of Mathematics) (ISBN: 9780444508539) 2001, ELSEVIER SCIENCE & TECHNOLOGY, in Englisch, Band: 5.Nur diese Ausgabe anzeigen…
77%: B. Jacobs: Categorical Logic and Type Theory (ISBN: 9780080528700) in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
77%: Jacobs, B.: Categorical Logic and Type Theory (ISBN: 9780444501707) Elsevier Science, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
Categorical Logic and Type Theory, Volume v (Studies in Logic and the Foundations of Mathematics)
10 Angebote vergleichen
Bester Preis: € 102,28 (vom 06.08.2015)1
Symbolbild
Categorical Logic and Type Theory, Volume v (Studies in Logic and the Foundations of Mathematics) (2001)
EN HCISBN: 9780444508539 bzw. 0444508538, Band: 5, in Englisch, Elsevier Science, gebundenes Buch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Book Deals [60506629], Lewiston, NY, U.S.A.
This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Summary: Chapter Headings only.lt;/i> Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.
Von Händler/Antiquariat, Book Deals [60506629], Lewiston, NY, U.S.A.
This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Summary: Chapter Headings only.lt;/i> Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.
2
Categorical Logic and Type Theory
EN PB NWISBN: 9780444508539 bzw. 0444508538, in Englisch, ELSEVIER SCIENCE & TECHNOLOGY, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.780 p.Versandfertig in über 4 Wochen, Taschenbuch.
buecher.de GmbH & Co. KG, [1].
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.780 p.Versandfertig in über 4 Wochen, Taschenbuch.
3
Categorical Logic and Type Theory
EN NW EBISBN: 9780444501707 bzw. 0444501703, in Englisch, Elsevier Science, neu, E-Book.
Lieferung aus: Vereinigte Staaten von Amerika, E-Book zum download.
Computers, This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists. eBook.
Computers, This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists. eBook.
4
Categorical Logic and Type Theory
EN NWISBN: 9780080528700 bzw. 0080528708, in Englisch, Elsevier Science, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Categorical Logic and Type Theory: This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists. Englisch, Ebook.
Categorical Logic and Type Theory: This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists. Englisch, Ebook.
5
Categorical Logic and Type Theory, Volume v (Studies in Logic and the Foundations of Mathematics) (2001)
EN HC USISBN: 9780444508539 bzw. 0444508538, Band: 5, in Englisch, 780 Seiten, Elsevier Science, gebundenes Buch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, SuperBookDeals--.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, SuperBookDeals--.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Categorical Logic and Type Theory, Volume v (Studies in Logic and the Foundations of Mathematics) (2001)
EN HC NWISBN: 9780444508539 bzw. 0444508538, Band: 5, in Englisch, 780 Seiten, Elsevier Science, gebundenes Buch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, affordable2015.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, affordable2015.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Categorical Logic and Type Theory
EN NWISBN: 9780080528700 bzw. 0080528708, in Englisch, Pergamon; Pergamon Press, Vereinigte Staaten von Amerika, neu.
Lieferung aus: Deutschland, zzgl. Versandkosten, Sofort per Download lieferbar.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Categorical Logic and Type Theory
EN NWISBN: 9780080528700 bzw. 0080528708, in Englisch, Elsevier Science, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Categorical Logic and Type Theory (2001)
EN PB USISBN: 9780444508539 bzw. 0444508538, in Englisch, Elsevier Science, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Herb Tandree Philosophy Bks.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Herb Tandree Philosophy Bks.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…