J. Symbolic Logic, Tome 23 (1958)

Project Euclid

Review: M. A. Gavrilov, Selecting in Relay Networks Paths Energizing a given Effector

Project Euclid

Review: M. A. Gavrilov, Synthesis of Bridge-Type Relay Circuits with Given Resistance Conditions

Project Euclid

Review: Ludwig Wittgenstein, Tractatus Logico-Philosophicus

Project Euclid

Review: V. N. Roginskij, Calculation of the Unutilized States in the Synthesis of Switching Circuits

Wakulicz, A.

Project Euclid

Review: Ray H. Dotterer, Formal Logic and the "Fringe."; W. T. Parry, Reply to Professor Dotterer

van Heijenoort, John

Project Euclid

Review: H. Wendelin, Ein Kriterium fur die Erweiterbarkeit einer Implikation zu Einer Aquivalenz

Project Euclid

Review: Waclaw Sierpinski, Hypothese du Continu

Project Euclid

Review: A. Mostowski, On a Generalization of Quantifiers

Project Euclid

Review: G. Kreisel, H. Putnam, Eine Unableitbarkeitsbeweismethode fur den Intuitionistischen Aussagenkalkul

Robinson, T. Thacher

Project Euclid

Review: Paul R. Halmos, Polyadic Boolean Algebras

Project Euclid

Review: Th. Skolem, Some Considerations Concerning Recursive Arithmetic

Rice, H. G.

Project Euclid

Review: Th. Skolem, The Logical Background of Arithmetic

Rice, H. G.

Project Euclid

Review: Paul R. Halmos, The Basic Concepts of Algebraic Logic

Project Euclid

Review: Laszlo Kalmar, Uber Ein Problem, Betreffend die Definition des Begriffes der Allgemein-Rekursiven Funktion

Axt, Paul

Project Euclid

Review: Daniel Lacombe, Sur le Semi-Reseau Constitue par les Degres d'Indecidabilite Recursive

Rogers, Hartley

Project Euclid

Review: N. D. Gautam, The Validity of Equations of Complex Algebras

Robinson, Abraham

Project Euclid

Review: Michael O. Rabin, Effective Computability of Winning Strategies

Suppes, Patrick

Project Euclid

Review: Heinrich Behmann, Ein Logischer Abakus

Rose, Gene F.

Project Euclid

Review: Roger Martin, Les Idees Actuelles sur la Structure de la Pensee Logique

van Heijenoort, John

Project Euclid

Review: Le R. P. Dubarle, Initiation a la Logique

van Heijenoort, John

Project Euclid

Review: S. Jaskowski, Undecidability of First Order Sentences in the Theory of Free Groupoids

Ackermann, W.

Project Euclid

Review: A. Heyting, Les Fondements des Mathematiques. Intuitionnisme. Theorie de la Demonstration

Project Euclid

Review: Antonio Monteiro, Axiomes Independants pour les Algebres de Brouwer

Gericke, Helmuth

Project Euclid

Review: A. Heyting, Logique et Intuitionnisme

Henkin, Leon

Project Euclid

Review: E. W. Beth, Reflexions sur l'Organisation et la Methode de l'Enseignement Mathematique

Henkin, Leon

Project Euclid

Review: Robert G. Turnbull, A Note on Mr. Hare's "Logic of Imperatives."

Prior, A. N.

Project Euclid

Review: Paul Weiss, The Paradox of Necessary Truth, Once More

Project Euclid

Review: Alonzo Church, Binary Recursive Arithmetic

Robinson, Julia

Project Euclid

Review: John G. Kemeny, J. Laurie Snell, Gerald L. Thompson, Introduction to Finite Mathematics

Bausch, Augustus F.

Project Euclid

Review: Stig Kanger, On the Characterization of Modalities

Fischer, F. H.

Project Euclid

Review: Herbert L. Searles, Logic and Scientific Methods. An Introductory Course

Project Euclid

