|
Journals in DBLP
J. Symb. Log. 1957, volume: 22, number: 4
- Joyce Friedman
Some Results in Church's Restricted Recursive Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:4, pp:337-342 [Journal]
- Frederic Brenton Fitch
A Definition of Existence in Terms of Abstraction and Disjunction. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:4, pp:343-344 [Journal]
- Hugues Leblanc
On Logically False Evidence Statements. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:4, pp:345-349 [Journal]
|