|
Journals in DBLP
J. Symb. Log. 1958, volume: 23, number: 2
- Dana S. Scott, Patrick Suppes
Foundational Aspects of Theories of Measurement. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1958, v:23, n:2, pp:113-128 [Journal]
- Kurt-R. Biermann, Jurgen Mau
Uberprufung Einer Fruhen Anwendung Der Kombinatorik in Der Logik. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1958, v:23, n:2, pp:129-132 [Journal]
- Ivo Thomas
A 12th Century Paradox of the Infinite. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1958, v:23, n:2, pp:133-134 [Journal]
- A. N. Prior
Peirce's Axioms for Propositional Calculus. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1958, v:23, n:2, pp:135-136 [Journal]
- I. L. Gal, J. Barkley Rosser, Dana S. Scott
Generalization of a Lemma of G. F. Rose. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1958, v:23, n:2, pp:137-138 [Journal]
- Atwell R. Turquette
Simplified Axioms for Many-Valued Quantification Theory. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1958, v:23, n:2, pp:139-148 [Journal]
- C. C. Chang, Anne C. Morel
On Closure Under Direct Product. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1958, v:23, n:2, pp:149-154 [Journal]
- G. Kreisel
Mathematical Significance of Consistency Proofs. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1958, v:23, n:2, pp:155-182 [Journal]
- Martin Davis, Hilary Putnam
Reductions of Hilbert's Tenth Problem. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1958, v:23, n:2, pp:183-187 [Journal]
- Andrzej Grzegorczyk, Andrzej Mostowski, Czeslaw Ryll-Nardzewski
The Classical and the omega-Complete Arithmetic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1958, v:23, n:2, pp:188-206 [Journal]
|