Review: Gunter Asser, Uber die Ausdrucksfahigkeit des Pradikatenkalkuls der Ersten Stufe mit Funktionalen

Ackermann, Wilhelm

Project Euclid

Review: M. A. Gawrilow, Relaisschalttechnik fur Stark- und Schwachstromanlagen

Moore, E. F.

Project Euclid

Review: Leon Henkin, A Generalization of the Notion of $\omega$-Consistency

Project Euclid

Professor Goodstein's Formalisation of the Policeman

Cohen, L. Jonathan

Project Euclid

Review: Jean Porte, Un Systeme de Postulats pour le Calcul des Predicats

Quine, W. V.

Project Euclid

Review: George E. Collins, Distributivity and an Axiom of Choice

Orey, Steven

Project Euclid

Review: A. Mostowski, On a System of Axioms which has no Recursively Enumerable Arithmetic Model; A. Mostowski, A Formula with no Recursively Enumerable Model

Hasenjaeger, G.

Project Euclid

Review: M. A. Gavrilov, Relay Networks with Rectifiers; D. R. Brown, N. Rochester, Rectifier Network for Multiposition Switching

Project Euclid

Review: M. A. Gavrilov, Methods of Synthesis of Relay-Contact Networks

Project Euclid

Review: Yasuo Komamiya, Theory of Computing Relay-Networks

Elgot, Calvin C.

Project Euclid

Review: James T. Culbertson, Mathematics and Logic for Digital Devices

McCluskey, E. J.

Project Euclid

Review: Georg Kreisel, Daniel Lacombe, Joseph R. Shoenfield, Fonctionnelles Recursivement Definissables et Fonctionnelles Recursives

Davis, Martin

Project Euclid

Review: H. G. Rice, On Completely Recursively Enumerable Classes and Their Key Arrays

Project Euclid

Review: Alonzo Church, Introduction to Mathematical Logic

Kleene, S. C.

Project Euclid

Review: Kurt Bing, On the Axioms of Order and Succession

Bernays, Paul

Project Euclid

Review: W. Markwald, Zur Eigenschaft Primitiv-Rekursiver Funktionen, Unendlich Viele Werte Anzunehmen

Axt, Paul

Project Euclid

Review: P. Jordan, Zur Axiomatik der Verknupfungsbereiche

Frayne, Thomas

Project Euclid

Review: V. A. Uspenskij, Calculable Operations and the Notion of a Program

Project Euclid

Review: S. I. Adan, The Algorithmic Unsolvability of the Problem of Checking Certain Properties of Groups; S. I. Adan, Finitely Generated Groups and Algorithms

Ehrenfeucht, Andrzej

Project Euclid

Review: Jan Kalicki, Dana Scott, Equational Completeness of Abstract Algebras

Project Euclid

Review: Dana Scott, Equationally Complete Extensions of Finite Algebras

Project Euclid

Review: Jan Berg, A Note on Dispositional Concepts; Jan Berg, A Note on Reduction Sentences

Hempel, Carl G.

Project Euclid

Review: Alfred Tarski, Equationally Complete Rings and Relation Algebras

Project Euclid

Review: A. H. Copeland, Frank Harary, A Characterization of Implicative Boolean Rings

Aubert, K. E.

Project Euclid

Review: Edward F. Moore, Gedanken-Experiments on Sequential Machines

Project Euclid

Review: B. Dunham, The Formalization of Scientific Languages. Part I. The Work of Woodger and Hull

Alexander, George L.

Project Euclid

Review: Mochinori Goto, Yasuo Komamiya, Ryota Suekane, Masahide Takagi, Shigeru Kuwabara, Theory and Structure of the Automatic Relay Computer E. T. L. Mark II

Elgot, Calvin

Project Euclid

Review: Philotheus Boehner, Ockham Philosophical Writings

Project Euclid

Review: Frantisek Svoboda, A Semiautomatic Experimental Machine for the Analysis and Synthesis of Relay Circuits; F. Svoboda, Automatic Synthesis of Relay Circuits

