J. Symbolic Logic, Tome 29 (1964) no. 1

Project Euclid

Review: R. O. Gandy, On the Axiom of Extensionality; Dana Scott, More on the Axiom of Extensionality

Levy, Azriel

Project Euclid

Review: Leon Henkin, Are Logic and Mathematics Identical?

Borgers, Alfons

p. 141-142

Project Euclid

Review: Abraham A. Fraenkel, Yehoshua Bar-Hillel, Foundations of Set Theory

Shoenfield, J. R.

Project Euclid

Review: R. J. Butler, Analytical Philosophy

Anderson, Alan Ross

p. 139-141

Project Euclid

Review: Nicholas Rescher, Belief-Contravening Suppositions

Anderson, Alan Ross

p. 138-139

Project Euclid

Review: David Harrah, A Logic of Questions and Answers; David Harrah, Communication: A Logical Model; David Harrah, A Model for Applying Information and Utility Functions

Belnap, Nuel D.

p. 136-138

Project Euclid

Review: Rollo Handy, Paul Kurtz, A Current Appraisal of the Behavioral Sciences

Church, Alonzo

p. 135-136

Project Euclid

Review: Dagobert D. Runes, Classics in Logic

Church, Alonzo

Henschen-Dahlquist, Ann-Mari

Project Euclid

Review: Ludwig Wittgenstein, Anders Wedberg, Without Russell's Introduction

p. 134-135

Project Euclid

Review: Jaakko Hintikka, Knowledge and Belief. An Introduction to the Logic of the Two Notions

Castaneda, Hector-Neri

p. 132-134

Project Euclid

Review: Eligius M. Buytaert, Collected Articles on Ockham

Moody, Ernest A.

p. 129-132

Project Euclid

Ten Modal Models

Thomas, Ivo

p. 125-128

Project Euclid

Equational Bases of Boolean Algebras

Sioson, F. M.

p. 115-124

Project Euclid

Further Citations

Project Euclid

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

p. 112-113

Project Euclid

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

Project Euclid

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

Project Euclid

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

p. 111-112

Project Euclid

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

Project Euclid

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

Rose, A.

p. 110-111

Project Euclid

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

Mostowski, Andrzej

p. 109-110

Project Euclid

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

Fels, E. M.

Project Euclid

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

Fels, E. M.

p. 108-109

Project Euclid

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

Fels, E. M.

Project Euclid

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

Mostowski, Andrzej

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

p. 107-108

Project Euclid

Muller, Gert Heinz

Project Euclid

Review: Toshio Nishimura, On Godel's Theorem

Muller, Gert Heinz

p. 106-107

Project Euclid

Review: Hao Wang, A Survey of Mathematical Logic

Orey, Steven

p. 105-106

Project Euclid

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

Rosser, J. Barkley

p. 104-105

Project Euclid

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

Guard, James R.

Project Euclid

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

Richter, Wayne

Project Euclid

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

Richter, Wayne

p. 103-104

Project Euclid

Review: J. P. Cleave, Creative Functions

Dekker, J. C. E.

p. 102-103

Project Euclid

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

Goodstein, R. L.

p. 101-102

Project Euclid

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

Fitch, Frederic B.

Project Euclid

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

Oglesby, F. C.

Project Euclid

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

p. 100-101

Project Euclid

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

Becvar, Jiri

p. 98-100

Project Euclid

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

Becvar, Jiri

p. 97-98

Project Euclid

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

Mostowski, Andrzej

p. 96-97

Project Euclid

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

p. 95-96

Project Euclid

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

Kalish, Donald

p. 93-94

Project Euclid

Review: Irving M. Copi, Introduction to Logic

Kalish, Donald

p. 92-93

Project Euclid

Review: Willard Van Orman Quine, Mathematical Logic

Fitch, Frederic B.

Project Euclid

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

Thomas, Ivo

p. 91-92

Project Euclid

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

Ladriere, J.

p. 90-91

Project Euclid

Review: Wesley C. Salmon, Logic

p. 89-90

Project Euclid

Review: Janina Kotarbinska, The Concept of Sign

Lejewski, C.

p. 88-89

Project Euclid

