The Journal of Symbolic Logic, Volume 23

Volume 23, Number 1, March 1958

L. Novak Gal: A Note on Direct Products. 1-6 BibTeX
Joseph R. Shoenfield: Open Sentences and the Induction Axiom. 7-12 BibTeX
Frederic Brenton Fitch: An Extensional Variety of Extended Basic Logic. 13-21 BibTeX
Burton S. Dreben: Twenty-Second Annual Meeting of the Association for Symbolic Logic. 103-112 BibTeX

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

Paul Lorenzen: Logical Reflection and Formalism. 241-249 BibTeX
Hao Wang: Alternative Proof of a Theorem of Kleene. 250 BibTeX
R. M. Martin: A Formalization of Inductive Logic. 251-256 BibTeX
Frank Harary: Note on Carnap's Relational Asymptotic Relative Frequencies. 257-260 BibTeX
A. N. Prior: Epimenides the Cretan. 261-266 BibTeX
Trevor Evans, P. B. Schwartz: On Slupecki T-Functions. 267-270 BibTeX
Angelo Margaris: A Problem of Rosser and Turquette. 271-279 BibTeX
Clifford Spector: Measure-Theoretic Construction of Incomparable Hyperdegrees. 280-288 BibTeX
William Craig, Robert L. Vaught: Finite Axiomatizability Using Additional Predicates. 289-308 BibTeX
Richard M. Friedberg: Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication. 309-316 BibTeX
G. Kreisel: Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae. 317-330 BibTeX
Hartley Rogers Jr.: Godel Numberings of Partial Recursive Functions. 331-341 BibTeX

G. Kreisel: A Remark on Free Choice Sequences and the Topological Completeness Proofs. 369-388 BibTeX
Joseph R. Shoenfield: Degrees of Formal Systems. 389-392 BibTeX
Sigekatu Kuroda: An Investigation on the Logical Structure of Mathematics (V).1 Contradictions of Russell's Type. 393-407 BibTeX
Michael O. Rabin: On Recursively Enumerable and Arithmetic Models of Set Theory. 408-416 BibTeX
R. L. Goodstein: On the Formalisation of Indirect Discourse. 417-419 BibTeX
L. Jonathan Cohen: Professor Goodstein's Formalisation of the Policeman. 420 BibTeX
Jean Porte: Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation. 421-431 BibTeX
R. M. Martin: Twenty-Third Annual Meeting of the Association for Symbolic Logic. 456-461 BibTeX