200 Seiten Das hier angebotene Buch stammt aus einer teilaufgel�sten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (R�ckenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 545. Bestandsnummer des Verk�ufers 2157738

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Lectures on Linear Logic CSLI Lectures Notes...

Verlag: Center for the Study of Language and Information Publica Tion

Erscheinungsdatum: 1992

Einband: gebundene Ausgabe

Zustand: Gut

�ber diesen Titel

Inhaltsangabe:

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

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

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Versandantiquariat Petra Gros GmbH & Co. KG
Am Sonnenhang 18, Welling, 56753, Germany

Gesch�ftsbedingungen:

Allgemeine Gesch�ftsbedingungen

Allgemeines - Geltungsbereich
1.1. Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsschlusses g�ltige Fassung.
1.2. Verbraucher i. S. d. Gesch�ftsbedingungen sind nat�rliche Personen, mit denen wir in Gesch�ftsbeziehung treten, ohne dass diesen eine gewerbliche oder selbst�ndige berufliche T�tigkeit zugerechnet werden kann. Unternehmer i. S. d....

Mehr Information

Versandinformationen:

Die Ware wird in der Regel innerhalb von 1-3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen sind f�r K�ufer und Verk�ufer bindend.

Impressum & Info zum Verk�ufer

Zahlungsarten
akzeptiert von diesem Verk�ufer

PayPal Rechnung Bank�berweisung

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Lectures on Linear Logic CSLI Lectures Notes, 29

Lectures on Linear Logic CSLI Lectures Notes, 29

Troelstra, A. S.:

Gebraucht - Hardcover

Unternehmensdaten des Verk�ufers