|
Journals in DBLP
J. Symb. Log. 1948, volume: 13, number: 2
- Paul Bernays
A System of Axiomatic Set Theory--Part VI. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1948, v:13, n:2, pp:65-79 [Journal]
- Alan M. Turing
Practical Forms of Type Theory. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1948, v:13, n:2, pp:80-94 [Journal]
- Frederic Brenton Fitch
An Extension of Basic Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1948, v:13, n:2, pp:95-106 [Journal]
- Alfred Tarski
A Problem Concerning the Notion of Definability. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1948, v:13, n:2, pp:107-111 [Journal]
|