The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 30, Issue 2
Publication Date: June, 1965
Miscellaneous front pages, J. Symbolic Logic, Volume 30, Issue 2 (1965)
Venn-Type Diagrams for Arguments of N Terms
Daniel E. Anderson and Frank L. Cleaver; 113-118
Interpretations of Kleene's Metamathematical Predicate $\Gamma\mid$A in Intuitionistic Arithmetic
T. Thacher Robinson; 140-154
Reviews
Review: Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Leon Henkin; 235-236
Review: Jan Lukasiewicz, Olgierd Wojtasiewicz, Elements of Mathematical Logic
Alfons Borgers; 237
Review: Alfred North Whitehead, Bertrand Russell, Principia Mathematica to $^\ast56$
Charles Parsons; 237-238
Review: Ferruccio Rossi-Landi, Il penstero americano contemporaneo
Alberto Pasquinelli; 238-240
Review: T. J. Smiley, Entailment and Deducibility; Alan Ross Anderson, Nuel D. Belnap, The Pure Calculus of Entailment
Jonathan Bennett; 240-241
Review: Leo Apostel, Game Theory and the Interpretation of Deontic Logic
E. J. Lemmon; 242
Review: Ward Waddell, Structure of Laws as Represented by Symbolic Methods
Nicholas A. Vonneuman; 242-243
Review: John A. Carpenter, Omar K. Moore, Charles R. Snyder, Edith S. Lisansky, Alcohol and Higher-Order Problem Solving
Alonzo Church; 243
Review: Jean W. Butler, On Complete and Independent Sets of Truth Functions in Multi-Valued Logics; Jean W. Butler, On Complete and Independent Sets of Operations in Finite Algebras
Atwell R. Turquette; 246
Review: U. L. Vasil'ev, Minimal Switching Circuits for Boolean Functions of Four Variables
Andrzej Harland; 246-247
Review: A. Cobham, R. Fridshal, J. H. North, An Application of Linear Programming to the Minimization of Boolean Functions
Thomas H. Mott; 247
Review: Joyce Friedman, A Decision Procedure for Computations of Finite Automata
Robert McNaughton; 248-249
Review: Hao Wang, IBM Journal of Research and Development: Toward Mechanical Mathematics
Steven Orey; 249
Review: A. Levy, Principles of Reflection in Axiomatic Set Theory
J. R. Shoenfield; 251
Review: C. C. Chang, On the Representation of $\alpha$-Complete Boolean Algebras
Carol R. Karp; 252
Review: Robert Vaught, The Elementary Character of Two Notions from General Algebra
Thomas Frayne; 252-253
Review: A. D. Tajmanov, On a Class of Models, Closed with Respect to Direct Product
Peter G. Hinman; 253-254
Review: V. F. Kostyrko, On a Mistake in the Paper of Zegalkin "On the Decision Problem in Finite Classes"
Andrzej Mostowski; 254
Review: G. S. Cejtin, Associative Calculus with Unsolvable Equivalence Problem
E. M. Fels; 254-255
Review: Alan Cobham, Some Remarks Concerning Theories with Recursively Enumerable Complements
W. W. Tait; 255
Review: Shih-Chao Liu, Four Types of General Recursive Well-Orderings
Gustav Hensel; 255-256