Results Concerning Some Modal Systems That Contain S2

Aqvist, Lennart

p. 79-87

Project Euclid

Further Results on Infinite Valued Predicate Logic

Belluce, L. P.

p. 69-78

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

p. 229-252

Project Euclid

Meeting of the Association for Symbolic Logic

Shepherdson, J. C. ; Korner, S. ; Gladstone, M. D.

p. 218-228

Project Euclid

Further Citations

p. 216-217

Project Euclid

Review: S. V. Ablonskij, Functional Constructions in k-Valued Logic

p. 214-216

Project Euclid

Review: A. A. Zinov'ev, Philosophical Problems of Many-valued Logic

Turquette, Atwell R.

p. 213-214

Project Euclid

Review: Alan Rose, Zeitschrift fur mathematische Logik und Grundlagen der Mathematik

Rose, Gene F.

Project Euclid

Review: Storrs McCall, A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logic

Rose, Gene F.

Project Euclid

Review: B. I. Finikov, On a Family of Classes of Functions in the Algebra of Logic and Their Realizations in the Class of II-Circuits

Blikle, Andrzej

Project Euclid

Review: A. W. Burks, J. B. Wright, Sequence Generators and Digital Computers; Arthur W. Burks, Jesse B. Wright, Sequence Generators, Graphs, and Formal Languages

McNaughton, Robert

p. 210-212

Project Euclid

Review: Alonzo Church, Logic, Arithmetic, and Automata

Buchi, J. Richard

Project Euclid

Review: A. A. Markov, Mathematical Logic and Numerical Analysis

Blikle, Andrzej

Project Euclid

Review: Leon Henkin, Mathematical Induction

Project Euclid

Review: Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh, Retracing Elementary Mathematics

Project Euclid

Review: Ettore Carruccio, Sulle Dimostrazioni di Coerenza dei Sistemi Ipotetico-Deduttivi

Cobham, Alan

Project Euclid

Review: Hao Wang, A Survey of Mathematical Logic

Orey, Steven

Project Euclid

Review: John Myhill, Remark on a System of Bernays

Levy, Azriel

Project Euclid

Review: Leon Le Blanc, Comptes rendus hebdomadaires des seances de l'Academie des sciences

Project Euclid

Review: Leon LeBlanc, Transformation Algebras

p. 206-207

Project Euclid

Review: Leon LeBlanc, Les Algebres Booleennes Topologiques Bornees

Project Euclid

Review: J. L. Britton, The Word Problem for Groups; John L. Britton, The Word Problem

Rabin, Michael O.

p. 205-206

Project Euclid

Review: G. Higman, Subgroups of Finitely Presented Groups

Rabin, Michael O.

p. 204-205

Project Euclid

Review: Gerald E. Sacks, Recursive Enumerability and the Jump Operator

Kreider, Donald L.

Project Euclid

Review: J. R. Shoenfield, On Degrees of Unsolvability; J. R. Shoenfield, An Uncountable Set of Incomparable Degrees

Sacks, Gerald E.

p. 203-204

Project Euclid

Review: Gerald E. Sacks, On Suborderings of Degrees of Recursive Unsolvability

Hensel, Gustav B.

Project Euclid

Review: Gerald E. Sacks, Degrees of Unsolvability

Hensel, Gustav B.

p. 202-203

Project Euclid

Review: Gunter Asser, H. A. Pogorzelski, Vladeta Vuckovic, Rekursive Wortfunktionen

Hermes, H.

p. 199-201

Project Euclid

Review: Paul Axt, Note on the 3-Recursive Functions

Peter, Rozsa

Project Euclid

Review: Frederic B. Fitch, The System $C\Delta$ of Combinatory Logic

Lercher, Bruce

p. 198-199

Project Euclid

Review: Satosi Watanabe, A Model of Mind-Body Relation in Terms of Modular Logic

Lemmon, E. J.

p. 197-198

Project Euclid

Review: A. J. Ayer, Names and Descriptions

Thomson, James

Project Euclid

Review: Heinrich Scholz, Die Mathematische Logik und die Geisteswissenschaften

Hermes, H.

Project Euclid

Review: Harry V. Stopes-Roe, Some Considerations Concerning "Interpretative Systems."

