Von dem Buch Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) haben wir 4 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%: Streicher, Thomas: Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) (ISBN: 9783764335946) 1991, Birkhäuser Verlag, in Deutsch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
100%: Thomas Streicher: Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) (ISBN: 9780817635947) 1991, Birkhäuser, Erstausgabe, in Englisch, Broschiert.Nur diese Ausgabe anzeigen…
100%: Thomas Streicher: Semantics of Type Theory: Correctness, Completeness and Independence Results (ISBN: 9781461267577) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
58%: Marc E.G. Hendrickx: Semantics of Type Theory : Correctness, Completeness and Independence Results (ISBN: 9781461204336) in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
11 Angebote vergleichen
Bester Preis: € 62,20 (vom 31.10.2016)1
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) (1991)
DE USISBN: 9783764335946 bzw. 3764335947, in Deutsch, Birkhäuser Verlag, gebraucht.
Von Händler/Antiquariat, getbooks GmbH [55883480], Idstein, HE, Germany.
297 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 668908.01 Sprache: Englisch Gewicht in Gramm: 789.
297 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 668908.01 Sprache: Englisch Gewicht in Gramm: 789.
2
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) (1991)
DE USISBN: 9783764335946 bzw. 3764335947, in Deutsch, Birkhäuser Verlag, gebraucht.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland.
Von Händler/Antiquariat, getbooks GmbH, [4040832].
297 Seiten Gebundene Ausgabe Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 668908.01, gebraucht gut, 789g.
Von Händler/Antiquariat, getbooks GmbH, [4040832].
297 Seiten Gebundene Ausgabe Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 668908.01, gebraucht gut, 789g.
4
Semantics of Type Theory
EN PB NWISBN: 9781461267577 bzw. 1461267579, in Englisch, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Semantics of Type Theory: Correctness, Completeness and Independence Results
EN PB NWISBN: 9781461267577 bzw. 1461267579, in Englisch, Birkhauser Verlag, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, In Stock.
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
6
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) (1991)
EN HC NW FEISBN: 9780817635947 bzw. 0817635947, in Englisch, 298 Seiten, Birkhäuser, gebundenes Buch, neu, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Meltek Books1.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Meltek Books1.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) (1991)
EN HC US FEISBN: 9780817635947 bzw. 0817635947, in Englisch, 298 Seiten, Birkhäuser, gebundenes Buch, gebraucht, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, _nearfine_.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, _nearfine_.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Semantics of Type Theory: Correctness, Completeness and Independence Results
EN NWISBN: 9781461267577 bzw. 1461267579, in Englisch, Birkhäuser Boston, neu.
Lieferung aus: Kanada, In Stock, plus shipping.
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
Semantics of Type Theory
EN NW EBISBN: 9781461204336 bzw. 146120433X, in Englisch, Springer Nature, neu, E-Book.
Lieferung aus: Vereinigte Staaten von Amerika, In Stock.
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
10
Semantics of Type Theory
EN NWISBN: 9781461267577 bzw. 1461267579, in Englisch, Springer Science+Business Media, neu.
Lieferung aus: Vereinigte Staaten von Amerika, In Stock.
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
Lade…