| Tullock and an Existence Theorem |
|
Kenneth J. Arrow |
Public Choice |
1969-04-00 |
| R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
G. Fuhrken |
The Journal of Symbolic Logic |
1968-10-10 |
| The separation theorem on the classical system |
Tsutomu Hosoi |
T. Thacher Robinson |
The Journal of Symbolic Logic |
1968-04-26 |
| Proving a theorem (as done by man, logician, or machine) |
Abraham Robinson |
J. A. Robinson |
The Journal of Symbolic Logic |
1968 |
| Theorem proving by machine |
H. Gelernter |
J. A. Robinson |
The Journal of Symbolic Logic |
1968 |
| The unit preference strategy in theorem proving |
Lawrence Wos, Daniel Carson, and George Robinson |
David Luckham |
The Journal of Symbolic Logic |
1967 |
| The representation theorem for cylindrical algebras |
L. Henkin |
Paul R. Halmos |
The Journal of Symbolic Logic |
1957 |
| Skolem-Löwenheim no teiri ni tuite (On the theorem of Skolem-Löwenheim). Kisokagaku, no. 30 (121952) |
Kinjiro Kunugui |
J. Barkley Rosser |
The Journal of Symbolic Logic |
1956 |
| Symposium: On the ontological significance of the Löwenheim-Skolem theorem |
George D. W. Berry |
A. R. Turquette |
The Journal of Symbolic Logic |
1955 |
| Symposium: On the ontological significance of the Löwenheim-Skolem theorem |
John R. Myhill |
A. R. Turquette |
The Journal of Symbolic Logic |
1955 |