Project Euclid

Review: William G. Leavitt, Boolean Algebra and Circuit Analysis

Project Euclid

Review: Karl R. Popper, Two Autonomous Axiom Systems for the Calculus of Probabilities

Kemeny, John G.

Project Euclid

Review: M. S. Leavitt, Algebras de Boole e Analise de Circuitos; Jacques Riguet, Sur les Rapports Entre les Concepts de Machine de Multipole et de Structure Algebrique; Jacques Riguet, Algorithmes de Markov et Theorie des Machines

Rose, Gene F.

Project Euclid

Review: William Tuthill Parry, A New Symbolism for the Propositional Calculus; Gerald B. Standley, Ideographic Computation in the Propositional Calculus

Lejewski, Czeslaw

Project Euclid

Review: Naoto Yonemitsu, A Note on Modal Systems (II)

Project Euclid

Review: Alan Ross Anderson, Independent Axiom Schemata for von Wright's M

Yonemitsu, Naoto

Review: Ingebrigt Johansson, Sur le Concept de "le" (Ou de "ce qui") dans le Calcul Affirmatif et dans les Calculs Intuitionnistes; R. Feys, Ingebright Johansson, Discussion: Sur le Concept de "le" (Ou de "ce qui") dans le Calcul Affirmatif et dans les Calculs Intuitionnistes

Project Euclid

Hailperin, Theodore

Project Euclid

Review: Takeo Sugihara, Four-Valued Propositional Calculus with One Designated Truth Value

Project Euclid

Review: S. V. Ablonskij, Functional Constructions in Many-Valued Logics

Ehrenfeucht, Andrzej

Project Euclid

Review: Robert Feys, Une Theorie Formalisee Demontree sans Symboles

Project Euclid

Review: R. Harrop, An Investigation of the Propositional Calculus used in a Particular System of Logic

Lorenzen, P.

Project Euclid

Review: Niels Bohr, The Causality Problem in Atomic Physics; Werner Heisenberg, Language and Reality in Modern Physics; Evert Willem Beth, Die Stellung der Logik im Gebaude der Heutigen Wissenschaft

Borgers, Alfons

Project Euclid

Review: Ruth C. Barcan, The Identity of Individuals in a Strict Functional Calculus of Second Order

Quine, W. V.

Project Euclid

Review: Liu Shih-Chao, On the Analytic and the Synthetic

Project Euclid

Review: Gustav Bergmann, Professor Quine on Analyticity

Project Euclid

Review: Noam Chomsky, Systems of Syntactic Analysis

Svenonius, Lars

Project Euclid

Review: Noam Chomsky, Logical Syntax and Semantics. Their Linguistic Relevance

Svenonius, Lars

Project Euclid

Review: Eduardo Garcia Maynez, Logica del Juicio Juridico

Mora, Jose Ferrater

Project Euclid

Review: Rudolf Carnap, Remarks to Kemeny's Paper

Shimony, Abner

Project Euclid

Review: Karl Durr, Moderne Historische Forschungen im Gebiet der Antiken Logik

Mates, Benson

Project Euclid

Review: Walter Brugger, Philosophisch-Ontologische Grundlagen der Logistik

Project Euclid

Review: Josef De Vries, Urteilsanalyse und Seinserkenntnis; Alfons Winkelmann, Die Stellung der Formalen Logik im Sovjetssystem

Project Euclid

Review: William Bryar, St. Thomas and the Existence of God. Three Interpretations

Project Euclid

Alternative Proof of a Theorem of Kleene

Wang, Hao

Project Euclid

Review: Richard I. Aaron, The Rational and the Empirical

Muller, Gert H.

Project Euclid

Review: Alan H. Gardiner, The Theory of Proper Names. A Controversial Essay

Project Euclid

Review: James Wilkinson Miller, Logic Workbook

Project Euclid

Review: E. J. McCluskey, Detection of Group Invariance or Total Symmetry of a Boolean Function

