Journals in DBLP

J. Symb. Log.
1958, volume: 23, number: 4

1. G. Kreisel
   A Remark on Free Choice Sequences and the Topological Completeness Proofs. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1958, v:23, n:4, pp:369-388 [Journal]
   
2. Joseph R. Shoenfield
   Degrees of Formal Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1958, v:23, n:4, pp:389-392 [Journal]
   
3. Sigekatu Kuroda
   An Investigation on the Logical Structure of Mathematics (V).1 Contradictions of Russell's Type. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1958, v:23, n:4, pp:393-407 [Journal]
   
4. Michael O. Rabin
   On Recursively Enumerable and Arithmetic Models of Set Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1958, v:23, n:4, pp:408-416 [Journal]
   
5. R. L. Goodstein
   On the Formalisation of Indirect Discourse. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1958, v:23, n:4, pp:417-419 [Journal]
   
6. L. Jonathan Cohen
   Professor Goodstein's Formalisation of the Policeman. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1958, v:23, n:4, pp:420- [Journal]
   
7. Jean Porte
   Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1958, v:23, n:4, pp:421-431 [Journal]
   
8. R. M. Martin
   Twenty-Third Annual Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1958, v:23, n:4, pp:456-461 [Journal]