Von dem Buch Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings Editor haben wir 2 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:

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings Editor100%: Sous la direction de: David H. Pitt, Sous la direction de: P-.L. Curien, Sous la direction de: Samson Abramsky, Sous la direction de: Andrew M. Pitts, Sous la direction de: Axel Poigne, Sous la direction de: D.E. Rydeheard: Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings Editor (ISBN: 9783540544951) in Deutsch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Lecture Notes in Computer Science: Category Theory and Computer Science : Paris, France, September 3-6, 1991 Proceedings Vol. 53067%: Pitt, D.H.; Curien, P.L.; Abramsky, A.; Pitts, A. M.; Poigne, A. & Rydeheard, D. E. (Eds. ): Lecture Notes in Computer Science: Category Theory and Computer Science : Paris, France, September 3-6, 1991 Proceedings Vol. 530 (ISBN: 9780387544953) 1991, Springer-Verlag, in Englisch, Band: 389, Taschenbuch.
Nur diese Ausgabe anzeigen…
Im folgenden zeigen wir Ihnen alle derzeit lieferbaren Angebote aller dieser Bücher.
✕

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings Editor
11 Angebote vergleichen

Preise20132014201520162020
Schnitt€ 83,48 € 63,33 € 59,15 € 101,84 € 90,71
Nachfrage
Bester Preis: € 9,40 (vom 15.05.2013)
Alle AngeboteNur beste AngeboteAls TabelleKompaktPreisspektrum
1
9780387544953 - Pitt, D.H.; Curien, P.L.; Abramsky, A.; Pitts, A. M.; Poigne, A. & Rydeheard, D. E. (eds.): Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings (Lecture Notes in Computer Science 530)
Symbolbild
Pitt, D.H.; Curien, P.L.; Abramsky, A.; Pitts, A. M.; Poigne, A. & Rydeheard, D. E. (eds.)

Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings (Lecture Notes in Computer Science 530) (1991)

Lieferung erfolgt aus/von: Vereinigtes Königreich Großbritannien und Nordirland EN PB US

ISBN: 9780387544953 bzw. 038754495X, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.

€ 8,33 ($ 9,11)¹ + Versand: € 8,25 ($ 9,02)¹ = € 16,58 ($ 18,13)¹
unverbindlich
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: USA.
Von Händler/Antiquariat, PsychoBabel & Skoob Books.
Berlin: Springer-Verlag, 1991. Lecture Notes in Computer Science 530; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Slightly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.. paperback. Very Good/No Dust Jacket. Ex-Library.
Mehr beobachten speichern
Bestellen bei Biblio.com
bezahlter Link
2
9783540544951 - M. Pitts, Andrew, Axel Poigne David H. Pitt a. o.: Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)
M. Pitts, Andrew, Axel Poigne David H. Pitt a. o.

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science) (2008)

Lieferung erfolgt aus/von: Deutschland DE PB US

ISBN: 9783540544951 bzw. 354054495X, in Deutsch, Springer, Taschenbuch, gebraucht.

€ 11,68 + Versand: € 5,00 = € 16,68
unverbindlich
Von Händler/Antiquariat, getbooks GmbH [55883480], Idstein, HE, Germany.
316 Seiten Gepflegtes ehemaliges Bibliothek***emplar 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. 655110.01 Sprache: en Gewicht in Gramm: 454.
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
3
9780387544953 - D. H. Pitt, P. L. Curien, Editor: S. Abramsky: Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings (Lecture Notes in Computer Science)
D. H. Pitt, P. L. Curien, Editor: S. Abramsky

Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings (Lecture Notes in Computer Science) (1991)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN PB US

ISBN: 9780387544953 bzw. 038754495X, Band: 389, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.