McNaughton, Robert

Project Euclid

Review: E. J. McCluskey, Minimization of Boolean Functions

McNaughton, Robert

Project Euclid

Review: S. M. Akovlev, Theory of the Structure of Combinatorial Mechanisms

Cogan, Edward J.

Project Euclid

Review: M. A. Gavrilov, Determination of the Sequence of Operation of Elements in Relay Networks

Project Euclid

A Note on Direct Products

Gal, L. Novak

p. 1-6

Project Euclid

Open Sentences and the Induction Axiom

Shoenfield, J. R.

p. 7-12

Project Euclid

An Extensional Variety of Extended Basic Logic

Fitch, Frederic B.

p. 13-21

Project Euclid

Review: Max Black, Encyclopaedia Britannica

Turquette, Atwell R.

p. 22-29

Project Euclid

[Omnibus Review]

p. 30-32

Project Euclid

Review: Joseph Breuer, Howard Franklin Fehr, Introduction to the Theory of Sets

p. 32-33

Project Euclid

Review: E. W. Beth, Observations Metamathematiques sur les Structures Simplement Ordonnees

p. 34-35

Project Euclid

Review: E. W. Beth, La Crise de la Raison et la Logique. Conferences, faites a l'Universite de Liege dans le Cadre des Echanges Culturels Belgo-Neerlandais au Mois de Mai 1956

p. 35-37

Project Euclid

Review: Stig Kanger, Provability in Logic

Fischer, F. H.

p. 37-38

Project Euclid

Review: Gunter Asser, Das Reprasentantenproblem im Pradikatenkalkul der Ersten Stufe mit Identitat

Ackermann, Wilhelm

p. 38-39

Project Euclid

Review: Gunter Asser, Theorie der Logischen Auswahlfunktionen

Ackermann, Wilhelm

p. 39-40

Project Euclid

Review: Steven Orey, On $\omega$-Consistency and Related Properties

p. 40-41

Project Euclid

Review: Steven Orey, Formal Development of Ordinal Number Theory; Steven Orey, On the Relative Consistency of Set Theory

Benes, Vaclav Edvard

p. 41-42

Project Euclid

Review: Elliott Mendelson, Some Proofs of Independence in Axiomatic Set Theory

p. 42-44

Project Euclid

Review: Andrzej Mostowski, Development and Applications of the "Projective" Classification of Sets of Integers

Hasenjaeger, G.

p. 44-45

Project Euclid

Review: A. Mostowski, On Recursive Models of Formalised Arithmetic

Feferman, Solomon

p. 45-46

Project Euclid

Review: A. Grzegorczyk, Some Proofs of Undecidability of Arithmetic

p. 46-47

Project Euclid

Review: J. W. Addison, S. C. Kleene, A Note on Function Quantification

Davis, Martin

p. 47-48

Project Euclid

Review: Norman Shapiro, Degrees of Computability

Rice, H. G.

p. 48-49

Project Euclid

Review: V. A. Uspenskij, Some Notes on Recursively Enumerable Sets

p. 49-50

Project Euclid

Review: P. S. Novikov, Algorithmic Unsolvability of the Word Problem in Group Theory

Britton, J. L.

p. 50-52

Project Euclid

Review: P. S. Novikov, Unsolvability of the Conjugacy Problem in Group Theory

Britton, J. L.

p. 52-54

Project Euclid

Review: S. I. Adan, On the Divisibility Problem in Semigroups

Ehrenfeucht, Andrzej

p. 54-55

Project Euclid

Review: Michael O. Rabin, Recursive Unsolvability of Group Theoretic Problems

Neumann, Bernhard H.

p. 55-56

Project Euclid

Review: Jan Kalicki, The Number of Equationally Complete Classes of Equations

p. 56-57

Project Euclid

Review: A. H. Copeland, Note on Cylindric Algebras and Polyadic Algebras

Halmos, Paul R.

p. 57-58

Project Euclid

