TY  - GEN
TI  - LOGIC IN COMPUTER SCIENCE
U1  - 511.3 
PY  - 1987///
CY  - Washington, D. C.
PB  - Computer Society Pr.
KW  - Logic, Symbolic And Mathematical -- Cong
KW  - Computer Programe -- Cong
N1  - Sponsored By Computer Science Society Of Ieee, Technical Committee On Mathematical Foundations Of Computing
ER  -