Overview
This volume contains 28 papers on recent developments in concepts and methods of logic which are relevant for computer science.
- | Author: Egon Börger
- | Publisher: Springer
- | Publication Date: Jul 10, 1990
- | Number of Pages: 444 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3540527532
- | ISBN-13: 9783540527534