- Tytuł:
- On Machines which Prove Theorems E. W. Beth
- Autorzy:
- Źródło:
- The Journal of Symbolic Logic, 1969 Dec 01. 34(4), 659-659.
- Relacje:
- On Machines which Prove Theorems E. W. Beth
- Dostęp URL:
- https://www.jstor.org/stable/2270891  Link otwiera się w nowym oknie
Recenzja