Davis R. E.. Truth, deduction, and computation. Logic and semantics for computer science. Principles of computer science series. Computer Science Press, New York 1989, xv + 265 pp.
Goodman, Nicolas D.Volume:
57
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275313
Date:
June, 1992
File:
PDF, 338 KB
english, 1992