Linear Logic in Computer Science

Ehrhard, Thomas (Editor)/ Girard, Jean-Yves (Editor)/ RUET, Paul (Editor)/ Scott, Philip (Editor)

ISBN 10: 0521608570 ISBN 13: 9780521608572

Verlag: Cambridge Univ Pr, 2004

Sprache: Englisch

Neu Zustand: Brand New Softcover

F�r sp�ter vormerken

Verkauft von Revaluation Books, Exeter, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 6. Januar 2003

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Zustand: Brand New

Preis: EUR 138,98 W�hrung umrechnen

EUR 11,61 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

381 pages. 9.00x6.00x0.50 inches. In Stock.

Bestandsnummer des Verk�ufers x-0521608570

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Linear Logic in Computer Science
Verlag: Cambridge Univ Pr
Ver�ffentlichungsdatum: 2004
Sprache: Englisch
ISBN-10: 0521608570
ISBN-13: 9780521608572
Bindung: Paperback
Zustand: Brand New

�ber diesen Titel

Inhaltsangabe

This book illustrates linear logic in the application of proof theory to computer science.

Product Description

Book by None

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Versandbedingungen

Orders usually dispatched within two working days.

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Linear Logic in Computer Science