- 1958
- Kurt-R. Biermann, Jurgen Mau:
Uberprufung Einer Fruhen Anwendung Der Kombinatorik in Der Logik. J. Symb. Log. 23(2): 129-132 (1958) - C. C. Chang, Anne C. Morel:
On Closure Under Direct Product. J. Symb. Log. 23(2): 149-154 (1958) - L. Jonathan Cohen:
Professor Goodstein's Formalisation of the Policeman. J. Symb. Log. 23(4): 420 (1958) - William Craig, Robert L. Vaught:
Finite Axiomatizability Using Additional Predicates. J. Symb. Log. 23(3): 289-308 (1958) - Martin Davis, Hilary Putnam:
Reductions of Hilbert's Tenth Problem. J. Symb. Log. 23(2): 183-187 (1958) - Burton S. Dreben:
Twenty-Second Annual Meeting of the Association for Symbolic Logic. J. Symb. Log. 23(1): 103-112 (1958) - Trevor Evans, P. B. Schwartz:
On Slupecki T-Functions. J. Symb. Log. 23(3): 267-270 (1958) - Frederic Brenton Fitch:
An Extensional Variety of Extended Basic Logic. J. Symb. Log. 23(1): 13-21 (1958) - Richard M. Friedberg:
Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication. J. Symb. Log. 23(3): 309-316 (1958) - L. Novak Gal:
A Note on Direct Products. J. Symb. Log. 23(1): 1-6 (1958) - I. L. Gal, J. Barkley Rosser, Dana S. Scott:
Generalization of a Lemma of G. F. Rose. J. Symb. Log. 23(2): 137-138 (1958) - R. L. Goodstein:
On the Formalisation of Indirect Discourse. J. Symb. Log. 23(4): 417-419 (1958) - Andrzej Grzegorczyk, Andrzej Mostowski, Czeslaw Ryll-Nardzewski:
The Classical and the omega-Complete Arithmetic. J. Symb. Log. 23(2): 188-206 (1958) - Frank Harary:
Note on Carnap's Relational Asymptotic Relative Frequencies. J. Symb. Log. 23(3): 257-260 (1958) - Georg Kreisel:
Mathematical Significance of Consistency Proofs. J. Symb. Log. 23(2): 155-182 (1958) - Georg Kreisel:
Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae. J. Symb. Log. 23(3): 317-330 (1958) - Georg Kreisel:
A Remark on Free Choice Sequences and the Topological Completeness Proofs. J. Symb. Log. 23(4): 369-388 (1958) - Sigekatu Kuroda:
An Investigation on the Logical Structure of Mathematics (V).1 Contradictions of Russell's Type. J. Symb. Log. 23(4): 393-407 (1958) - Paul Lorenzen:
Logical Reflection and Formalism. J. Symb. Log. 23(3): 241-249 (1958) - Angelo Margaris:
A Problem of Rosser and Turquette. J. Symb. Log. 23(3): 271-279 (1958) - R. M. Martin:
A Formalization of Inductive Logic. J. Symb. Log. 23(3): 251-256 (1958) - R. M. Martin:
Twenty-Third Annual Meeting of the Association for Symbolic Logic. J. Symb. Log. 23(4): 456-461 (1958) - Jean Porte:
Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation. J. Symb. Log. 23(4): 421-431 (1958) - A. N. Prior:
Peirce's Axioms for Propositional Calculus. J. Symb. Log. 23(2): 135-136 (1958) - A. N. Prior:
Epimenides the Cretan. J. Symb. Log. 23(3): 261-266 (1958) - Michael O. Rabin:
On Recursively Enumerable and Arithmetic Models of Set Theory. J. Symb. Log. 23(4): 408-416 (1958) - Hartley Rogers Jr.:
Godel Numberings of Partial Recursive Functions. J. Symb. Log. 23(3): 331-341 (1958) - Dana S. Scott, Patrick Suppes:
Foundational Aspects of Theories of Measurement. J. Symb. Log. 23(2): 113-128 (1958) - Joseph R. Shoenfield:
Open Sentences and the Induction Axiom. J. Symb. Log. 23(1): 7-12 (1958) - Joseph R. Shoenfield:
Degrees of Formal Systems. J. Symb. Log. 23(4): 389-392 (1958)
