CSL '88 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings /
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter.
- On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan