|
Journals in DBLP
J. Symb. Log. 1967, volume: 32, number: 4
- Herbert B. Enderton
An Infinitistic Rule of Proof. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1967, v:32, n:4, pp:447-451 [Journal]
- Kanji Namba
N0-Complete Cardinals and Transcendency of Cardinals. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1967, v:32, n:4, pp:452-472 [Journal]
- Robert L. Vaught
Axiomatizability by a Schema. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1967, v:32, n:4, pp:473-479 [Journal]
- J. Jay Zeman
A System of Implicit Quantification. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1967, v:32, n:4, pp:480-504 [Journal]
- M. D. Gladstone
A Reduction of the Recursion Scheme. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1967, v:32, n:4, pp:505-508 [Journal]
- H. A. Schmidt, K. Schutte, Ernst-Jochen Thiele, M. J. Cresswell
Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1967, v:32, n:4, pp:556-577 [Journal]
|