![](/img/cover-not-exists.png)
Automated Reasoning with Otterby John Arnold Kalman
Review by: Dale MyersVolume:
8
Language:
english
Journal:
The Bulletin of Symbolic Logic
DOI:
10.2307/3062209
Date:
September, 2002
File:
PDF, 137 KB
english, 2002