Handbook of Logic in Computer Science: Volume 1: Background
Subtitle: Mathematical Structures (Handbook of Logic in Computer Science, Vol 1)
Contributors: S. Abramsky (Editor); Dov M. Gabbay (Editor); T. S. E. Maibaum (Editor)
Publisher: Oxford University Press, USA
Published: March 18, 1993
Language: eng
Number of pages: 840
ISBN-13: 9780198537359