J. Symbolic Logic, Tome 27 (1962)

Project Euclid

Review: Ferdinand Gonseth, Le Probleme du Language et L'Ouverture a L'Experience

Project Euclid

[Omnibus Review]

Chisholm, Roderick M.

Project Euclid

Review: A. S. Kahr, Edward F. Moore, Hao Wang, Entscheidungsproblem Reduced to the $\forall\exists\forall$ Case

Ackermann, W.

Project Euclid

Review: Trenchard More, On the Construction of Venn Diagrams

Project Euclid

Review: A. Borgers, La Theorie des Ensembles

Project Euclid

Review: A. Borgers, La Methode Axiomatique et la Logique Symbolique

Project Euclid

Review: Jerome Rothstein, A Physicist's Thoughts on the Formal Structure and Psychological Motivation of Theory and Observation

Chisholm, Roderick M.

Project Euclid

Review: Shoji Maehara, Gentzen's Theorem on an Extended Predicate Calculus

Project Euclid

Review: Shoji Maehara, The Predicate Calculus with $\varepsilon$-Symbol

Project Euclid

Review: Setsuo Saito, Circular Definitions and Analyticity

Project Euclid

Review: Alan Pasch, Experience and the Analytic. A Reconsideration of Empiricism

Bar-Hillel, Yehoshua

Project Euclid

Review: Juan David Garcia Bacca, Planes de Logica Juridica

Castaneda, Hector-Neri

Project Euclid

Notice

Project Euclid

Review: Gaisi Takeuti, Remarks on the Truth Definition

Fuhrken, Gebhard

Project Euclid

Review: E. W. Beth, Completeness Results for Formal Systems

Scott, Dana

Project Euclid

Review: Ivo Thomas, Independence of Tarski's Law in Henkin's Propositional Fragments

Leblanc, Hugues

Project Euclid

Review: Richard Montague, Jan Tarski, On Bernstein's Self-Dual Set of Postulates for Boolean Algebras

Project Euclid

Review: Luis Elpidio Sanchis, Neuva Demonstracion de la Completicidad Funcional del Calculo Proposicional Bivalente

Project Euclid

Review: Giuseppe Peano, Formulario Mathematico

Project Euclid

Review: S. A. Anovskaa, Mathematical Logic and the Foundations of Mathematics

Cogan, E. J.

Project Euclid

Review: Paul R. Halmos, Free Monadic Algebras

Daigneault, Aubert

Project Euclid

Review: Shoji Maehara, Gaisi Takeuti, A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions

Engeler, Erwin

Project Euclid

Review: Alonzo Church, Vvedenie v Matematiceskuu Logiku

Renno, James G.

Project Euclid

Review: Joseph Dopp, Essai d'une Presentation de la Logique Combinatoire

Rosser, J. Barkley

Project Euclid

Review: S. C. Kleene, Mathematical Logic: Constructive and Non-Constructive Operations

Robinson, Julia

Project Euclid

Review: G. Kreisel, Ordinal Logics and the Characterization of Informal Concepts of Proof

Scott, Dana

Project Euclid

Review: S. C. Kleene, Quantification of Number-Theoretic Functions

Nerode, A.

Project Euclid

Review: Gr. C. Moisil, Sur la Logique a Trois Valeurs de Lukasiewicz

Project Euclid

Review: Klaus Hartig, Zur Axiomatisierung der Nicht-Identitaten des Aussagenkalkuls

Project Euclid

Review: Gyorgy Pollak, Bemerkung zur Arbeit "Uber Zweipolige Elektrische Netze, II." von A. Adam

Adam, A.

Project Euclid

Review: Rozsa Peter, Graphschemata und Rekursive Funktionen; Rosza Peter, Uber die Partiell-Rekursivitat der durch Graphschemata Definierten Zahlentheoretischen Funktionen

Axt, Paul

Project Euclid

Review: N. V. Belakin, The Universality of a Computing Machine with Potentially Infinite Exterior Memory

Project Euclid

Review: V. S. Koroluk, On the Concept of Address Algorithm

Project Euclid

Review: J. C. E. Dekker, J. Myhill, Some Theorems on Classes of Recursively Enumerable Sets

Davis, Martin

Project Euclid

Review: V. K. Detlovs, The Equivalence of Normal Algorithms and Recursive Functions

Project Euclid

Review: Maria de la Cinta Badillo, Fundamentos en Relacion con Logica Simbolica Polivalente

Project Euclid

