Journals in DBLP

J. Symb. Log.
1957, volume: 22, number: 3

1. L. Jonathan Cohen
   Can the Logic of Indirect Discourse be Formalised? [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1957, v:22, n:3, pp:225-232 [Journal]
   
2. Bernard K. Symonds, Roderick M. Chisholm
   Inference by Complementary Elimination. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1957, v:22, n:3, pp:233-236 [Journal]
   
3. Henryk Hiz
   Inferential Equivalence and Natural Deduction. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1957, v:22, n:3, pp:237-240 [Journal]
   
4. Alan Ross Anderson
   Independent Axiom Schemata for Von Wright's M. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1957, v:22, n:3, pp:241-244 [Journal]
   
5. K. Jaakko, Jaakko Hintikka
   Vicious Circle Principle and the Paradoxes. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1957, v:22, n:3, pp:245-249 [Journal]
   
6. William Craig
   Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1957, v:22, n:3, pp:250-268 [Journal]
   
7. William Craig
   Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1957, v:22, n:3, pp:269-285 [Journal]