Journal of Symbolic Logic

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 29, Issue 2

Publication Date: June, 1964

Miscellaneous front pages, J. Symbolic Logic, Volume 29, Issue 2 (1964)

Further Results on Infinite Valued Predicate Logic

L. P. Belluce; 69-78

Results Concerning Some Modal Systems That Contain S2

Lennart Aqvist; 79-87

Reviews

Review: Janina Kotarbinska, The Concept of Sign

C. Lejewski; 88-89

Review: Wesley C. Salmon, Logic

Harry Stopes-Roe; 89-90

Review: E. W. Beth, Door Wetenschap tot Wijsheid

J. Ladriere; 90-91

Review: Ivan Boh, A Study in Burleigh: Tractatus de Regulis Generalibus Consequentiarum

Ivo Thomas; 91-92

Review: Willard Van Orman Quine, Mathematical Logic

Frederic B. Fitch; 92

Review: Irving M. Copi, Introduction to Logic

Donald Kalish; 92-93

Review: John M. Anderson, Henry W. Johnstone, Natural Deduction. The Logical Basis of Axiom Systems

Donald Kalish; 93-94

Review: B. H. Arnold, Logic and Boolean Algebra

Theodore Hailperin; 95-96

Review: Ladislav Rieger, On Suslin-Algebras and their Representations

Andrzej Mostowski; 96-97

Review: N. E. Kobrinskij, B. A. Trahtenbrot, Introduction to the Theory of Finite Automata

Jiri Becvar; 97-98

Review: B. A. Trahtenbrot, Doklady akademii nauk SSSR,

Jiri Becvar; 98-100

Review: T. K. Berends, A. A. Tal, Pneumatic Switching Circuits

Andrzej Rowicki; 100-101

Review: Burton Dreben, A. S. Kahr, Hao Wang, Classification of AEA Formulas by Letter Atoms

F. C. Oglesby; 101

Review: Joyce Friedman, A Semi-Decision Procedure for the Functional Calculus; Joyce Friedman, A Computer Program for a Solvable Case of the Decision Problem

Frederic B. Fitch; 101

Review: H. A. Pogorzelski, Recursive Arithmetic of Skolem

R. L. Goodstein; 101-102

Review: J. P. Cleave, Creative Functions

J. C. E. Dekker; 102-103

Review: R. O. Gandy, Proof of Mostowski's Conjecture

Wayne Richter; 103-104

Review: R. O. Gandy, On a Problem of Kleene's

Wayne Richter; 104

Review: Shih-Chao Liu, A Theorem on General Recursive Functions

James R. Guard; 104

Review: S. C. Kleene, Lambda-Definable Functionals of Finite Types

J. Barkley Rosser; 104-105

Review: Hao Wang, A Survey of Mathematical Logic

Steven Orey; 105-106

Review: Toshio Nishimura, On Godel's Theorem

Gert Heinz Muller; 106-107

Review: Toshio Nishimura, Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" from Other Axioms of Set Theory; Toshio Nishimura, Note on Axiomatic Set Theory II. A Construction of a Model Satisfying the Axioms of set Theory without Zermelo's Aussonderungsaxiom in a certain axiom system of ordinal numbers

Gert Heinz Muller; 107

Review: N. A. Sanin, Uber Konstruktive Lineare Funktionale in Einem Konstruktiven Hilbertschen Raum

Andrzej Mostowski; 107-108

Review: N. M. Nagornyj, On a Minimal Alphabet of Algorithms Over a Given Alphabet

E. M. Fels; 108

Review: E. S. Orlovskij, Some Questions in the Theory of Algorithms

E. M. Fels; 108-109

Review: N. N. Vorob'ev, A New Algorithm of Deducibility in the Constructive Propositional Calculus

E. M. Fels; 109

Review: Henryk Greniewski, $2^{n+1}$ Logical Values

Andrzej Mostowski; 109-110

Review: Louise Schmir Hay, Axiomatization of the Infinite-Valued Predicate Calculus

A. Rose; 110-111

Review: Joan B. Ogden, Henry B. Veatch, Putting the Square Back into Opposition

Charles A. Baylis; 111

Review: Tadeusz Gierymski, Michael P. Slattery, Is the Square Back in Opposition?

Charles A. Baylis; 111-112

Review: T. Gierymski, M. P. Slattery, Existential Import and "Latin Averroism."

Charles A. Baylis; 112

Review: Michael P. Slattery, Tadeusz Gierymski, A Propositions

Charles A. Baylis; 112

Review: Tadeusz Gierymski, Michael P. Slattery, Metaphysics and the Null Class

Charles A. Baylis; 112-113

Further Citations

113

2013 © Association for Symbolic Logic