sponsored by the Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
Computer Society Press of the IEEE , Order from Computer Society of the IEEE
c1987
: pbk. , : hard , : microfiche
Available at 15 libraries