Spara
CSL '87
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.
- Undertitel
- 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
- Redaktör
- Egon Börger, Hans Kleine Büning, Michael M. Richter
- Upplaga
- 1988 ed.
- ISBN
- 9783540502418
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1988-09-14
- Sidor
- 348
