The Journal of Symbolic Logic, Volume 30

Volume 30, Number 1, March 1965

Gaisi Takeuti: Transcendence of Cardinals. 1-7
R. W. House, T. Rado: A Generalization of Nelson's Algorithm for Obtaining Prime Implicants. 8-12
William Craig: Satisfaction for n-th Order Languages Defined in n-th Order Languages. 13-25
A. F. Bausch: Modus Ponens Under Hypothesis. 26
Theodore Hailperin: An Incorrect Theorem. 27
E. Mark Gold: Limiting Recursion. 28-48
Hilary Putnam: Trial and Error Predicates and the Solution to a Problem of Mostowski. 49-57
R. A. Bull: An Algebraic Study of Diodorean Modal Systems. 58-64
M. J. Cresswell: On the Logic of Incomplete Answers. 65-68
Gustav Hensel, Hilary Putnam: On the Notational Independence of Various Hierarchies of Degrees of Unsolvability. 69-86

Daniel E. Anderson, Frank L. Cleaver: Venn-Type Diagrams for Arguments of N Terms. 113-118
William Tuthill Parry: Comments on a Variant Form of Natural Deduction. 119-122
Raymond M. Smullyan: Analytic Natural Deduction. 123-139
T. Thacher Robinson: Interpretations of Kleene's Metamathematical Predicate T I A in Intuitionistic Arithmetic. 140-154
William W. Tait: Functionals Defined by Transfinite Recursion. 155-174
William W. Tait: The Substitution Method. 175-192
Wayne Richter: Extensions of the Constructive Ordinals. 193-211
H. Jerome Keisler: Limit Ultraproducts. 212-234
J. Donald Monk: Annual Meeting of the Association for Symbolic Logic. 260-270

Ronald Harrop: Some Structure Results for Propositional Calculi. 271-292
Alexander Abian, Samuel Lamacchia: Some Consequences of the Axiom of Power-Set. 293-294
Gaisi Takeuti: A Formalization of the Theory of Ordinal Numbers. 295-317
G. Kreisel, Gerald E. Sacks: Metarecursive Sets. 318-338
H. Jerome Keisler: Some Applications of Infinitely Long Formulas. 339-349
R. W. Ritchie: A Rudimentary Definition of Addition. 350-354