Kokoszynska, Maria

p. 195-197

Project Euclid

Review: Harold Jeffreys, Scientific Inference

Robinson, Abraham

p. 194-195

Project Euclid

Review: Paul Ziff, Semantic Analysis

Benacerraf, Paul

p. 193-194

Project Euclid

A Note on S5

Castaneda, Hector-Neri

Enderton, Herbert ; Luckham, David

p. 191-192

Project Euclid

Hierarchies Over Recursive Well-Orderings

p. 183-190

Project Euclid

A Note on Quine's Treatment of Transfinite Recursion

Parsons, Charles

p. 179-182

Project Euclid

Effective Operations in a General Setting

Lachlan, A. H.

p. 163-178

Project Euclid

Meeting of the Association for Symbolic Logic

Smullyan, Raymond M.

p. 150-162

Project Euclid

Further Citations

p. 148-149

Project Euclid

Review: A. Daigneault, D. Monk, Representation Theory for Polyadic Algebras

LeBlanc, Leon

Project Euclid

Review: B. A. Trahtenbrot, A. Chauvin, Algorithmes et Machines a Calculer

Leblanc, Hugues

p. 147-148

Project Euclid

Review: Hao Wang, Partial Systems of Number Theory

Orey, Steven

Project Euclid

Review: Gaisi Takeuti, On the Fundamental Conjecture of GLC

Schutte, Kurt

Project Euclid

Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order

Schutte, Kurt

Project Euclid

Review: Gaisi Takeuti, Ordinal Diagrams II

Schutte, Kurt

p. 146-147

Project Euclid

Review: Hartley Rogers, Godel Numberings of Partial Recursive Functions

Davis, Martin

Project Euclid

Review: S. C. Kleene, An Addendum

Robinson, T. Thacher

Project Euclid

Review: Kurt Schutte, Der Interpolationssatz der Intuitionistischen Pradikatenlogik

Harrop, Ronald

p. 145-146

Project Euclid

Review: Bruno Scarpellini, Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz

Rose, Alan

Project Euclid

Review: Arto Salomaa, On Sequences of Functions Over an Arbitrary Domain

Martin, Norman M.

Project Euclid

Review: Alan Rose, Mathematische Annaten; Alan Rose, Comptes rendus hebdomadaires des seances de l'Academie des Sciences; Alan Rose, Zeitschrift fur mathematische logik und Grundlagen der Mathematik

p. 144-145

Project Euclid

Review: William H. Jobe, Functional Completeness and Canonical Forms in Many-valued Logics

p. 143-144

Project Euclid

Further Citations

p. 66-68

Project Euclid

Review: Gilbert Ryle, Formal and Informal Logic

p. 65-66

Project Euclid

Review: Henry B. Veatch, Formalism and/or Intentionality in Logic

Project Euclid

Review: Lewis Carroll, Bertrand Russell, Essays in Logic from Aristotle to Russell

Project Euclid

Review: Richard Montague, Towards a General Theory of Computability

Davis, Martin

p. 63-64

Project Euclid

Review: V. A. Uspenskij, On the Theorem on Uniform Continuity

Onyszkiewicz, J.

p. 62-63

Project Euclid

Review: J. W. Addison, Separation Principles in the Hierarchies of Classical and Effective Descriptive Set Theory; J. W. Addison, The Theory of Hierarchies; J. W. Addison, Some Problems in Hierarchy Theory

Kreider, Donald L.

p. 60-62

Project Euclid

Review: Gerald E. Sacks, On the Degrees Less than 0'

Pour-El, Marian Boykan

Project Euclid

Review: R. Montague, Semantical Closure and Non-Finite Axiomatizability I

Hasenjaeger, G.

p. 59-60

Project Euclid

Review: G. Hasenjaeger, Formales und Produktives Schlie$\beta$en

Muller, Gert Heinz

Project Euclid

Review: Gaisi Takeuti, A Remark on Gentzen's paper "Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-II

Guard, James R.

p. 58-59

Project Euclid

Review: Wolfgang Rautenberg, Unentscheidbarkeit der Euklidischen Inzidenzgeometrie

Szczerba, L. W.