[Omnibus Review]

p. 58-59

Project Euclid

Review: John McCarthy, Claude Shannon, Automata Studies

Duda, W. L.

p. 59-60

Project Euclid

Review: Antonin Svoboda, Graphico-Mechanical Aids for the Synthesis of Relay Circuits

McNaughton, Robert

p. 60-61

Project Euclid

Review: G. N. Povarov, A Method for Synthesis of Computing and Controlling Contact Circuits

p. 61-62

Project Euclid

Review: W. Mays, D. P. Henry, Jevons and Logic

Patterson, George W.

p. 62-63

Project Euclid

Review: D. P. Henry, Expressions Trivially Decidable

p. 63-64

Project Euclid

Review: Alan Rose, Fragments of the M-valued Propositional Calculus

Turquette, A. R.

p. 64-65

Project Euclid

Review: C. F. v. Weizsacker, Komplementaritat und Logik

Hempel, Carl G.

p. 65-66

Project Euclid

Review: E. W. Beth, Reason and Intuition

Borgers, Alfons

p. 66-67

Project Euclid

Review: Wolfgang Stegmuller, Das Universalienproblem Einst und Jetzt. (Fortsetzung und Schluss.)

Bennett, Jonathan

p. 67-68

Project Euclid

Review: Gustav Bergmann, Two Cornerstones of Empiricism

p. 68-69

Project Euclid

Review: Morris Weitz, Analytic Statements

p. 69-70

Project Euclid

Review: H. P. Grice, P. F. Strawson, In Defense of a Dogma

p. 70-71

Project Euclid

Review: Noam Chomsky, Three Models for the Description of Language

Svenonius, Lars

p. 71-72

Project Euclid

Review: Yehoshua Bar-Hillel, On the Nature of Ethical Sentences

Rabin, Michael O.

p. 72-73

Project Euclid

[Omnibus Review]

Kraszewski, Zdzislaw

p. 73-74

Project Euclid

Review: J. L. Austin, Ifs and Cans

Watling, John

p. 74-75

Project Euclid

