
Journals in DBLP
J. Symb. Log. 1957, volume: 22, number: 2
 Theodore Hailperin
A Theory of Restricted Quantification II. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:2, pp:113129 [Journal]
 N. J. Fine, Ronald Harrop
Uniformization of Linear Arrays. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:2, pp:130140 [Journal]
 Kurt Bing
On the Axioms of Order and Succession. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:2, pp:141144 [Journal]
 Hao Wang
The Axiomatization of Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:2, pp:145158 [Journal]
 Richard Friedberg
A Criterion for Completeness of Degrees of Unsolvability. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:2, pp:159160 [Journal]
 Solomon Feferman
Degrees of Unsolvability Associated with Classes of Formalized Theories. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:2, pp:161175 [Journal]
 E. J. Lemmon
New Foundations for Lewis Modal Systems. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:2, pp:176186 [Journal]
 A. H. Lightstone, Abraham Robinson
On the Representation of Herbrand Functions in Algebraically Closed Fields. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:2, pp:187204 [Journal]
