The Journal of Symbolic Logic, Volume 28

Volume 28, Number 1, March 1963

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

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

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

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