Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

CSL '87

1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
BuchPaperback
Verkaufsrang18642inEinführungen
CHF75.90

Produktinformationen

This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-540-50241-8
ProduktartBuch
EinbandPaperback
VerlagSpringer
Erscheinungsdatum14.09.1988
Auflage1988
ReiheLecture Notes in Computer Science
Reihen-Nr.329
Seiten356 Seiten
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm, Dicke 20 mm
Gewicht540 g
WarengruppeInformatik
KategorieEinführungen
Weitere Details

Reihe

Kritiken und Kommentare

Über die Autorin/den Autor

Schlagworte

Vorschläge

Zuletzt von mir angeschaut