|
Journals in DBLP
J. Symb. Log. 1956, volume: 21, number: 2
- Wilhelm Ackermann
Begrundung Einer Strengen Implikation. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1956, v:21, n:2, pp:113-128 [Journal]
- Richard Montague, Leon Henkin
On the Definition of 'Formal Deduction'. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1956, v:21, n:2, pp:129-136 [Journal]
- John C. Shepherdson
On the Interpretation of Aristotelian Syllogistic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1956, v:21, n:2, pp:137-147 [Journal]
- W. V. Quine
On Formulas with Valid Cases. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1956, v:21, n:2, pp:148- [Journal]
- John G. Kemeny
A New Approach to Semantics--Part II. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1956, v:21, n:2, pp:149-161 [Journal]
- Raphael M. Robinson
Arithmetical Representation of Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1956, v:21, n:2, pp:162-186 [Journal]
- G. D. W. Berry
Twentieth Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1956, v:21, n:2, pp:216-224 [Journal]
|