Review: Thomas Storer, On Defining `Soluble'--Reply to Bergmann

Putnam, Hilary

p. 75-76

Project Euclid

Review: John E. Freund, On the Problem of Confirmation

Putnam, Hilary

p. 76-77

Project Euclid

Review: Henryk Greniewski, Elements of the Logic of Induction

Czerwinski, Zbigniew

p. 77-78

Project Euclid

Review: Henryk Greniewski, On Mill's Method of Concomitant Variations

Czerwinski, Zbigniew

p. 78-79

Project Euclid

Review: Enzo Paci, Sul Primo Periodo della Filosofia di Whitehead

Dugnani, Ferruccio

p. 79-81

Project Euclid

[Omnibus Review]

Dugnani, Ferruccio

p. 81-88

Project Euclid

Further Citations

p. 88-102

Project Euclid

Twenty-Second Annual Meeting of the Association for Symbolic Logic

Dreben, Burton S.

p. 103-112

Project Euclid

Foundational Aspects of Theories of Measurement

Scott, Dana ; Suppes, Patrick

Biermann, Kurt-R. ; Mau, Jurgen

p. 113-128

Project Euclid

Uberprufung Einer Fruhen Anwendung Der Kombinatorik in Der Logik

p. 129-132

Project Euclid

A 12th Century Paradox of the Infinite

Thomas, Ivo

p. 133-134

Project Euclid

Peirce's Axioms for Propositional Calculus

Prior, A. N.

p. 135-136

Project Euclid

Generalization of a Lemma of G. F. Rose

Gal, I. L. ; Rosser, J. B. ; Scott, D.

p. 137-138

Project Euclid

Simplified Axioms for Many-Valued Quantification Theory

Turquette, Atwell R.

p. 139-148

Project Euclid

On Closure Under Direct Product

Chang, C. C. ; Morel, Anne C.

p. 149-154

Project Euclid

Mathematical Significance of Consistency Proofs

Davis, Martin ; Putnam, Hilary

p. 155-182

Project Euclid

Reductions of Hilbert's Tenth Problem

p. 183-187

Project Euclid

The Classical and the $\omega$-Complete Arithmetic

Grzegorczyk, A. ; Mostowski, A. ; Ryll-Nardzewski, C.

p. 188-206

Project Euclid

Review: W. V. Quine, Logic, Symbolic

p. 207-209

Project Euclid

Review: F. Waismann, How I see Philosophy; William Kneale, The Province of Logic

Muller, Gert H.

p. 209-210

Project Euclid

Review: William Kneale, The Province of Logic; Hugues Leblanc, An Introduction to Deductive Logic

L'Abbe, Maurice

p. 210-212

Project Euclid

Review: Martin A. Greenman, A Whiteheadian Analysis of Propositions and Facts

p. 212-213

Project Euclid

Review: Thomas Storer, A Note on Empiricism; Herbert Hochberg, Professor Storer on Empiricism; David Karl Kauf, A Comment on Hochberg's Reply to Storer

p. 213-214

Project Euclid

Review: Lucio Lombardo-Radice, Ordinali Transfiniti e Principio del Terzo Escluso (A Proposito di un Ragionamento del Godel

p. 214-215

Project Euclid

Review: Wilhelm Ackermann, Zur Axiomatik der Mengenlehre

p. 215-216

Project Euclid

Review: Ladislav Rieger, A Contribution to Godel's Axiomatic Set-Theory, I

p. 216-217

Project Euclid

Review: Klaus Hartig, Ein Spezialfall der Substitution als Grundbeziehung der Elementaren Semiotik

Hermes, H.

p. 217-218

Project Euclid

Review: Abraham Robinson, L'Application de la Logique Formelle aux Mathematiques; G. Kurepa, G. Kreisel, A. Robinson, Discussion

Vaught, Robert L.

p. 218-219

Project Euclid

Review: Paul R. Halmos, Algebraic Logic, I. Monadic Boolean Algebras

p. 219-222

Project Euclid

Review: Paul R. Halmos, Algebraic Logic II. Homogeneous Locally Finite Polyadic Boolean Algebras of Infinite Degree

p. 222-223

Project Euclid

Review: A. A. Mucnik, On Separability of Recursively Enumerable Sets

p. 224-225

Project Euclid

Review: R. M. Friedberg, Two Recursively Enumerable Sets of Incomparable Degrees of Unsolvability (Solution of Post's Problem, 1944)

Rogers, Hartley

p. 225-226

Project Euclid

Review: R. L. Goodstein, Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus

p. 227-228

Project Euclid

Review: A. Heyting, Espace de Hilbert et Intuitionnisme; Paul Bernays, H. Hermes, A. Heyting, Ingebrigt Johansson, Abraham Robinson, Discussion

Kuroda, Sigekatu

p. 228-229

Project Euclid

Review: Paul Lorenzen, Zur Interpretation der Syllogistik

Hartig, Klaus

p. 229-230

Project Euclid

Review: Zdzislaw Kraszewski, Logika Stosunkow Zakresowych (Rachunek Zdan Zakresowych); Z. Kraszewski, Logika Obemnyh Otnosenij (Iscislenie Obemnyh Predlozenij); Z. Kraszewski, Logic of Extensional Relations

Hartig, Klaus

p. 230-231

Project Euclid

Review: V. I. Sestakov, An Algebraic Method of Analysis of Autonomic Systems of Two-Positional Relays. I

Wakulicz, A.

p. 231-232

Project Euclid

Review: V. I. Sestakov, An Algebraic Method of Synthesis of Autonomic Systems of Two-Positional Relays

Wakulicz, A.

p. 232-233

Project Euclid

Review: G. N. Povarov, Matrix Methods of Analysis of Relay Circuits with Resistance Conditions

p. 233-234

Project Euclid

Review: Edwin Hirschhorn, Simplification of a Class of Boolean Functions

McCluskey, E. J.

p. 236-237

Project Euclid

Further Citations

p. 237-240

Project Euclid

Logical Reflection and Formalism

Lorenzen, P.

p. 241-249

Project Euclid

A Formalization of Inductive Logic

Martin, R. M.

p. 251-256

Project Euclid

Note on Carnap's Relational Asymptotic Relative Frequencies

Harary, Frank

p. 257-260

Project Euclid

Epimenides the Cretan

Prior, A. N.

Evans, Trevor ; Schwartz, P. B.

p. 261-266

Project Euclid

On Slupecki T-Functions

p. 267-270

Project Euclid

A Problem of Rosser and Turquette

Margaris, Angelo

p. 271-279

Project Euclid

Measure-Theoretic Construction of Incomparable Hyperdegrees

Spector, Clifford

p. 280-288

Project Euclid

Finite Axiomatizability Using Additional Predicates

Craig, W. ; Vaught, R. L.

p. 289-308

Project Euclid

Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication

Friedberg, Richard M.

p. 309-316

Project Euclid

Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae

p. 317-330

Project Euclid

Godel Numberings of Partial Recursive Functions

Rogers, Hartley

p. 331-341

Project Euclid

Review: Wilhelm Ackermann, Philosophical Observations on Mathematical Logic and on Investigations into the Foundations of Mathematics

p. 342-343

Project Euclid

Review: A. Heyting, L'Axiomatique Intuitionniste

Bernays, Paul

p. 343-344

Project Euclid

Review: A. Heyting, La Conception Intuitionniste de la Logique

p. 344-345

Project Euclid

Review: R. Harrop, On Disjunctions and Existential Statements in Intuitionistic Systems of Logic

Robinson, T. Thacher

p. 345-346

Project Euclid

Review: E. J. Lemmon, New Foundations for Lewis Modal Systems

Yonemitsu, Naoto

p. 346-347

Project Euclid

[Omnibus Review]

Czezowski, Tadeusz

p. 347-348

Project Euclid

Review: Tadeusz Kubinski, On a Method of Constructing Modal Logics

Czezowski, Tadeusz

p. 348-349

Project Euclid

Review: Jose Ferrater Mora, Hugues Leblanc, Logica Matematica

R., G. Zubieta

p. 349-350

Project Euclid

Review: Jose Ferrater Mora, Que es la Logica

p. 350-351

Project Euclid

Review: Robert McNaughton, A Metrical Concept of Happiness

p. 351-352

Project Euclid

Review: Carl G. Hempel, Fundamentals of Concept Formation in Empirical Science

Poznanski, Edward

p. 353-354

Project Euclid

Review: Carl G. Hempel, A Logical Appraisal of Operationism

Mehlberg, Henry

p. 354-356

Project Euclid

Review: Thomas Storer, An Analysis of Logical Positivism; Ferruccio Rossi-Landi, Discussion: An Analysis of Logical Positivism

Mehlberg, Henry

p. 356-357

Project Euclid

Review: Evert Willem Beth, La Semantique et sa Portee Philosophique

Hintikka, K. Jaakko J.

p. 357-358

Project Euclid

Review: Roger Martin, Raisonnement Mathematique et Recurrence

p. 358-359

Project Euclid

Review: John G. Kemeny, Undecidable Problems of Elementary Number Theory

p. 359-360

Project Euclid

Review: J. Los, On the Categoricity in Power of Elementary Deductive Systems and some Related Problems

Vaught, Robert L.

p. 360-361

Project Euclid

Review: Maurice L'Abbe, Systems of Transfinite Types Involving $\lambda$-Conversion

Gandy, R. O.

p. 361-362

Project Euclid

Review: Rozsa Peter, Rekursive Funktionen

Robinson, Raphael M.

p. 362-363

Project Euclid

Review: Montgomery Phister, Logical Design of Digital Computers

Moore, Edward F.

p. 363-365

Project Euclid

Review: M. Touchais, Les Applications Techniques de la Logique

Nelson, Raymond J.

p. 365-366

Project Euclid

Review: Hans Rohleder, Der Dreiwertige Aussagenkalkul der Theoretischen Logik und Seine Anwendung zur Beschreibung von Schaltungen, die aus Elementen mit zwei Stabilen Zustanden Bestehen

Fiett, Jerzy

p. 366-367

Project Euclid

Further Citations

p. 367-368

Project Euclid

A Remark on Free Choice Sequences and the Topological Completeness Proofs

p. 369-388

Project Euclid

Degrees of Formal Systems

Shoenfield, J. R.

p. 389-392

Project Euclid

An Investigation on the Logical Structure of Mathematics (V).1 Contradictions of Russell's Type

Kuroda, Sigekatu

p. 393-407

Project Euclid

On Recursively Enumerable and Arithmetic Models of Set Theory

Rabin, Michael O.

p. 408-416

Project Euclid

On the Formalisation of Indirect Discourse

Goodstein, R. L.

p. 417-419

Project Euclid

Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation

Porte, Jean

p. 421-431

Project Euclid

Review: Martin Davis, Computability & Unsolvability

Spector, Clifford

p. 432-433

Project Euclid

Review: Samuel H. Caldwell, Switching Circuits and Logical Design

Moore, Edward F.

p. 433-434

Project Euclid

Review: A. H. Basson, D. J. O'Connor, Introduction to Symbolic Logic

p. 434-435

Project Euclid

Review: Henry S. Leonard, Principles of Right Reason

Miller, James Wilkinson

p. 435-436

Project Euclid

Review: Marie-Louise Roure, Logique et Metalogique. Essai sur la Structure et les Frontieres de la Pensee Logique

Dopp, J.

p. 436-438

Project Euclid

Review: Robert Blanche, L'Axiomatique

p. 438-439

Project Euclid

Review: Philipp Frank, Philosophy of Science. The Link Between Science and Philosophy

Trotter, Hale

p. 439-440

Project Euclid

Review: Marian Przelecki, On so Called Operational Definitions

Mehlberg, Henry

p. 440-441

Project Euclid

Review: Wilfrid Sellars, On the Logic of Complex Particulars; Wilfrid Sellars, Particulars; William P. Alston, Particulars-Bare and Qualified

Hempel, Carl G.

p. 441-442

Project Euclid

Review: Jean de la Harpe, La Logique de L'Assertion Pure

p. 442-443

Project Euclid

Review: Kazuo Matsumoto, Sur la Structure Concernant la Logique Moderne

Fitch, Frederic B.

p. 443-444

Project Euclid

Review: A. Grzegorczyk, Elementarily Definable Analysis

Lorenzen, Paul

p. 444-445

Project Euclid

Review: John Myhill, Solution of a Problem of Tarski; Andrzej Ehrenfeucht, Two Theories with Axioms Built by means of Pleonasms; Hilary Putnam, Decidability and Essential Undecidability

Feferman, Solomon

p. 445-447

Project Euclid

Review: Laszlo Kalmar, Another Proof of the Markov-Post Theorem

Boone, William W.

p. 447-448

Project Euclid

Review: Paul R. Halmos, Algebraic Logic, III. Predicates, Terms, and Operations in Polyadic Algebras

p. 448-449

Project Euclid

Review: Richard Montague, Donald Kalish, Remarks on Descriptions and Natural Deduction

Hintikka, Jaakko

p. 449-450

Project Euclid

Review: , Mens rea and Murder by Torture in California

Allen, Layman E.

p. 450-451

Project Euclid

[Omnibus Review]

Dugnani, Ferruccio

p. 451-452

Project Euclid

Further Citations

p. 452-455

Project Euclid

Twenty-Third Annual Meeting of the Association for Symbolic Logic

Martin, R. M.

p. 456-461

Project Euclid

List of Officers and Members of the Association for Symbolic Logic