€ 8,48 ($ 9,27)¹ + Versand: € 3,65 ($ 3,99)¹ = € 12,13 ($ 13,26)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, J. HENRY BOOKS.
The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September 3-6, 1991. Category theory continues to be an important tool in foundational studies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The triangle category theory - logic programming presents a rich world of interconnections. Topics covered in this volume include the following. Type theory: stratification of types and propositions can be discussed in a categorical setting. Domain theory: synthetic domain theory develops domain theory internally in the constructive universe of the effective topos. Linear logic: the reconstruction of logic based on propositions as resources leads to alternatives to traditional syntaxes. The proceedings of the previous three category theory conferences appear as Lecture Notes in Computer Science Volumes 240, 283 and 389. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1991-12, Studio: Springer-Verlag, Verkaufsrang: 15355822.
Mehr beobachten speichern
Bestellen bei Amazon.com
bezahlter Link
4
9780387544953 - Pitt, D. H., Curien, P. L.: Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings (Lecture Notes in Computer Science)
Symbolbild
Pitt, D. H., Curien, P. L.

Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings (Lecture Notes in Computer Science) (1991)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN US

ISBN: 9780387544953 bzw. 038754495X, in Englisch, Springer-Verlag, gebraucht.

€ 3,19 ($ 3,49)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Shows some signs of wear, and may have some markings on the inside.
Mehr beobachten speichern
Bestellen bei Abebooks.com
bezahlter Link
5
9780387544953 - Pitt, D. H.; Curien, P. L.; Abramsky, S. [Editor]: Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings (Lecture Notes in Computer Science)
Symbolbild
Pitt, D. H.; Curien, P. L.; Abramsky, S. [Editor]

Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings (Lecture Notes in Computer Science) (1991)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN PB US

ISBN: 9780387544953 bzw. 038754495X, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.

€ 8,07 ($ 8,82)¹ + Versand: € 3,65 ($ 3,99)¹ = € 11,72 ($ 12,81)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, GuthrieBooks.
Springer-Verlag, 1991-12-01. Paperback. Very Good. 354054495X Ex-library paperback in very nice condition with the usual markings and attachments.
Mehr beobachten speichern
Bestellen bei Biblio.com
bezahlter Link
6
9780387544953 - D. H. Pitt; P. L. Curien; Editor-S. Abramsky: Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings (Lecture Notes in Computer Science)
Symbolbild
D. H. Pitt; P. L. Curien; Editor-S. Abramsky

Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings (Lecture Notes in Computer Science) (1991)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika EN PB US

ISBN: 9780387544953 bzw. 038754495X, in Englisch, Springer, Taschenbuch, gebraucht.

€ 3,60 ($ 3,94)¹ + Versand: € 3,65 ($ 3,99)¹ = € 7,25 ($ 7,93)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Ergodebooks.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Biblio.com
bezahlter Link
7
9783540544951 - Pitt: Category Theory and Computer Science
Pitt

Category Theory and Computer Science

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783540544951 bzw. 354054495X, Bände: 240 und 283, in Deutsch, Springer, Berlin, Taschenbuch, neu.

€ 74,89
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Booklooker.de
bezahlter Link
8
9783540544951 - Category Theory and Computer Science 1991: Paris, France, September 3-6, 1991. Proceedings (Paperback)
Symbolbild

Category Theory and Computer Science 1991: Paris, France, September 3-6, 1991. Proceedings (Paperback) (1995)

Lieferung erfolgt aus/von: Vereinigtes Königreich Großbritannien und Nordirland DE PB NW RP

ISBN: 9783540544951 bzw. 354054495X, Bände: 240 und 283, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.

€ 92,88
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
9
9783540544951 - Samson Abramsky: Category Theory and Computer Science
Symbolbild
Samson Abramsky

Category Theory and Computer Science (1991)

Lieferung erfolgt aus/von: Deutschland DE PB NW RP

ISBN: 9783540544951 bzw. 354054495X, Bände: 240 und 283, in Deutsch, Springer Aug 1991, Taschenbuch, neu, Nachdruck.

€ 74,89 + Versand: € 15,50 = € 90,39
unverbindlich
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei Abebooks.de
bezahlter Link
10
9783540544951 - Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings David H. Pitt Editor

Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings David H. Pitt Editor (1991)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika ~EN PB NW

ISBN: 9783540544951 bzw. 354054495X, Band: 389, vermutlich in Englisch, Springer Berlin Heidelberg, Taschenbuch, neu.

€ 90,71 ($ 99,00)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Nan machandiz, plis anbakman.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Mehr beobachten speichern
Bestellen bei BarnesAndNoble.com
bezahlter Link