|
Journals in DBLP
J. Symb. Log. 1960, volume: 25, number: 2
- William Craig
Bases for First-Order Theories and Subtheories. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1960, v:25, n:2, pp:97-142 [Journal]
- R. B. Angell
The Sentential Calculus Using Rule of Inference Re. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1960, v:25, n:2, pp:143- [Journal]
- Nuel Belnap
Entailment and Relevance. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1960, v:25, n:2, pp:144-146 [Journal]
- Azriel Levy
A Generalization of Godel's Notion of Constructibility. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1960, v:25, n:2, pp:147-155 [Journal]
|