Review: Maria de la Cinta Badillo Barallat, Aplicacion de la Logica Polivalente a la Teoria de Numeros

Project Euclid

Review: A. Grzegorczyk, An Example of Two Weak Essentially Undecidable Theories F and F$^\ast$

Robinson, Raphael M.

Project Euclid

Review: M. C. Badillo Barallat, Automatizacion de los Silogismos en una Logica Polivalente

Project Euclid

Review: Gaisi Takeuti, On the Recursive Functions of Ordinal Numbers

Project Euclid

Review: Ivo Thomas, Don Orth, Axioms for the "Gergonne"-Relations

Blanche, Robert

Project Euclid

Review: Ivo Thomas, Independence of Faris-Rejection-Axioms

Leblanc, Hugues

Project Euclid

Review: Shoji Maehara, General Recursive Functions in the Number-Theoretic Formal System

Project Euclid

Review: Timothy Smiley, On Lukasiewicz's L-Modal System

Project Euclid

Review: Klaus Hartig, Einstellige Funktionen als Grundbegriffe der Elementaren Zahlentheorie

Robinson, Julia

Project Euclid

Review: Sibajiban, Can doubt be Doubted?

Lemmon, E. J.

Project Euclid

Review: Hakan Tornebohm, On Two Logical Systems Proposed in the Philosophy of Quantum-Mechanics

Putnam, Hilary

Project Euclid

Review: Alfred Tarski, What is Elementary Geometry?

Project Euclid

Review: J. P. Roth, R. M. Karp, Minimization Over Boolean Graphs

Szeptycki, Pawel

Project Euclid

Review: P. Banks, On the Philosophical Interpretation of Logic: An Aristotelian Dialogue

Thomas, Ivo

Project Euclid

Review: Alan Rose, A Note on the Use of Logical Computers to Determine the Most Efficient Method of Using Factory Machines; Alan Rose, A High Speed Parallel Adder

Mullin, A. A.

Project Euclid

Review: Alan Rose, Many-Valued Logical Machines

McNaughton, Robert

Review: J. M. Pugmire, A. Rose, Formulae Corresponding to Universal Decision Elements; A. Rose, The Use of Universal Decision Elements as Flip-Flops; Alan Rose, Nouvelle Methode pour Determiner les Formules qui Correspondent a des elements universels de decision

Project Euclid

McNaughton, Robert

Project Euclid

Review: George Kimball Plochmann, Professor Henle on the Four Figures of Syllogism

Johnstone, Henry W.

Project Euclid

Review: Hugues Leblanc, An Extension of the Equivalence Calculus

Project Euclid

Review: Abraham Robinson, Note on a Problem of L. Henkin

Project Euclid

Review: Arto Salomaa, On the Number of Simple Bases of the Set of Functions Over a Finite Domain; Arto Salomaa, Some Completeness Criteria for Sets of Functions Over a Finite Domain

Turquette, Atwell R.

Project Euclid

Review: Steven Orey, Model Theory for the Higher Order Predicate Calculus

Project Euclid

Review: P. S. Novikov, On the Consistency of Some Logical Calculi

Project Euclid

Review: Simon Kochen, Completeness of Algebraic Systems in Higher Order Calculi

Vaught, R. L.

Project Euclid

Review: Hugo Ribeiro, The Notion of Universal Completeness

Robinson, Abraham

Project Euclid

Review: A. A. Markov, Theory of Algorithms

Project Euclid

Review: A. H. Lachlan, The $U$-Quantifier

Project Euclid

Review: Joseph S. Ullian, A Theorem on Maximal Sets

Project Euclid

Review: Abraham Robinson, Applications to Field Theory

Project Euclid

Review: H. Rasiowa, R. Sikorski, On the Isomorphism of Lindenbaum Algebras with Fields of Sets

Horn, Alfred

Project Euclid

Review: Clifford Spector, Measure-Theoretic Construction of Incomparable Hyperdegrees

Rogers, Hartley

Project Euclid

Review: Witold Michalowski, Zagadnienie Nazw Pustych w Sylogistyce Arystotelesa w Swietle "Ontologii" Lesniewskiego (Das Problem der Leeren Namen in der Syllogistik im Lichte der "Ontologie" von Lesniewski)

Lejewski, Czeslaw

Project Euclid

Review: A. A. Markov, Insolubility of the Problem of Homeomorphy

Scott, Dana

Project Euclid

Review: W. Szmielew, Absolute Calculus of Segments and its Metamathematical Implications

Frayne, Thomas

Project Euclid

