The Journal of Symbolic Logic, Volume 28

Volume 28, Number 1, March 1963

Alistair H. Lachlan: Recursive Real Numbers. 1-16 BibTeX
Norman Shapiro: Functions which Remain Partial Recursive Under all Similarity Transformations. 17-19 BibTeX
A. H. Kruse: A Method of Modelling the Formalism of Set Theory in Axiomatic Set Theory. 20-34 BibTeX
Shih-Chao Liu: A Note on Many-One Reducibility. 35-42 BibTeX
Lawrence Peter Belluce, C. C. Chang: A Weak Completeness Theorem for Infinite Valued First-Order Logic. 43-50 BibTeX
Ian Hacking: What is Strict Implication? 51-71 BibTeX
Alan Cobham: Some Remarks Concerning Theories with Recursively Enumerable Complements. 72-74 BibTeX
John R. Myhill: Remark on a System of Bernays. 75-76 BibTeX
Louise Schmir Hay: Axiomatization of the Infinite-Valued Predicate Calculus. 77-86 BibTeX
Frederic Brenton Fitch: The System C triangle of Combinatory Logic. 87-97 BibTeX

Timothy Smiley: Relative Necessity. 113-134 BibTeX
Frederic Brenton Fitch: A Logical Analysis of Some Value Concepts. 135-142 BibTeX
Shih-Chao Liu: On Many-One Degrees. 143-153 BibTeX
Stephen Cole Kleene: An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. 154-156 BibTeX
Keith Lehrer: Descriptive Completeness and Inductive Methods. 157-160 BibTeX
Thomas E. Patton: On N-Adic Representation of Numbers. 161-163 BibTeX

Aubert Daigneault: Tensor Products of Polyadic Algebras. 177-200 BibTeX
Leon Henkin: An Extension of the Craig-Lyndon Interpolation Theorem. 201-216 BibTeX
Atwell R. Turquette: Independent Axioms for Infinite-Valued Logic. 217-221 BibTeX
M. R. Krom: Separation Principles in the Hierarchy Theory of Pure First-Order Logic. 222-236 BibTeX
Richard Goldberg: On the Solvability of a Subclass of the Suranyi Reduction Class. 237-244 BibTeX
E. J. Lemmon, M. A. E. Dummett, John N. Crossley: Meeting of the Association for Symbolic Logic. 262-272 BibTeX

Donald A. Martin: A Theorem on Hyperhypersimple Sets. 273-278 BibTeX
C. J. Ducasse, Haskell B. Curry: Addendum to Early History of the Association for Symbolic Logic. 279 BibTeX
Joseph S. Wholey: Persistence and Herbrand Expansions. 280-282 BibTeX
Carol R. Karp: Twenty-Eighth Annual Meeting of the Association for Symbolic Logic. 297-308 BibTeX