Gå direkt till innehållet
CSL '87
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
Upplaga
1988 ed.
ISBN
9783540502418
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
14.9.1988
Sidor
348