Journals in DBLP

J. Symb. Log.
1966, volume: 31, number: 3

1. Raymond M. Smullyan
   Trees and Nest Structures. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1966, v:31, n:3, pp:303-321 [Journal]
   
2. Raymond M. Smullyan
   Finite Nest Structures and Propositional Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1966, v:31, n:3, pp:322-324 [Journal]
   
3. W. A. Howard, G. Kreisel
   Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1966, v:31, n:3, pp:325-358 [Journal]
   
4. Robert A. Di Paola
   Pseudo-Complements and Ordinal Logics based on Consistency Statements. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1966, v:31, n:3, pp:359-364 [Journal]
   
5. Akiko Kino
   On Definability of Ordinals in Logic with Infinitely Long Expressions. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1966, v:31, n:3, pp:365-375 [Journal]
   
6. Frank B. Cannonito
   Hierarchies of Computable Groups and the Word Problem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1966, v:31, n:3, pp:376-392 [Journal]
   
7. Burton Dreben, John Denton
   A Supplement to Herbrand. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1966, v:31, n:3, pp:393-398 [Journal]
   
8. Storrs McCall, Robert K. Meyer
   Pure Three-Valued Lukasiewiczian Implication. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1966, v:31, n:3, pp:399-405 [Journal]
   
9. David Makinson
   There are Infinitely many Diodorean Modal Functions. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1966, v:31, n:3, pp:406-408 [Journal]
   
10. Kenneth R. Brown, Hao Wang
    Short Definitions of the Ordinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:3, pp:409-414 [Journal]
    
11. Storrs McCall
    Connexive Implication. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:3, pp:415-433 [Journal]
    
12. Alistair H. Lachlan
    The Impossibility of finding Relative Complements for Recursively Enumerable Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:3, pp:434-454 [Journal]
    
13. R. Mitchell
    A Generalisation of Productive Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:3, pp:455-459 [Journal]
    
14. William H. Hanson
    On Formalizing the Distinction between Logical and Factual Truth. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:3, pp:460-477 [Journal]
    
15. Gerald Standley
    Testing Singly Quantified Tautologies. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:3, pp:478-480 [Journal]