Computer science logic

Computer science logic1994
Workshop on Computer Science Logic (7th 1993 Swansea, Wales), Yuri Gurevich, Egon Borger
Details
- First published
- 1994
- OL Work ID
- OL3498167W
Subjects
Computer scienceCongressesLogic, Symbolic and mathematicalSymbolic and mathematical Logic