The Journal of Symbolic Logic, Volume 30

Volume 30, Number 1, March 1965

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

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

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