Siirry suoraan sisältöön
CSL '87
Tallenna

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.
Alaotsikko
1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Painos
1988 ed.
ISBN
9783540502418
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
14.9.1988
Sivumäärä
348