Review: Harry A. Nielsen, Language as Existent

Project Euclid

Review: B. Germansky, The Induction Axiom and the Axiom of Choice

Levy, Azriel

Project Euclid

Review: R. S. Pierce, A Generalization of Atomic Boolean Algebras

Project Euclid

Review: B. Banaschewski, On Transfinite Iteration

Project Euclid

Review: Irving M. Copi, Tractatus 5.542

Bennett, Jonathan

Project Euclid

Review: John L. Kelley, General Topology

Larkin, Francis P.

Project Euclid

Review: Roderick M. Chisholm, Intentionality and the Theory of Signs

Project Euclid

Review: Paul Bernays, Uber eine Naturliche Erweiterung des Relationenkalkuls

Project Euclid

Review: Philip Nochlin, Reducibility and Intentional Words

Project Euclid

Review: A. Newell, J. C. Shaw, Programming the Logic Theory Machine

Robinson, Abraham

Project Euclid

Review: Th. Skolem, Reduction of Axiom Systems with Axiom Schemes to Systems with Only Simple Axioms

Project Euclid

Review: Ernst Specker, Dualitat

Project Euclid

Review: Hao Wang, Symbolic Representations of Calculating Machines

Elgot, C. C.

Project Euclid

Review: H. Arnold Schmidt, Uber Einige Neuere Untersuchungen zur Modalitatenlogik

Project Euclid

Review: R. Fridshal, The Quine Algorithm

Mott, Thomas H.

Project Euclid

Review: Roderick M. Chisholm, On the Uses of Intentional Words

Project Euclid