Project Euclid

Review: Julia Robinson, The Undecidability of Algebraic Rings and Fields

Davis, Martin

Mostowski, A. Wlodzimierz

p. 57-58

Project Euclid

Review: N. M. Nagornyj, Uber das Aufsuchen von Isomorphismen Assoziativer Kalkule

Mostowski, A. Wlodzimierz

Project Euclid

Review: P. S. Novikov, S. I. Adan, Das Wortproblem fur Halbgruppen mit Eiseitiger Kurzungsregel

Mostowski, A. Wlodzimierz

Project Euclid

Review: P. S. Novikov, The Unsolvability of the Problem of the Equivalence of Words in a Group and Several Other Problems in Algebra

p. 56-57

Project Euclid

Review: Abraham Robinson, Introduction to Model Theory and the Metamathematics of Algebra

Karp, Carol R.

Project Euclid

Review: Gonzalo Zubieta Russi, Algunos Teoremas en la Teoria de la Cuantificacion Elemental

van Heijenoort, John

Project Euclid

Review: Gonzalo Zubieta R., Clases Aritmeticas Defindas sin Igualdad

van Heijenoort, John

p. 55-56

Project Euclid

Review: Antonio Monteiro, Oscar Varsavsky, Actas de las X jornadas

p. 54-55

Project Euclid

Review: Leon Leblanc, Proceedings of American Mathematical Society

Project Euclid

Review: I. B. Pyne, E. J. McCluskey, An Essay on Prime Implicant Tables

Mott, Thomas H.

p. 52-53

Project Euclid

Review: V. L. Murskij, Equivalent Transformations of Contact Circuit

Blikle, Andrzej

Project Euclid

Review: O. B. Lupanov, On Rectifying and Rectifying-Switching Circuits

p. 51-52

Project Euclid

Review: M. L. Cetlin, Use of Matrix Calculus to Synthesize Relay-Switching Circuits

Project Euclid

Review: V. D. Urin, Simplified Method of Synthesis of Circuits with Stepping Switches

Project Euclid

Review: V. I. Sestakov, Mathematical Logic and Automation

Harland, Andrzej

Project Euclid

Review: Nicholas Reshcer, Quasi-Truth-Functional Systems of Propositional Logic

Rose, Gene F.

p. 50-51

Project Euclid

Review: Gerard O'Hara, Ockham's Razor Today

Project Euclid

Review: Zbigniew Czerwinski, On the Concept of Cause and Mill's Methods

Lejewski, Czeslaw

p. 49-50

Project Euclid

Review: Stanislaw Kaminski, Hobbes' Theory of Definition

Lejewski, Czeslaw

Project Euclid

Review: Arthur E. Murphy, American Philosophy in the Twentieth Century

Church, Alonzo

p. 48-49

Project Euclid

Review: Spiros Simitis, The Problem of Legal Logic

Allen, Layman E.

p. 47-48

Project Euclid

Review: Layman E. Allen, Patricia A. James, Y. Bar-Hillel, Mull

Waddell., W. W.

p. 44-47

Project Euclid

Review: Layman E. Allen, Symbolic Logic: A Razor-edge Tool for Drafting and Interpreting Legal Documents; Layman E. Allen, Gabriel Orechkoff, Toward a More Systematic Drafting and Interpreting of the Internal Revenue code: Expenses, losses and bad debts

Vonneuman, Nicholas A.

p. 43-44

Project Euclid

Review: Anders Wedberg, Some Problems in the Logical Analysis of Legal Science

Allen, Layman E.

Project Euclid

Review: William H. Halberstadt, An Introduction to Modern Logic. An Elementary Textbook of Symbolic Logic

Project Euclid

Review: Arthur Smullyan, Fundamentals of Logic

Kneebone, G. T.

p. 41-43

Project Euclid

Review: Robert R. Stoll, Set Theory and Logic

Kneebone, G. T.

p. 40-41

Project Euclid

Some Results for Implicational Calculi

Bull, R. A.

p. 33-39

Project Euclid

Two Additions to Positive Implication

Prior, A. N.

p. 31-32

Project Euclid

Systems of Predicative Analysis

Feferman, Solomon