![](/img/cover-not-exists.png)
A Note on Syntactic Symmetry and the Manipulation of Formal Systems by Machineby H. Gelernter
Review by: Y. Bar-HillelVolume:
31
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2270498
Date:
September, 1966
File:
PDF, 207 KB
english, 1966