Computability Theory, Semantics, and Logic Programmingby Melvin Fitting
Review by: J. C. ShepherdsonVolume:
53
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2274624
Date:
December, 1988
File:
PDF, 104 KB
english, 1988