Review: C. Douglas McGee, Who Means What by `Synonymy'?

Robbins, Beverly

Project Euclid

Review: Alfred Morton Bork, Methodology of the Empirical Sciences

Hempel, Carl G.

Project Euclid

Quasi-Truth-Functional Systems of Propositional Logic

Rescher, Nicholas

p. 1-10

Project Euclid

Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms

Kleene, S. C.

Anderson, Alan Ross ; Belnap, Nuel D.

p. 11-18

Project Euclid

The Pure Calculus of Entailment

p. 19-52

Project Euclid

Note on Slupecki T-Functions

Clay, Robert E.

p. 53-54

Project Euclid

On Post's Canonical Systems

Smullyan, Raymond M.

p. 55-57

Project Euclid

Syllogism and Quantification

Smiley, Timothy

Nerode, A. ; Smullyan, Raymond M.

p. 58-72

Project Euclid

Review: Evert W. Beth, The Foundations of Mathematics, A Study in the Philosophy of Science

p. 73-75

Project Euclid

Review: E. K. Vojsvillo, A. V. Kuznecov, D. G. Lahuti, V. K. Finn, Urgent Problems of Scientific Research and Educational Work in the Field of Logic

Comey, David Dinsmore

p. 75-76

Project Euclid

Review: Ettore Casari, Lineamenti di Logica Matematica

Conte, Amedeo G.

p. 76-77

Project Euclid

Review: Hao Wang, The Axiomatization of Arithmetic

Martin, Roger

p. 77-78

Project Euclid

Review: Georges Kreisel, La Predicativite

p. 79-80

Project Euclid

Review: A. Grzegorczyk, A. Mostowski, C. Ryll-Nardzewski, The Classical and the $\omega$-Complete Arithmetic

p. 80-81

Project Euclid

Review: Hao Wang, Alternative Proof of a Theorem of Kleene

Dekker, J. C. E.

p. 81-82

Project Euclid

Review: S. C. Kleene, Recursive Functionals and Quantifiers of Finite Types I

Nerode, A.

p. 82-83

Project Euclid

Review: Hartley Rogers, Recursive Functions over Well-Ordered Partial Orderings

p. 83-84

Project Euclid

Review: J. C. E. Dekker, J. Myhill, Retraceable Sets

Nerode, A.

p. 84-85

Project Euclid

Review: Solomon Feferman, Degrees of Unsolvability Associated with Classes of Formalized Theories; J. R. Shoenfield, Degrees of Formal Systems

Rogers, Hartley

p. 85-86

Project Euclid

Review: Laszlo Kalmar, Ein Direkter Beweis fur die Allgemein-Rekursive Unlosbarkeit des entscheidungsproblems des Pradikatenkalkuls der Ersten Stufe mit Identitat

p. 86-87

Project Euclid

Review: Gunter Asser, Normierte Postsche Algorithmen

Pour-El, Marian Boykan

p. 87-88

Project Euclid

Review: Azriel Levy, Axiom Schemata of Strong Infinity in Axiomatic Set Theory

Shepherdson, J. C.

p. 88-89

Project Euclid

Review: Setsuya Seki, On Transfinite Inferences

p. 89-90

Project Euclid

Review: J. R. Shoenfield, Open Sentences and the Inducation Axiom

Rogers, Hartley

p. 90-91

Project Euclid

Review: Walter Felscher, Jurgen Schmidt, Naturliche Zahlen, Ordnung, Nachfolge

Germansky, B.

p. 91-92

Project Euclid

Review: Leon Henkin, On Mathematical Induction

Hermes, H.

p. 92-93

Project Euclid

[Omnibus Review]

Keisler, H. Jerome

p. 93-95

Project Euclid

Review: Leon Henkin, Two Concepts from the Theory of Models

p. 95-96

Project Euclid

Review: Frank W. Anderson, Function Lattices

Horn, Alfred

p. 98-99

Project Euclid

Review: D. J. Christensen, R. S. Pierce, Free Products of $\propto$-Distributive Boolean Algebras

p. 99-100

Project Euclid

Review: R. S. Pierce, Representation Theorems for Certain Boolean Algebras

p. 100-101

Project Euclid

Review: Antonin Spacek, Statistical Estimation of Provability in Boolean Logic

Mullin, A. A.

p. 101-102

Project Euclid

Review: A. Newell, J. C. Shaw, H. A. Simon, Empirical Explorations of the Logic Theory Machine: A Case Study in Heuristic

Robinson, Abraham

p. 102-103

Project Euclid

Review: J. Eldon Whitesitt, Boolean Algebra and Its Applications

Mott, Thomas H.

p. 103-104

Project Euclid

Review: Franz E. Hohn, Applied Boolean Algebra. An Elementary Introduction

Mott, Thomas H.

p. 104-106

Project Euclid

Review: Frederick C. Hennie III, Iterative Arrays of Logical Circuits

Mullin, Albert A.

p. 106-107

Project Euclid

Review: A. G. Lunc, On Superposition of Contact Circuits

Szeptycki, Pawel

p. 107-108

Project Euclid

Review: Theodore Hailperin, A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domains

p. 108-109

Project Euclid

Review: Shoji Maehara, Equality Axiom on Hilbert's $\varepsilon$-Symbol

p. 109-110

Project Euclid

Review: Ronald Harrop, Concerning Formulas of the Types $A \rightarrow B \mathbf{v} C, A \rightarrow (Ex) B(x)$ in Intuitionistic Formal Systems

Robinson, T. Thacher

p. 110-111

Project Euclid

Review: J. Barkley Rosser, Axiomatization of Infinite Valued Logics

McNaughton, Robert

p. 111-112

Project Euclid

Review: M. C. Badillo, Logica Trivalente en la Automatizacion de los Circuitos

p. 112-113

Project Euclid

Review: Nicholas Rescher, Conditional Permission in Deontic Logic; Alan Ross Anderson, Reply to Mr. Rescher

Lemmon, E. J.

p. 113-114

Project Euclid

Review: A. N. Prior, The Syntax of Time-Distinctions

Kanger, S.

p. 114-115

Project Euclid

Review: Alan Ross Anderson, Nuel D. Belnap, Enthymemes

Rescher, Nicholas

p. 115-116

Project Euclid

Review: Andrzej Grzegorczyk, The Systems of Lesniewski in Relation to Contemporary Logical Research

Prior, A. N.

p. 117-118

Project Euclid

Review: Irving M. Copi, Objects, Properties, and Relations in the Tractatus; G. E. M. Anscombe, Mr. Copi on Objects, Properties and Relations in the Tractatus; Ellis Evans, About "aRb"

Bennett, Jonathan

p. 118-120

Project Euclid

Review: Hans Reichenbach, Can Operators Reach Through Quotes?

Craig, William

p. 121-122

Project Euclid

Review: S. F. Barker, Induction and Hypothesis, A Study of the Logic of Confirmation

Svenonius, Lars

p. 122-123

Project Euclid

Review: Roderick M. Chisholm, Perceiving: A Philosophical Study

p. 123-124

Project Euclid

Review: Nicola Abbagnano, Sul Concetto di Esperienza

Rossi-Landi, Ferruccio

p. 124-125

Project Euclid

Review: Ian Rawlins, Aesthetics and the Gestalt

p. 126-127

Project Euclid

International Symposium on the Theory of Models

p. 128-129

Project Euclid

An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates

Pager, David

p. 131-138

Project Euclid

On Weak Completeness of Intuitionistic Predicate Logic

Kreisel, G.

p. 139-158

Project Euclid

Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz

Scarpellini, Bruno

p. 159-170

Project Euclid

Independence Proofs in Predicate Logic with Infinitely Long Expressions

p. 171-188

Project Euclid

The Implicational Fragment of Dummet's LC

Bull, R. A.

p. 189-194

Project Euclid

Theories Incomparable with Respect to Relative Interpretability

Montague, Richard

p. 195-211

Project Euclid

Review: Robert B. Lees, The Grammar of English Nominalizations

Lambek, Joachim

p. 212-213

Project Euclid

Review: William Kneale, Martha Kneale, The Development of Logic

Mates, Benson

p. 213-217

Project Euclid

Review: Jan Lukasiewicz, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic

McCall, Storrs

p. 217-218

Project Euclid

Review: A. N. Prior, Formal Logic

Leblanc, Hughes

p. 218-220

Project Euclid

Review: Mark Fischer, A System of Deontic-Alethic Logic

Castaneda, Hector-Neri

p. 220-221

Project Euclid

Review: Robert McNaughton, Axiomatic Systems, Conceptual Schemes, and the Consistency of Mathematical Theories; Robert McNaughton, Conceptual Schemes in Set Theory

Bar-Hillel, Y.

p. 221-222

Project Euclid

Review: S. Kaminski, Frege's Logic of Propositions

Luschei, E. C.

p. 222-223

Project Euclid

[Omnibus Review]

p. 223-224

Project Euclid

Review: B. A. Trachtenbrot, Wieso Konnen Automaten Rechnen?

Ackermann, W.

p. 224-225

Project Euclid

Review: Arnold Oberschelp, Untersuchungen zur Mehrsortigen Quantorenlogik

Schmidt, H. Arnold

p. 225-226

Project Euclid

Review: R. L. Goodstein, On the Nature of Mathematical Systems

p. 226-227

Project Euclid

Review: A. Heyting, Blick von der Intuitionistischen Warte

p. 227-228

Project Euclid

Review: Georg Kreisel, Hilbert's Programme

p. 228-229

Project Euclid

Review: Abraham Robinson, Relative Model-Completeness and the Elmination of Quantifiers

p. 229-230

Project Euclid

Review: Kurt Schutte, Aussagenlogische Grundeigenschaften Formaler Systeme

p. 230-231

Project Euclid

Review: R. O. Gandy, G. Kreisel, W. W. Tait, Set Existence

p. 232-233

Project Euclid

Review: Donald Monk, On the Representation Theory for Cylindric Algebras

p. 233-234

Project Euclid

Review: C. C. Chang, Anne C. Morel, On Closure Under Direct Product

Keisler, H. Jerome

p. 234-235

Project Euclid

Review: B. Banaschewski, Hullensysteme und Erweiterung von Quasi-Ordnungen

p. 235-236

Project Euclid

Review: B. A. Trahtenbrot, The Definition of a Finite Set and the Deductive Incompleteness of Set Theory

p. 236-237

Project Euclid

Review: Wanda Szmielew, Some Metamathematical Problems Concerning Elementary Hyperbolic Geometry

Frayne, Thomas

p. 237-238

Project Euclid

Review: William W. Boone, The Word Problem

Britton, J. L.

p. 238-241

Project Euclid

Review: William W. Boone, The Word Problem

Britton, J. L.

p. 241-242

Project Euclid

Review: S. C. Kleene, Realizability; S. C. Kleene, Realizability

Kreider, Donald L.

p. 242-243

Project Euclid

Review: Stephen C. Kleene, Realizability and Shanin's Algorithm for the Constructive Deciphering of Mathematical Sentences

Kreider, Donald L.

p. 243-244

Project Euclid

Review: R. L. Goodstein, Recursive Analysis

Guard, James R.

p. 244-245

Project Euclid

Review: R. S. Lehman, On Primitive Recursive Real Numbers

Axt, Paul

p. 245-246

Project Euclid

Review: Walter E. Stuermann, Plotting Boolean Functions; Walter E. Stuermann, The Boole Table Generalized

Mays, W.

p. 246-247

Project Euclid

Review: U. I. Anov, A. A. Mucnik, On the Existence of $k$-Valued Closed Classes not Having a Finite Basis

p. 247-248

Project Euclid

Review: Hugues Leblanc, Etudes sur les Regles d'Inference Dites "Regles de Gentzen."

Bernays, Paul

p. 248-249

Project Euclid

Review: E.J. McCluskey, T.C. Bartee, A Survey of Switching Circuit Theories

Mullin, Albert

p. 251-252

Project Euclid

Review: B. A. Trahtenbrot, On Operators Realizable in Logical Nets

Blikle, Andrzej

Ducasse, C. J. ; Curry, Haskell B.

p. 252-253

Project Euclid

Early History of the Association for Symbolic Logic

p. 255-258

Project Euclid

Transfinite Recursive Progressions of Axiomatic Theories

Chang, C. C. ; Keisler, H. Jerome

p. 259-316

Project Euclid

An Improved Prenex Normal Form

p. 317-326

Project Euclid

A Propositional Logic with Subjunctive Conditionals

Angell, R. B.

p. 327-343

Project Euclid

Some Forms of Completeness

Gilmore, P. C.

p. 344-352

Project Euclid

Review: Paul Bernays, Zur Frage der Unendlichkeitsschemata in der Axiomatischen Mengenlehre

Shepherdson, J. C.

p. 353-354

Project Euclid

Review: Gaisi Takeuti, Axioms of Infinity of Set Theory

Shepherdson, J. C.

p. 354-355

Project Euclid

Review: Simon Kochen, Ultraproducts in the Theory of Models

p. 355-357

Project Euclid

Review: H. Jerome Keisler, Ultraproducts and Elementary Classes

p. 357-358

Project Euclid

Review: S. C. Kleene, Countable Functionals; S. C. Kleene, Recursive Functionals of Higher Finite Types

Kreider, Donald L.

p. 359-360

Project Euclid

Review: N. M. Nagornyj, Some Generalizations of the Concept of Normal Algorithm

p. 360-362

Project Euclid

Review: U. I. Anov, On Logical Schemata of Algorithms

p. 362-363

Project Euclid

Review: L. A. Kaluznin, On Algorithmization of Mathematical Problems

p. 363-364

Project Euclid

Review: A. P. Ersov, Operator Algorithms. I. Basic Concepts

p. 364-366

Project Euclid

Review: Andras Adam, Uber Zweipolige Elektrische Netze

Pollak, G.

p. 366-367

Project Euclid

Review: Gr. C. Moisil, Sur les Ideaux des Algebres Lukasiewicziennes Trivalents

p. 367-368

Project Euclid

Further Citations

p. 368-372

Project Euclid

Meeting of the Association for Symbolic Logic, Leeds 1962

Lob, M. H.

p. 373-382

Project Euclid

Incompleteness Along Paths in Progressions of Theories

Feferman, S. ; Spector, C.

p. 383-390

Project Euclid

The Separation Theorem of Intuitionist Propositional Calculus

Horn, Alfred

p. 391-399

Project Euclid

On McKinsey's Syntatical Characterizations of Systems of Modal Logic

Drake, F. R.

p. 400-406

Project Euclid

The Number of Modalities in T Supplemented by the Axiom $CL^2pL^3p$

Sugihara, Takeo

p. 407-408

Project Euclid

Functional Completeness and Canonical Forms in Many-Valued Logics

Jobe, William H.

p. 409-422

Project Euclid

Extensions of Some Theorems of Anderson and Belnap

Rose, Alan

p. 423-425

Project Euclid

The Independence of Connectives

Smiley, Timothy

p. 426-436

Project Euclid

Two Arithmetical Techniques with Numbered Classes

Standley, Gerald B.

p. 437-438

Project Euclid

The Semantics of Singular Terms

Matheson, Gordon

p. 439-466

Project Euclid

Review: Gunter Asser, Turing-Maschinen und Markowche Algoritmen

Rabin, Michael O.

p. 467-468

Project Euclid

Review: Paul R. Halmos, The Representation of Monadic Boolean Algebras

Daigneault, Aubert

p. 468-469

Project Euclid

Review: Paul R. Halmos, Algebraic Logic

Daigneault, Aubert

p. 469-470

Project Euclid

Review: L. P. Gokieli, On the Nature of the Logical

Comey, David Dinsmore

p. 470-471

Project Euclid

Review: Norwood Russell Hanson, The Godel Theorem. An Informal Exposition

p. 471-472

Project Euclid

Further Citations

p. 472-474

Project Euclid

Twenty-Eighth Annual Meeting of the Association for Symbolic Logic

Vaught, Robert L.

p. 475-483

Project Euclid

List of Officers and Members of the Association for Symbolic Logic