R. E. Davis. Truth, deduction, and computation. Logic and semantics for computer science. Principles of computer science series. Computer Science Press, New York1989, xv + 265 pp.
1998 ◽
Vol 49
(2)
◽
pp. 183-184
1983 ◽
Vol 130
(1)
◽
pp. 18
Keyword(s):