×

Logic in computer science. Proceedings of 4th annual symposium, Pacific Grove, CA/USA, June 5-8, 1989. (English) Zbl 0713.00018

Washington, DC etc.: IEEE Computer Society Press. XVI, 402 p. (1989).
The articles of this volume will be reviewed individually under the abbreviation “Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989 (1989)”.

MSC:

00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations