J. Symbolic Logic, Tome 25 (1960)

Project Euclid

Review: C. Y. Lee, W. H. Chen, Several-Valued Combinatorial Switching Circuits

Project Euclid

Review: Hakan Tornebohm, Notes on Modal Operators

Project Euclid

Review: A. Mostowski, On Computable Sequences

Project Euclid

Review: A. Mostowski, Contribution to the Theory of Definable Sets and Functions

Project Euclid

Review: G. Kreisel, Non-Uniqueness Results for Transfinite Progressions

Monk, Donald

Project Euclid

Review: Richard Friedberg, The Uniqueness of Finite Division for Recursive Equivalence Types

Pour-El, Marian Boykan

Project Euclid

Review: Hillary Putnam, R. M. Smullyan, Exact Separation of Recursively Enumerable Sets Within Theories

Hanf, William

Project Euclid

Review: Azriel Levy, On Ackermann's Set Theory

Ackermann, W.

Project Euclid

Review: J. R. Shoenfield, On the Independence of the Axiom of Constructibility

Project Euclid

Review: Azriel Levy, Independance Conditionnelle de V = L et d'Axiomes qui se Rattachent au Systeme de M. Godel

Shepherdson, J. C.

Project Euclid

Review: Andras Hajnal, Laszlo Kalmar, An Elementary Combinatorial Theorem with an Application to Axiomatic Set Theory; E. Burger, Eine Bemerkung zur Bernays-Godel-Mengenlehre

Project Euclid

Review: Dana Scott, Completeness Proofs for the Intuitionistic Sentential Calculus

Project Euclid

Review: Kurt Godel, Uber eine Bisher noch nicht Benutzte Erweiterung des Finiten Standpunktes

Project Euclid

Review: Abraham A. Fraenkel, Paul Bernays und die Begrundung der Mengenlehre

Project Euclid

Review: Wilhelm Ackerman, Uber die Beziehung Zwischen Strikter und Strenger Implikation

Project Euclid

Review: Nicholas Rescher, Logical Analysis in Historical Application

Moody, Ernest A.

Project Euclid

Review: A. N. Prior, Formalized Syllogistic

Johnstone, Henry W.

Project Euclid

[Omnibus Review]

Project Euclid

Review: A. N. Prior, Time after Time

Project Euclid

Review: A. N. Prior, Diodorus and Modal Logic: A Correction

Project Euclid

Review: Haskell B. Curry, Some Logical Aspects of Grammatical Structure

Hillman, Donald J.

Project Euclid

Review: Raili Kauppi, Some Problems of Intensional Logic

Hintikka, K. J. J.

Project Euclid

Review: Max Black, Necessary Statements and Rules

Project Euclid

Review: John J. Morrison, The Existential Import of a Proposition in Aristotelian Logic

Johnstone, Henry W.

Project Euclid

Review: Joseph Gerard Brennan, A Handbook of Logic

Fitch, F. B.

Project Euclid

Review: A. D. Talancey, On the Analysis of Potential-Pulse Networks Using Special Transition Operators

Szeptycki, Pawel

Project Euclid

Review: Tatsuki Watanabe, Soichiro Suto, The Theory of Analysis of Sequential Time Switching Circuits

Itoh, Makoto

Project Euclid

Review: David E. Muller, Complexity in Electronic Switching Circuits

Moore, Edward F.

Project Euclid

Review: B. Dunham, R. Fridshal, The Problem of Simplifying Logical Expressions

McCluskey, E. J.

Project Euclid

Review: Henry Hiz, Extendible Sentential Calculus

Turquette, A. R.

Project Euclid

Review: Toshio Umezawa, On an Application of Intermediate Logics

Project Euclid

Review: Takeo Sugihara, A Three-Valued Logic with Meaning-Operator

Project Euclid

Review: Jean-Louis Destouches, Paulette Fevrier, Remarques sur Certains Aspects Formels des Theories Physiques; M. Frechet, J.-L. Destouches, G. Bouligand, E. W. Beth, P. Fevrier, Interventions

Project Euclid

Review: J. Porte, Recherches sur les Logiques Modales

Project Euclid

Review: Robert Feys, Expression de la Verifiabilite Experimentale dans le Raisonnement Formalise; J.-L. Destouches, J. Porte, E. W. Beth, A. Tarski, P. Bernays, Interventions

Project Euclid

Review: Roger Martin, Sur les Notions Intuitives Mises en Oeuvre par la Constitution et l'etude d'un Systeme Formel

Project Euclid

Review: E. W. Beth, Construction Semantique de la Logique Intuitioniste; A. Heyting, Intervention; A. Heyting, La Theorie Elementaire de l'Integration en Mathematiques Intuitionnistes

Project Euclid

Review: H. Arnold Schmidt, Un Procede Maniable de Decision pour la Logique Propositionelle Intuitionniste; A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys, Interventions

Project Euclid

Review: Paul Bernays, Remarques sur le Probleme de la Decision en Logique Elementaire

Project Euclid

Review: Ettore Casari, Computabilita e Ricorsivita. Problemi di Logica Matematica

Conte, Amedeo G.

Project Euclid

Review: Stig Kanger, Handbok i Logik. Del I. Logisk Konsekvens

Svenonius, Lars

Project Euclid

Review: Jean Ladriere, Les Limitations Internes des Formalismes. Etude sur la Signification du Theoreme de Godel et des Theorems Apparentes dans la Theorie des Fondements des Mathematiques

Monk, Donald

Project Euclid

Review: E. W. Beth, Les Fondements Logiques des Mathematiques

Project Euclid

Review: Albert Menne, Was ist und was Kann Logistik

Blanche, Robert

Project Euclid

Review: Leonidas Hegenberg, Determinacao de Silogismos Legitimos

Castaneda, Hector-Neri

Project Euclid

Review: A. J. Ayer, The Vienna Circle

Project Euclid

Review: D. F. Pears, Logical Atomism: Russell and Wittgenstein

Project Euclid

Review: W. C. Kneale, Gottlob Frege and Mathematical Logic

Project Euclid

Review: Tadeusz Kotarbinski, La Logique en Pologne. Son Originalite et les Influences Etrangeres

Czezowski, Tadeusz

Project Euclid

Review: Stafford Beer, Cybernetics and Management

Martin, Norman M.

Project Euclid

Review: Frank Restle, Psychology of Judgment and Choice: A Theoretical Essay

Project Euclid

Review: Jerome Rothstein, C. A. Muses, Communication, Organization and Science

Henkin, Leon

Project Euclid

Review: Henri Soubies-Camy, L'algebre Logique Appliquee aux Techniques Binaires

Jeffrey, Richard C.

Project Euclid

Review: V. F. D'Acenko, On Analysis of Complicated Switching Circuits

Project Euclid

Review: Warren Semon, Synthesis of Series-Parallel Network Switching Functions

Mott, Thomas H.

Project Euclid

Review: Ichizo Ninomiya, A Theory of the Coordinate Representation of Switching Functions

Seshu, S.

Project Euclid

Review: Albert A. Mullin, Wayne G. Kellner, A Residue Test for Boolean Functions

McCluskey, E. J.

Project Euclid

Review: Gustav Bergmann, The Representations of S5

Yonemitsu, Naoto

Project Euclid

Review: Moh Shaw-Kwei, On the Explicit Form of General Recursive Functions

Project Euclid

Review: Moh Shaw-Kwei, On the Definition of Primitive Recursive Functions

Project Euclid

Review: Moh Shaw-Kwei, On the Explicit Form of Number-Theoretic Functions

Project Euclid

Review: Moh Shaw-Kwei, About the Rules of Procedure

Project Euclid

Review: Moh Shaw-Kwei, Simplified Introduction to Intuitionistic Logic

Project Euclid

Review: Ronald Harrop, The Finite Model Property and Subsystems of Classical Propositional Calculus

Project Euclid

Review: Toshio Umezawa, On Intermediate Propositional Logics

Ackermann, W.

Project Euclid

Review: I. L. Gal, J. B. Rosser, D. Scott, Generalization of a Lemma of G. F. Rose

Project Euclid

Review: A. Levy, The Independence of Various Definitions of Finiteness

Mostowski, Andrzej

Project Euclid

Review: R. Montague, R. L. Vaught, Natural Models of Set Theories

Mendelson, Elliott

Project Euclid

Review: Gunter Asser, Karl Schroter, Axiomatisierung der K-zahlig Allgemeingultigen Ausdrucke des Stufenkalkuls

Hailperin, Theodore

Project Euclid

Review: Abraham Robinson, A Result on Consistency and Its Application to the Theory of Definition

Craig, William

Project Euclid

Review: Abraham Robinson, Some Problems of Definability in the Lower Predicate Calculus

Project Euclid

Review: Abraham Robinson, Ordered Structures and Related Concepts

Project Euclid

Review: Michael O. Rabin, Arithmetical Extensions with Prescribed Cardinality

Frayne, Thomas

Project Euclid

Review: C. C. Chang, On Unions of Chains of Models

Project Euclid

Review: Jerzy Los, Quelques Remarques, Theoremes et Problemes sur les Classes Definissables d'Algebres

Schutte, Kurt

Project Euclid

Review: Paul R. Halmos, Predicates, Terms, Operations, and Equality in Polyadic Boolean Algebras

Fraisse, Roland

Project Euclid

Review: J. R. Shoenfield, Quasicreative Sets

Nerode, A.

Project Euclid

Review: Richard M. Friedberg, A Criterion for Completeness of Degrees of Unsolvability

Pour-El, Marian Boykan

Project Euclid

Review: Raymond M. Smullyan, Undecidability and Recursive Inseparability

Project Euclid

Review: Francois Paycha, Epistemologie et Mecanisation du Diagnostic et de la Therapeutique. La Logique Ternaire

Project Euclid

Review: Heinz Zemanek, Une Machine Pour l'Algebre des Contacts

Project Euclid

Review: Jean Porte, Une Simplification de la Theorie de Turing

Project Euclid

Review: Stafford Beer, Operational Research and Cybernetics

Martin, Norman M.

Project Euclid

Review: Newton Carneiro Affonso da Costa, Nota Sobre o Conceito de Contradicao; Newton Carneiro Affonso da Costa, Nota Sobre a Logica de Brouwer-Heyting; Newton Carneiro Affonso da Costa, Uma Questao de Filosofia da Matematica

Ribeiro, Hugo

Project Euclid

Review: D. Hilbert, W. Ackermann, Grundzuge der Theoretischen Logik

Fischer, F. H.

Project Euclid

Review: Alfred Tarski, Y. Bar-Hillel, E. I. J. Poznanski, Introduction to Logic

Project Euclid

The Sentential Calculus Using Rule of Inference $R_e$

Angell, R. B.

Project Euclid

Review: Georges Kalinowski, Y a-t-il Une Logique Juridique?

Project Euclid

[Omnibus Review]

Project Euclid

Review: Uberto Scarpelli, La Definition en Droit

Project Euclid

Review: Kazimierz Ajdukiewicz, Three Concepts of Definition

Project Euclid

Review: J. H. Woodger, Formalization in Biology

Project Euclid

Review: Jaakko Hintikka, Existential Presuppositions and Existential Commitments

Project Euclid

Review: A. N. Prior, Peirce's Axioms for Propositional Calculus

Fitch, Frederic B.

Project Euclid

Review: Hugues Leblanc, Evidence Logique et Degre de Confirmation

Project Euclid

Review: Charles Parsons, Herbert R. Kohl, Self-Reference, Truth, and Provability

Project Euclid

Review: R. M. Martin, On Inscriptions and Concatenation

Project Euclid

Review: Jack Kaminsky, Church on Ontological Commitment

Thomson, J. F.

Project Euclid

Review: G. J. Warnock, Symposium: Reducibility. II

Project Euclid

Review: J. F. Thomson, Symposium: Reducibility. I

Project Euclid

Review: Johan Galtung, Expectations and Interaction Processes

Anderson, Alan Ross

Project Euclid

Review: Hans Skjervheim, Reason in Society and Modern Logic; Jens Erik Fenstad, Notes on the Application of Formal Methods in the Soft Sciences

Anderson, Alan Ross

Project Euclid

Review: Augustin Sesmat, Logique. I. Les Definitions, Les Jugements; Augustin Sesmat, Logique. II. Les Raisonnements, la Logistique

van Heijenoort, John

Project Euclid

Review: Andre Darbon, Les Categories de la Modalite

Feys, Robert

Project Euclid

Review: Peter Fireman, Perceptualistic Theory of Knowledge

Project Euclid

Review: Maylon H. Hepp, Thinking Things Through. An Introduction to Logic

Project Euclid

Review: Reuben Abel, The Pragmatic Humanism of F. C. S. Schiller

Project Euclid

Review: Tadeusz Kotarbinski, Jan Lukasiewicz's Works on the History of Logic

Project Euclid

Review: Robert Blanche, Vues Nouvelles sur L'Ancienne Logique

Project Euclid

Theory of Models with Generalized Atomic Formulas

Keisler, H. Jerome

p. 1-26

Project Euclid

Concerning Formulas of the Types $A \rightarrow B \vee C, A \rightarrow (Ex)B(x)$

Harrop, Ronald

p. 27-32

Project Euclid

Splinters of Recursive Functions

Ullian, J. S.

p. 33-38

Project Euclid

Sentences True in All Constructive Models

Vaught, R. L.

p. 39-53

Project Euclid

Corrections to a Theory of Restricted Quantification

Hailperin, Theodore

p. 54-56

Project Euclid

Review: I. M. Bochenski, Formale Logik

Mates, Benson

p. 57-62

Project Euclid

Review: Tadeusz Kotarbinski, Outlines of the History of Logic

Rand, Rose

p. 62-63

Project Euclid

Review: Boleslaw Sobocinski, La Genesis de la Escuela Polaca de Logica

Mora, Jose Ferrater

p. 63-64

Project Euclid

Review: L. Borkowski, J. Slupecki, The Logical Works of J. Lukasiewicz

p. 64-65

Project Euclid

Review: H. Seifert, Gedenken an Heinrich Scholz; Carl Heinz Ratschow, Heinrich Scholz, der Theologe und der Christ; Hans Hermes, Heinrich Scholz, die Personlichkeit und sein Werk als Logiker

p. 65-66

Project Euclid

Review: Gunther Patzig, Logik

p. 66-67

Project Euclid

Review: Gunther Patzig, Logistik

p. 67-68

Project Euclid

Review: Harald Delius, Positivismus und Neopositivismus

p. 68-69

Project Euclid

Review: Wolfgang Stegmuller, Wissenschaftstheorie

p. 69-70

Project Euclid

Review: Evert W. Beth, Introduction a la Philosophie des Sciences Exactes

p. 70-71

Project Euclid

Review: Rudolf Carnap, The Methodological Character of Theoretical Concepts; Rudolf Carnap, Beobachtungssprache und Theoretische Sprache

Bar-Hillel, Yehoshua

p. 71-74

Project Euclid

Review: Mary B. Hesse, Science and the Human Imagination. Aspects of the History and Logic of Physical Science; Mary B. Hesse, On Defining Analogy

Bennett, Jonathan

p. 74-75

Project Euclid

Review: Colin Cherry, On Human Communication: A Review, A Survey, and a Criticism

Hillman, Donald J.

p. 75-76

Project Euclid

Review: P. H. Nidditch, Introductory Formal Logic of Mathematics

Muller, Gert Heinz

p. 77-78

Project Euclid

Review: J. M. Bochenski, A Precis of Mathematical Logic

Martin, Norman M.

p. 78-79

Project Euclid

Review: Hector Neri Castaneda, The Logic of Obligation; Alan Ross Anderson, On the Logic of "Commitment."

Lemmon, E. J.

p. 79-80

Project Euclid

Review: Hans Reichenbach, The Syllogism Revised

p. 80-81

Project Euclid

Review: C. W. Webb, The Antinomy of Individuals

p. 81-82

Project Euclid

Review: R. B. Braithwaite, Symposium: Reducibility. III

p. 82-83

Project Euclid

Review: William W. Rozeboom, The Logic of Color Words

Watling, J.

p. 83-84

Project Euclid

Review: R. M. Martin, On Inscriptions

p. 84-85

Project Euclid

Review: L. Goddard, `True' and `Provable'

p. 85-86

Project Euclid

Review: Hugues Leblanc, On Logically False Evidence Statements

p. 86-87

Project Euclid

Review: Hugues Leblanc, Theodore Hailperin, Nondesignating Singular Terms

p. 87-88

Project Euclid

Review: K. J. J. Hintikka, Towards a Theory of Definite Descriptions

p. 88-89

Project Euclid

Review: Haskell B. Curry, On Definitions in Formal Systems

p. 89-90

Project Euclid

Review: Alf Ross, Definition in Legal Language

p. 90-91

Project Euclid

Further Citations

p. 91-92

Project Euclid

Twenty-Fifth Annual Meeting of the Association for Symbolic Logic

Nelson, David

p. 93-96

Project Euclid

Bases for First-Order Theories and Subtheories

Craig, William

p. 97-142

Project Euclid

Entailment and Relevance

p. 144-146

Project Euclid

A Generalization of Godel's Notion of Constructibility

p. 147-155

Project Euclid

Review: Alfred Tarski, Ordinal Algebras

Ribeiro, Hugo

p. 156-158

Project Euclid

Review: Karl Menger, The Basic Concepts of Mathematics. A Companion to Current Textbooks on Algebra and Analytic Geometry. Part I. Algebra

Yourgrau, Wolfgang

p. 158-160

Project Euclid

Review: Setsuya Seki, Report of a Symposium

Takeuti, Gaisi

p. 160-161

Project Euclid

Review: Sara Turing, Alan M. Turing

Skolem, Th.

p. 161-162

Project Euclid

[Omnibus Review]

Elgot, Calvin C.

p. 163-164

Project Euclid

Review: Laszlo Kalmar, The Solution of a Problem of K. Schroter, Concerning the Definition of General Recursive Functions

Kemeny, John G.

p. 164-165

Project Euclid

Review: Richard M. Friedberg, Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication

Pour-El, Marian Boykan

p. 165-166

Project Euclid

Review: R. L. Goodstein, The Recursive Irrationality of $\pi$

Nerode, A.

p. 166-167

Project Euclid

Review: Paul Axt, On a Subrecursive Hierarchy and Primitive Recursive Degrees

Peter, Rozsa

p. 167-168

Project Euclid

Review: Abraham Robinson, On Predicates in Algebraically Closed Fields

p. 169-170

Project Euclid

Review: Abraham Robinson, Completeness and Persistence in the Theory of Models

p. 170-171

Project Euclid

Review: Abraham Robinson, Complete Theories

Vaught, Robert L.

p. 172-174

Project Euclid

Review: Theodore Hailperin, A Theory of Restricted Quantification

Lehman, R. Sherman

p. 175-176

Project Euclid

Review: Gisbert Hasenjaeger, Zur Axiomatisierung der K-zahlig Allgemeingultigen Ausdrucke des Stufenkalkuls

p. 176-177

Project Euclid

Review: R. Montague, R. L. Vaught, A Note on Theories with Selectors

Mendelson, Elliott

p. 177-178

Project Euclid

Review: Elliott Mendelson, The Axiom of Fundierung and the Axiom of Choice

Scott, Dana

p. 178-179

Project Euclid

Review: Jean Porte, Schemas Pour le Calcul des Propositions Fonde sur la Conjonction et la Negation

Leblanc, Hugues

p. 179-180

Project Euclid

Review: R. Harrop, On the Existence of Finite Models and Decision Procedures for Propositional Calculi

p. 180-181

Project Euclid

Review: Moh Shaw-Kwei, Axiomatization of Many-Valued Logical Systems

p. 181-182

Project Euclid

Review: Moh Shaw-Kwei, Some Axiom Systems for Propositional Calculus

p. 182-183

Project Euclid

Review: Moh Shaw-Kwei, Modal Systems with a Finite Number of Modalities

Yonemitsu, Naoto

p. 183-184

Project Euclid

Review: Moh Shaw-Kwei, Modal Systems with a Finite Number of Modalities; M. C. Badillo Barallat, Esquemas Representativos de Sistemas Regidos por una Logica Polivalente

Heijenoort, John Van

p. 184-185

Project Euclid

Review: Ichizo Ninomiya, On the Number of Types of Symmetric Boolean Output Matrices

Seshu, S.

p. 185-187

Project Euclid

Review: M. A. Gavrilov, Minimization of Boolean Functions That Characterize Switching Circuits

Szeptycki, Pawel

p. 188-189

Project Euclid

Review: V. N. Roginskij, Operation of Switching Circuits in Transitional Periods

p. 189-190

Project Euclid

Review: Richard C. Jeffrey, Arithmetical Analysis of Digital Computing Nets

McCluskey, E. J.

p. 190-191

Project Euclid

Further Citations

p. 191-192

Project Euclid

A Formalisation of Referentially Opaque Contexts

Cohen, L. Jonathan

p. 193-202

Project Euclid

A Theorem Concerning the Composition of Functions of Several Variables Ranging Over a Finite Set

Salomaa, Arto

p. 203-208

Project Euclid

An Extension of a Theorem of Margaris

Rose, Alan

p. 209-211

Project Euclid

On the Definition of an Infinitely-Many-Valued Predicate Calculus

Rutledge, Joseph D.

p. 212-216

Project Euclid

Full Classes and Ordinals

Stein, Sherman K.

p. 217-219

Project Euclid

An Unsolvable Problem in Number Theory

Putnam, Hilary

p. 220-232

Project Euclid

Degrees of Models

Shoenfield, J. R.

p. 233-237

Project Euclid

On Requirements for Conditional Probability Functions

Leblanc, Hugues

p. 238-242

Project Euclid

Review: Kurt Schutte, Beweistheorie

Kreisel, Georg

p. 243-249

Project Euclid

Review: Jose Ferrater Mora, Diccionario de Filosofia

van Heijenoort, John

p. 249-250

Project Euclid

Review: Nelson Goodman, Fact, Fiction, & Forecast

Martin, R. M.

p. 250-251

Project Euclid

Review: Henryk Mehlberg, The Reach of Science

Poznanski, Edward

p. 251-255

Project Euclid

Review: Gustav Bergmann, Philipp G. Frank, Sense and Nonsense in Operationism; Carl G. Hempel, A Logical Appraisal of Operationism

Turquette, Atwell R.

p. 255-256

Project Euclid

Review: Jean Piaget, Logic and Psychology

Hempel, Carl G.

p. 256-257

Project Euclid

Review: Anders Wedberg, Filosofins Historia. Antiken och Medeltiden

Skolem, Th.

p. 258-259

Project Euclid

Review: Lennart Aqvist, The Moral Philosophy of Richard Price

Cresswell, M. J.

p. 259-260

Project Euclid

Review: A. J. Ayer, W. C. Kneale, G. A. Paul, D. F. Pears, P. F. Strawson, G. J. Warnock, R. A. Wollheim, The Revolution in Philosophy

Mora, Jose Ferrater

p. 260-261

Project Euclid

Review: P. F. Strawson, Construction and Analysis

p. 261-262

Project Euclid

[Omnibus Review]

Anderson, Alan Ross

p. 262-263

Project Euclid

Review: A. N. Prior, Symmetry, Transitivity and Reflexivity

p. 263-264

Project Euclid

Review: Lewis Carroll, Edmund C. Berkeley, Symbolic Logic and The Game of Logic

p. 264-265

Project Euclid

Review: Shia Moser, Some Remarks about Imperatives

Castaneda, Hector-Neri

p. 265-266

Project Euclid

Review: Karl Menger, What are x and y?

Vaughan, H. E.

p. 266-267

Project Euclid

Review: Karl Menger, New Approach to Teaching Intermediate Mathematics

Vaughan, H. E.

p. 267-268

Project Euclid

Review: Oskar Becker, Grundlagen der Mathematik in Geschichtlicher Entwicklung

Ackerman, W.

p. 268-269

Project Euclid

Review: Karel Louis de Bouvere, A Method in Proofs of Undefinability, with Applications to Functions in the Arithmetic of Natural Numbers

Muller, Gert H.

p. 271-273

Project Euclid

Review: Roger C. Lyndon, An Interpolation Theorem in the Predicate Calculus

Taitslin, M. A.

p. 273-274

Project Euclid

Review: Janos Suranyi, Reduktionstheorie des Entscheidungsproblems im Pradikatenkalkul der Ersten Stufe

Wholey, Joseph S.

p. 274-276

Project Euclid

Review: G. Asser, Einfuhrung in die Mathematische Logik. Teil I. Aussagenkalkul

Hermes, H.

p. 276-277

Project Euclid

Review: Patrick Suppes, Axiomatic Set Theory

Borgers, Alfons

p. 277-278

Project Euclid

Review: Robert R. Stoll, Sets, Logic, and Axiomatic Theories

Borgers, Alfons

p. 278-279

Project Euclid

Review: S. C. Kleene, Extension of an Effectively Generated Class of Functions by Enumeration

Tait, William W.

Comey, David D. ; Rosser, J. Barkley

p. 279-280

Project Euclid

Review: Stephen Cole Kleene, A. S. Esenin-Vol'pin, V. A. Uspenskij, Vvedenie v Metamatematiku

p. 280-282

Project Euclid

Review: H. Weyl, Das Kontinuum

Lorenzen, P.

p. 282-284

Project Euclid

Review: Albert Chatelet, Allocution Prononcee par M. A. Chatelet; Th. Skolem, Une Relativisation des Notions Mathematiques Fondamentales; A. Tarski, M. Krasner, A. Mostowski, R. de Possel, Interventions

Review: Roland Fraisse, Sur une Extension de la Polyrelation et des Parentes Tirant son Origine du Calcul Logique de keme Echelon; Rene de Possel, Roland Fraisse, Hypotheses de la Theorie des Relations qui Permettent d'Associer, a un bon ordre d'un ensemble, un bon ordre, defini sans ambiguite, de l'ensemble de ses parties; A. Tarski, A. Mostowski, Interventions

p. 284-285

Project Euclid

p. 285-286

Project Euclid

Review: Daniel Lacombe, Sur les Possibilites d'Extension de la Notion de Fonction Recursive aux Fonctions d'une au Plusiers Variables Reelles; G. Bouligand, Intervention

p. 286-287

Project Euclid

Review: F. Gonseth, Sur la Methodologie des Recherches sur les Fondements des mathematiques

p. 287-288

Project Euclid

[Omnibus Review]

Bar-Hillel, Y.

p. 288-289

Project Euclid

Review: Hilary Putnam, Three-Valued Logic; Paul Feyerabend, Reichenbach's Interpretation of quantum-Mechanics; Isaac Levi, Putnam's three Truth Values

Henkin, Leon

p. 289-291

Project Euclid

Review: Arto Salomaa, On Many-Valued Systems of Logic; Arto Salomaa, On the Composition of Functions of Several Variables Ranging over a Finite Set

Turquette, Atwell R.

p. 291-293

Project Euclid

[Omnibus Review]

Harrop, Ronald

p. 293-296

Project Euclid

[Omnibus Review]

Hintikka, Jaakko

p. 296-297

Project Euclid

Review: Toshio Umezawa, On Some Properties of Intermediate Logics

p. 297-298

Project Euclid

Review: Gerold Stahl, An Opposite and an Expanded System

p. 298-299

Project Euclid

Review: Carl Lyngholm, Wolfgang Yourgrau, A Double-Iteration Property of Boolean Functions

Wernick, William

p. 299-300

Project Euclid

Review: M. Kochen, Extension of Moore-Shannon Model for Relay Circuits

Seshu, S.

p. 300-301

Project Euclid

Review: David A. Huffman, The Design and Use of Hazard-Free Switching Networks

Moore, Edward F.

p. 301-302

Project Euclid

Review: V. K. Korobkov, Realization of Symmetric Function in the Class of II (Series-Parallel) Circuits

p. 302-303

Project Euclid

Syntactical and Semantical Properties of Simple Type Theory

Schutte, Kurt

p. 305-326

Project Euclid

On Formulas of One Variable in Intuitionistic Propositional Calculus

Nishimura, Iwao

p. 327-331

Project Euclid

Review: Robert Charles Marsh, Bertrand Russell, R. C. Marsh, The Logic of Relations

Thomson, J. F.

p. 332-333

Project Euclid

Review: Arthur Pap, Types and Meaninglessness

Gandy, R. O.

p. 333-334

Project Euclid

[Omnibus Review]

Holdcroft, D.

p. 334-336

Project Euclid

[Omnibus Review]

Dummett, Michael

p. 336-339

Project Euclid

Review: Henry E. Kyburg, The Justification of Deduction

p. 339-340

Project Euclid

Review: Jan Berg, Some Problems Concerning Disposition Concepts

Hempel, Carl G.

p. 340-341

Project Euclid

Review: J. F. Staal, The Construction of Formal Definitions of Subject and Predicate

Hillman, Donald J.

p. 341-342

Project Euclid

Review: A. N. Prior, Time and Modality. Being the John Locke Lectures for 1955-6 Delivered in the University of Oxford

p. 342-343

Project Euclid

Review: John Turk Saunders, A Sea Fight Tomorrow?

Butler, Ronald J.

p. 343-344

Project Euclid

Review: R. D. Bradley, Must the Future be What it is Going to Be?; P. Wolff, Truth, Futurity and Contingency

Butler, Ronald J.

p. 344-345

Project Euclid

Review: Nicholas Rescher, A Ninth-Century Arabic Logician On: Is Existence a Predicate?

Moody, Ernest A.

p. 345-346

Project Euclid

Review: Soren Hallden, Kants Kritik des Ontologischen Gottesbeweises

Moody, Ernest A.

p. 346-347

Project Euclid

Review: Johannes Bendiek, Zur Logischen Struktur der Gottesbeweise

Thomas, Ivo

p. 347-348

Project Euclid

Review: Francesca Rivetti Barbo, La Struttura Logica della Prima via per Provare l'Esistanza di Dil: Applicazioni di Logica Simbolica e Nessi di Contenuti

Thomas, Ivo

p. 348-349

Project Euclid

Review: Evert W. Beth, "Cogito ergo sum"--Raisonnement ou Intuition?

p. 349-350

Project Euclid

Review: Evert W. Beth, Hugues Leblanc, A Note on the Intuitionist and the Classical Propositional Calculus

Robinson, T. Thacher

p. 351-352

Project Euclid

Review: Hanfried Lenz, Zur Axiomatik der Zahlen

Germansky, B.

p. 352-353

Project Euclid

Review: Robert McNaughton, Some Formal Relative Consistency Proofs

p. 353-354

Project Euclid

Review: Herbert A. Simon, Definable Terms and Primitives in Axiom Systems

p. 355-356

Project Euclid

[Omnibus Review]

Kreider, Donald L.

p. 356-359

Project Euclid

Review: Anil Nerode, Extensions to Isols

Dekker, J. C. E.

p. 359-361

Project Euclid

Review: John Myhill, Recursive Digraphs, Splinters, and Cylinders

Nerode, A.

p. 361-362

Project Euclid

Review: Richard M. Friedberg, Hartley Rogers, Reducibility and Completeness for Sets of Integers

Sacks, Gerald E.

p. 362-363

Project Euclid

Review: Hartley Rogers, Computing Degrees of Unsolvability

Orey, Steven

p. 363-364

Project Euclid

Review: A. Mostowski, Examples of Sets Definable by Means of Two and Three Quantifiers

p. 364-365

Project Euclid

Review: A. Mostowski, On a Generalization of Quantifiers

p. 365-366

Project Euclid

Review: Hakan Tornebohm, Outlines of a Boolean Tensor Algebra with Applications to the Lower Functional Calculus

p. 367-368

Project Euclid

Review: R. H. Urbano, R. K. Mueller, A Topological Method for the Determination of the Minimal Forms of a Boolean Function

Mott, Thomas H.

Review: J. Paul Roth, Two Logical Minimization Problems; J. Paul Roth, Algebraic Topological Methods for the Synthesis of Switching Systems. II; J. Paul Roth, E. G. Wagner, Algebraic Topological Methods for the Synthesis of Switching Systems. III. Minimization of Nonsingular Boolean Trees

p. 368-370

Project Euclid

Mott, Thomas H.

p. 370-373

Project Euclid

Review: Hao Wang, Circuit Synthesis by Solving Sequential Boolean Equations

Elgot, Calvin C.

p. 373-375

Project Euclid

Review: Alan Rose, Un Multiplicateur Ultrarapide

Nelson, R. J.

p. 375-376

Project Euclid

Further Citations

p. 376-383

Project Euclid

Twenty-Sixth Annual Meeting of the Association for Symbolic Logic

p. 384-393

Project Euclid

List of Officers and Members of the Association for Symbolic Logic