Spar
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.
- Undertittel
- 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
- Opplag
- 1988 ed.
- ISBN
- 9783540502418
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 14.9.1988
- Antall sider
- 348
