J. Symbolic Logic, Tome 40 (1975)

Project Euclid

Review: Karl R. Popper, The Logic of Scientific Discovery

Project Euclid

Review: Marian Przelecki, The Postulate of the Empiricalness of Scientific Terms

Kokoszynska, Maria

Project Euclid

Review: Wilhelm Ackermann, Der Aufbau Einer Hoheren Logik

Schutte, Kurt

Project Euclid

Review: N. G. De Bruijn, Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem

Seldin, Jonathan P.

Project Euclid

Review: Richard Montague, J. N. Crossley, M. A. E. Dummett, Set Theory and Higher-Order Logic

Mansfield, Richard

Project Euclid

Review: E. William Chapin, Gentzen-Like Systems for Partial Propositional Calculi

Iseki, K.

Project Euclid

Review: Masao Ohnishi, Von Wright-Anderson's Decision Procedures for Lewis's Systems S2 and S3

Project Euclid

Review: A. Levy, The Interdependence of Certain Consequences of the Axiom of Choice

Pincus, David

Project Euclid

Review: Kazuo Matsumoto, Decision Procedure for Modal Sentential Calculus S3

Project Euclid

Review: J. I. Friedman, Proper Classes as Members of Extended Sets

Paris, J. B.

Project Euclid

Review: Richard Mansfield, Perfect Subsets of Definable Sets of Real Numbers

Moschovakis, Yiannis N.

Project Euclid

Review: Arthur Pap, Logic and the Concept of Entailment

Makinson, David

Project Euclid

Review: Ernest W. Adams, Subjunctive and Indicative Conditionals

Freudenthal, Hans

Project Euclid

Review: Giuliano Di Bernardo, Introduzione alla Logica dei Sistemi Normativi

Castaneda, Hector-Neri

Project Euclid

Review: Alan Rose, Extensions of Some Theorems of Anderson and Belnap

Makinson, David

Project Euclid

Review: Yoemon Sampei, A Proof of Mansfield's Theorem by Forcing Method

Moschovakis, Yiannis N.

Project Euclid

Review: Roberto Cignoli, Representation of Lukasiewicz and Post Algebras by Continuous Functions

Dwinger, Ph.

Project Euclid

Review: E. M. Kleinberg, The Independence of Ramsey's Theorem

Project Euclid

Review: H. Kunsemuller, Zur Axiomatik der Quantenlogik

Drieschner, M.

Project Euclid

Review: E. M. Kleinberg, R. A. Shore, On Large Cardinals and Partition Relations

Project Euclid

Review: M. Makkai, Svenonius Sentences and Lindstrom's Theory on Preservation Theorems

Fuhrken, G.

Project Euclid

Review: Greg Cherlin, Joram Hirschfeld, W. A. J. Luxemburg, A. Robinson, Ultrafilters and Ultraproducts in Non-Standard Analysis

Kopperman, Ralph

Project Euclid

Review: Kenneth Kunen, Indescribability and the Continuum

Garland, Stephen J.

Project Euclid

Review: Azriel Levy, J. W. Addison, Leon Henkin, Alfred Tarski, The Fraenkel-Mostowski Method for Independence Proofs in Set Theory; Paul E. Howard, Limitations on the Fraenkel-Mostowski Method of Independence Proofs

Pincus, David

Project Euclid

Review: G. H. Muller, Uber die Unendliche Induktion

Schutte, K.

Project Euclid

Review: Steven Orey, Relative Interpretations; S. Feferman, G. Kreisel, S. Orey, 1-Consistency and Faithful Interpretations

Shoenfield, J. R.

Project Euclid

Review: H. B. Enderton, The Unique Existential Quantifier

Martin, Donald A.

Project Euclid

Review: N. V. Belyakin, A Variation of Richter's Construction of Ordinals

Richter, Wayne

Project Euclid

Review: William E. Ritter, Notation Systems and an Effective Fixed Point Property

Pfeiffer, Helmut

Project Euclid

Review: J. W. de Bakker, Recursive Procedures

Milner, Robin

Project Euclid

Review: John Myhill, Raymond Klibansky, The Formalization of Intuitionism

Moschovakis, Joan Rand

Project Euclid

Review: A. S. Troelstra, J. E. Fenstad, Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types

Smorynski, C.

Project Euclid

Review: Oliver Aberth, Analysis in the Computable Number Field

Project Euclid

Review: Oliver Aberth, A Chain of Inclusion Relations in Computable Analysis

Project Euclid

Review: Michael O. Rabin, Decidability and Definability in Second-Order Theories

Siefkes, Dirk

Project Euclid

Review: Michael O. Rabin, Automata on Infinite Objects and Church's Problem

Siefkes, Dirk

Project Euclid

Review: Oliver Aberth, The Concept of Effective Method Applied to Computational Problems of Linear Algebra

Project Euclid

Review: Rosza Peter, Zum Beitrag von F. Schwenkel "Rekursive Wortfunktionen uber Unendlichen Alphabeten."; F. Schwenkel, Entgegnung

Project Euclid

Review: Oliver Aberth, Computable Analysis and Differential Equations

Project Euclid

Review: Oliver Aberth, The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations

Project Euclid

Review: A. A. Markov, On the Logic of Constructive Mathematics

Project Euclid

Review: A. A. Markov, B. van Rootselaar, J. F. Staal, An Approach to Constructive Mathematical Logic

Review: Shen Lin, Tibor Rado, Computer Studies of Turing Machine Problems; Allen H. Brady, The Conjectured Highest Scoring Machines for Rado's $\sum(k)$ for the Value $K = 4$; Milton W. Green, A Lower Bound on Rado's Sigma Function for Binary Turing Machines

Project Euclid

Project Euclid

Review: S. B. Cooper, Degrees of Unsolvability Complementary between Recursively Enumerable Degrees, Part I

Epstein, Dick

Project Euclid

Review: Frederic B. Fitch, Algebraic Simplification of Redundant Sequential Circuits

Ferebee, Ann S.

Project Euclid

Review: Sanat K. Basu, On the Structure of Subrecursive Degrees

Helm, John P.

Project Euclid

Review: Ronald Bjorn Jensen, Modelle der Mengenlehre

Boffa, Maurice

Project Euclid

Review: Witold A. Pogorzelski, On the Scope of the Classical Deduction Theorem

Tirnoveanu, Mircea

Project Euclid

Review: Hao Wang, Note on Rules of Inference

Project Euclid

Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory

van Heijenoort, J.

Project Euclid

Review: Ivo Thomas, The Rule of Excision in Positive Implication

Project Euclid

Review: G. Rousseau, Completeness in Finite Algebras with a Single Operation

Rosenberg, I. G.

Project Euclid

[Omnibus Review]

Cresswell, M. J.

Project Euclid

Review: Peter Schofield, Independent Conditions for Completeness of Finite Algebras with a Single Generator

Rosenberg, I. G.

Project Euclid

Review: A. N. Prior, Eugene Freeman, Wilfrid Sellars, Recent Advances in Tense Logic

McCall, Storrs

Project Euclid

Review: Gerold Stahl, The Effectivity of Questions

Kubinski, Tadeusz

Project Euclid

Review: John L. Pollock, Introduction to Symbolic Logic

Hurdle, B. G.

Project Euclid

Notice of a Meeting of the Association for Symbolic Logic

Project Euclid

Review: B. F. McGuinness, Russell, Bertrand, Philosophy of

Project Euclid

Review: G. L. Farre, Peano, Giuseppe

Project Euclid

Review: Donald Monk, Singulary Cylindric and Polyadic Equality Algebras

Pigozzi, Don

Project Euclid

Review: W. A. Wallace, Logic, Symbolic

Project Euclid

Review: J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell, N. H. Williams, What is Mathematical Logic?

Gould, William E.

Project Euclid

Review: H. A. Nielsen, Linguistic Analysis

Project Euclid

Review: G. L. Farre, Frege, Gottlob

Project Euclid

Review: G. L. Farre, De Morgan, Augustus

Project Euclid

Review: G. L. Farre, Boole, George

Project Euclid

Review: T. A. K. Kloyda, Bolzano, Bernhard

Project Euclid

Review: J. A. Ladriere, Axiomatic System

Project Euclid

Review: H. A. Nielsen, Antinomy

Project Euclid

Review: M. J. Charlesworth, Analytical Philosophy

Project Euclid

Review: Luis Neves Real, Kurt Godel e os Problemas dos Fundamentos da Matematica e a Teoria dos Conjuntos

Costa, N. C. A. Da

Project Euclid

Review: Stephen F. Barker, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Realism as a Philosophy of Mathematics

Project Euclid

Review: Gottfried Kothe, Sobre a Nao Contradicao da Matematica

Costa, N. C. A. Da

Project Euclid

Review: Yoemon Sampei, On the Complete Basis for the $\Delta^1_2$ Sets

Leeds, Stephen

Project Euclid

Review: C. C. Chang, Yiannis N. Moschovakis, The Suslin-Kleene Theorem for $V_\kappa$ with Cofinality $(\kappa) = \omega$

Smorynski, C.

Project Euclid

Review: Sheila Greibach, A Note on Undecidable Properties of Formal Languages

Ullian, Joseph S.

Project Euclid

Review: Haskell B. Curry, The Undecidability of $\lambda$K-Conversion

Orgass, Richard J.

Project Euclid

Review: Giorgio Ausiello, Abstract Computational Complexity and Cycling Computations

Lynch, Nancy

Project Euclid

Review: Ian Hacking, Logic of Statistical Inference

Matthews, Gordon

Project Euclid

Review: Sze-Tsen Hu, Threshold Logic

Project Euclid

Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models

Ulrich, Dolph

Project Euclid

Review: James E. Tomberlin, The Sea Battle Tomorrow and Fatalism

Cocchiarella, Nino

Project Euclid

Review: C. E. M. Yates, Arithmetical Sets and Retracing Functions

Bredlau, Carl

Project Euclid

Review: I. D. Zaslavskii, E. Mendelson, Some Properties of Constructive Real Numbers and Constructive Functions

Project Euclid

Review: Miroslav Benda, On Saturated Reduced Products

Pacholski, Leszek

Project Euclid

Review: Saharon Shelah, For what Filters is Every Reduced Product Saturated?

Pacholski, Leszek

Project Euclid

Notices

Project Euclid

Review: Roland Fraisse, Une Generalisation de l'Ultraproduit

Feferman, Solomon

Project Euclid

Review: E. W. Beth, Observations Concernant la Theorie de la Definition

Bouvere, Karel De

Project Euclid

Review: A. Heyting, Intuitionism in Mathematics

Project Euclid

Review: Shoji Maehara, Logic in Japan

Project Euclid

Review: Jerzy Slupecki, Raymond Klibansky, Logic in Poland; Maria Kokoszynska, Kazimierz Ajdukiewicz; Ettore Casari, La Logique en Italie

Project Euclid

Review: Rudolf Carnap, Logische Syntax der Sprache

Project Euclid

Review: A. N. Prior, J. N. Crossley, M. A. E. Dummett, Existence in Lesniewski and in Russell

Lejewski, C.

Project Euclid

A New Look at the Interpolation Problem

Stern, Jacques

Blanc, Georges ; Preller, Anne

p. 1-13

Project Euclid

Lawvere's Basic Theory of the Category of Categories

Harrington, Leo A. ; Kechris, Alexander S.

p. 14-18

Project Euclid

On Characterizing Spector Classes

p. 19-24

Project Euclid

Weak Liberated Versions of $T$ and $S4$

Morgan, Charles G.

p. 25-30

Project Euclid

A Counterexample in the Theory of Model Companions

Saracino, D.

p. 31-34

Project Euclid

First-Order Definability in Modal Logic

Goldblatt, R. I.

p. 35-40

Project Euclid

On Models of Arithmetic--Answers to Two Problems Raised by H. Gaifman

Wilkie, Alex

p. 41-47

Project Euclid

A Large Power Set Axiom

Cohen, Paul E.

p. 48-54

Project Euclid

A Note on Modal Formulae and Relational Properties

van Benthem, J. F. A. K.

p. 55-58

Project Euclid

Descending Sequences of Degrees

Steel, John

Goldfarb, Warren D. ; Lewis, Harry R.

p. 59-61

Project Euclid

Skolem Reduction Classes

p. 62-68

Project Euclid

The Word Problem for Free Fields: A Correction and an Addendum

Cohn, P. M.

Prikry, Karel ; Solovay, Robert M.

p. 69-74

Project Euclid

On Partitions into Stationary Sets

p. 75-80

Project Euclid

Review: Corrado Bohm, Wolf Gross, E. R. Caianiello, Introduction to the CUCH; C. Bohm, T. B. Steel, The CUCH as a Formal and Description Language

Seldin, Jonathan P.

p. 81-83

Project Euclid

Review: S. B. Cooper, Minimal Degrees and the Jump Operator

Posner, David

p. 86-87

Project Euclid

Review: Thomas J. Grilliot, Omitting Types: Application to Recursion Theory

Richter, Wayne

p. 87-88

Project Euclid

[Omnibus Review]

Taylor, Walter

p. 88-92

Project Euclid

Review: Ulrich Felgner, Models of ZF-Set Theory; Thomas J. Jech, Lectures in Set Theory with Particular Emphasis on the Method of Forcing

Drake, Frank R.

p. 92-93

Project Euclid

Review: J. R. Shoenfield, Measurable Cardinals

Kunen, Kenneth

p. 93-94

Project Euclid

Review: Warren D. Goldfarb, Jacques Herbrand, Logical Writings

Benejam, Jean-Pierre

p. 94-95

Project Euclid

Review: A. S. Yessenin-Volpin, The Ultra-Intuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics

Geiser, James R.

Review: J. Ridder, Die Gentzenschen Schluszverfahren in Modalen Aussagenlogiken; K. Matsumoto, M. Ohnishi, J. Ridder, Die Gentzenschen Schluszverfahren in Modalen Aussagenlogiken. I; J. Ridder, Die Gentzenschen Schluszverfahren in Modalen Aussagenlogiken. II and III

p. 95-97

Project Euclid

Routley, R.

p. 97-98

Project Euclid

Review: V. B. Kudravcev, On Covers for Precomplete Classes in $k$-Valued Logic

Rosenberg, I. G.

p. 98-99

Project Euclid

Review: C. L. Hamblin, Starting and Stopping; C. L. Hamblin, J. T. Fraser, F. C. Haber, G. H. Muller, Instants and Intervals

McCall, Storrs

p. 99-100

Project Euclid

Review: Richard Sharvy, Eugene Freeman, Wilfrid Sellars, Things

McCall, Storrs

p. 100-101

Project Euclid

Review: Howard DeLong, A Profile of Mathematical Logic; Lewis Carroll, A Logical Paradox; Lewis Carroll, What the Tortoise said to Achilles

Grandy, Richard E.

p. 101-102

Project Euclid

Review: Czeslaw Lejewski, Logic and Existence; A. N. Prior, English and Ontology

Iwanus, Boguslaw

p. 102-103

Project Euclid

Review: Czeslaw Lejewski, A Re-Examination of the Russellian Theory of Descriptions

Iwanus, Boguslaw

p. 103-104

Project Euclid

Review: Gottfried Martin, Existenz und Widerspruchsfreiheit in der Logik von Leibniz

O'Briant, Walter H.

p. 104-105

Project Euclid

Review: Gustav Bergmann, Russell's Examination of Leibniz Examined

O'Briant, Walter H.

p. 105-106

Project Euclid

Review: Gustav Bergmann, Sameness, Meaning, and Identity; Gustav Bergmann, Individuals; Gustav Bergmann, Herbert Hochberg, Concepts

Perry, John

p. 106-107

Project Euclid

Further Citations

p. 107-111

Project Euclid

One Hundred and Two Problems in Mathematical Logic

Friedman, Harvey

p. 113-129

Project Euclid

A Survey of Partial Degrees

Sasso, Leonard P.

p. 130-140

Project Euclid

The Inadequacy of the Neighbourhood Semantics for Modal Logic

Gerson, Martin

p. 141-148

Project Euclid

Sets Equipollent to their Power Set in NF

Boffa, Maurice

p. 149-150

Project Euclid

Natural Models and Ackermann-Type Set Theories

Lake, John

Dawes, A. M. ; Florence, J. B.

p. 151-158

Project Euclid

Independent Godel Sentences and Independent Sets

Metakides, George ; Plotkin, J. M.

p. 159-166

Project Euclid

An Algebraic Characterization of Power Set in Countable Standard Models of ZF

p. 167-170

Project Euclid

A Simplification of the Bachmann Method for Generating Large Countable Ordinals

Bridge, Jane

p. 171-185

Project Euclid

On Spectra, and the Negative Solution of the Decision Problem for Identities having a Finite Nontrivial Model

Mckenzie, Ralph

p. 186-196

Project Euclid

Two Forms of the Axiom of Choice for an Elementary Topos

Penk, Anna Michaelides

p. 197-212

Project Euclid

$\aleph_0$-Categorical Modules

Baur, Walter

p. 213-220

Project Euclid

Extending Godel's Negative Interpretation to ZF

Powell, William C.

p. 221-229

Project Euclid

Review: G. Kreisel, R. O. Gandy, C. E. M. Yates, Some Reasons for Generalizing Recursion Theory

Yates, C. E. M.

p. 230-232

Project Euclid

Review: Dag Prawitz, J. E. Fenstad, Ideas and Results in Proof Theory

Feferman, Solomon

p. 232-234

Project Euclid

Review: Joseph R. Shoenfield, Mathematical Logic

Monk, Donald

p. 234-236

Project Euclid

Review: Maria Luisa Dalla Chiara Scabia, Modelli Sintattici e Semantici delle Teorie Elementari

Borger, Egon

p. 236-237

Project Euclid

Review: Raymond M. Smullyan, First-order Logic

Craig, William

p. 237-238

Project Euclid

Review: Jean-Pierre Benejam, Application du Theoreme de Herbrand a la Presentation de Theses Teratologiques du Calcul des Predicats Elementaire; Roland Fraisse, Reflexions sur la Completude Selon Herbrand

Goldfarb, Warren D.

p. 238-239

Project Euclid

Review: Wilbur John Walkoe, Finite Partially-Ordered Quantification

Lopez-Escobar, E. G. K.

p. 239-240

Project Euclid

Review: Anne Preller, La Categorie des Algebres Quantifiees

Hatcher, William S.

p. 240-241

Project Euclid

Review: Ronald Bjorn Jensen, Donald Davidson, Jaakko Hintikka, D. Reidel, On the Consistency of a Slight (?) Modification of Quine's New Foundations; W. V. Quine, Reply to Jensen

Henson, C. Ward

p. 241-242

Project Euclid

Review: Ladislav Rieger, A Contribution to Godel's Axiomatic Set Theory, II and III

Costa, N. C. A. Da

p. 242-243

Project Euclid

Review: Yoemon Sampei, On the Principle of Effective Choice and its Applications

Leeds, Stephen

p. 243-244

Project Euclid

Review: Andrew Adler, Extensions of Non-Standard Models of Number Theory; Haim Gaifman, A Note on Models and Submodels of Arithmetic

Smorynski, C.

p. 244-245

Project Euclid

Review: J. Hartmanis, J. E. Hopcroft, What Makes Some Language Theory Problems Undecidable

Fischer, Patrick C.

p. 245-246

Project Euclid

Review: Donald M. Kaplan, Some Completeness Results in the Mathematical Theory of Computation

Orgass, Richard J.

p. 246-247

Project Euclid

Review: Dana Scott, The Lattice of Flow Diagrams

Reynolds, John C.

p. 247-248

Project Euclid

Review: V. N. Agafonov, Complexity of Computing Pseudorandom Sequences

Loveland, D. W.

p. 248-249

Project Euclid

Review: Robert A. DiPaola, Random Sets in Subrecursive Hierarchies

Loveland, Donald W.

p. 249-250

Project Euclid

Review: Timothy Smiley, The Independence of Connectives

Ulrich, Dolph

p. 250-251

Project Euclid

Review: D. Paul Snyder, Modal Logic and its Applications

Montgomery, Hugh

p. 251-252

Project Euclid

Review: Nicholas Rescher, Temporal Logic

Bull, Robert A.

p. 252-253

Project Euclid

Review: James E. Tomberlin, Existence Attributes: A Second Look

Cocchiarella, Nino

p. 253-254

Project Euclid

Review: C. L. Hamblin, The Effect of when It's Said

Harrah, David

p. 254-255

Project Euclid

Review: Evert W. Beth, Science a road to wisdom

Berghel, H. L.

p. 255-256

Project Euclid

Further Citations

p. 256-298

Project Euclid

Meeting of the Association for Symbolic Logic

Gilmore, P. C. ; Martin, Donald ; Mendelson, Elliott

p. 299-304

Project Euclid

Bounds for the Closure Ordinals of Replete Monotonic Increasing Functions

Schmidt, Diana

p. 305-316

Project Euclid

Types Omitted in Uncountable Models of Arithmetic

Knight, Julia F.

p. 317-320

Project Euclid

The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations

Beeson, Michael J.

p. 321-346

Project Euclid

Constructive Set Theory

Myhill, John

p. 347-382

Project Euclid

Construction of Models from Groups of Permutations

Benda, Miroslav

p. 383-388

Project Euclid

Complete Theories with Countably many Rigid Nonisomorphic Models

Malitz, Jerome

p. 389-392

Project Euclid

On an Extension of Hilbert's Second $|varepsilon$-Theorem

Flannagan, T. B.

p. 393-397

Project Euclid

A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic

Paola, Robert A. Di

p. 398-400

Project Euclid

Uniform Enumeration Operations

Lachlan, A. H.

p. 401-409

Project Euclid

$L(Q)$-Preservation Theorems

Flum, Jorg

p. 410-418

Project Euclid

Semi-Minimal Theories and Categoricity

Andler, Daniel

p. 419-438

Project Euclid

Categories of Frames for Modal Logic

Thomason, S. K.

p. 439-442

Project Euclid

An Interpolation Lemma for the Pure Implicational Calculus

Edelstein, Roy

p. 443-444

Project Euclid

Review: Bimal Krishna Matilal, The Navya-Nyaya Doctrine of Negation. The Semantics and Ontology of Negative Statements in Navya-Nyaya Philosophy

Berg, Jan

p. 445-447

Project Euclid

Review: A. S. Troelstra, Principles of Intuitionism. Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y

Moschovakis, Joan Rand

p. 447-448

Project Euclid

Review: Jaakko Hintikka, Imre Lakatos, Induction by Enumeration and Induction by Elimination; J. R. Lucas, R. Carnap, M. B. Hesse, J. Hintikka, Discussion

Kyburg, Henry E.

p. 448-449

Project Euclid

Review: Rudolf Carnap, Inductive Logic and Inductive Intuition; M. Bunge, J. W. N. Watkins, Y. Bar-Hillel, K. R. Popper, J. Hintikka, R. Carnap, Discussion

Kyburg, Henry E.

p. 449-450

Project Euclid

Review: Per Martin-Lof, The Definition of Random Sequences; Per Martin-Lof, The Literature on von Mises' Kollectivs Revisited; Per Martin-Lof, A. Kino, J. Myhill, R. E. Vesley, On the Notion of Randomness

DiPaola, Robert A.

p. 450-452

Project Euclid

Review: Joseph R. Shoenfield, Degrees of Unsolvability

Sasso, Leonard P.

p. 452-453

Project Euclid

Review: J. Diller, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen

Howard, William A.

p. 453-454

Project Euclid

Review: Daniel Lacombe, R. O. Gandy, C. E. M. Yates, Recursion Theoretic Structure for Relational Systems

Gordon, Carl E.

p. 454-455

Project Euclid

Review: Walter Taylor, Some Constructions of Compact Algebras; Walter Taylor, Residually Small Varieties

Wenzel, G. H.

p. 455-456

Project Euclid

Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem

p. 457-458

Project Euclid

Review: Paul J. Cohen, Comments on the Foundations of Set Theory

Martin, Donald A.

p. 459-460

Project Euclid

Review: William B. Easton, Powers of Regular Cardinals; J. R. Shoenfield, Unramified Forcing

Rosser, J. Barkley

p. 460-461

Project Euclid

Review: J. Kotas, Axioms for Birkhoff--v. Neumann Quantum Logic

Drieschner, M.

p. 463-464

Project Euclid

Review: Roberto Cignoli, Moisil Algebras

Dwinger, Ph.

p. 464-465

Project Euclid

Review: V. I. Klevacev, On a Proof of Completeness in $P_k$ of Simultaneous Functions $k - 2, \sim x, x_1 \supset x_2$

Ferebee, Ann S.

p. 465-466

Project Euclid

Review: Masao Ohnishi, Kazuo Matsumoto, Gentzen Method in Modal Calculi

p. 466-467

Project Euclid

Review: Masao Ohnishi, Kazuo Matsumoto, Gentzen Method in Modal Calculi, II

p. 467-468

Project Euclid

Review: Masao Ohnishi, Gentzen Decision Procedures for Lewis's Systems S2 and S3

p. 468-469

Project Euclid

Review: A. S. Kuzicev, Venn Diagrams. History and Applications

Ferebee, Ann S.

p. 469-470

Project Euclid

Review: E. K. Blum, Towards a Theory of Semantics and Compilers for Programming Languages

Park, David

p. 470-471

Project Euclid

Review: Karl Popper, The Logic of Scientific Discovery

p. 471-472

Project Euclid

Review: W. V. Quine, Jean van Heijenoort, Introductory Note; Alfred North Whitehead, Bertrand Russell, Incomplete Symbols: Descriptions

p. 472-473

Project Euclid

Further Citations

p. 473-527

Project Euclid

On Degrees of Unsolvability and Complexity Properties

Marques, Ivan

p. 529-540

Project Euclid

Canonical Partition Relations

p. 541-554

Project Euclid

"Helping": Several Formalizations

Lynch, Nancy

p. 555-566

Project Euclid

The Foundations of Suslin Logic

Ellentuck, Erik

Review: Michael Kassler, The Decision of Arnold Schoenberg's Twelve-Note-Class System and Related Systems; Michael Kassler, A Sketch of the use of Formalized Languages for the Assertion of Music; Michael Kassler, Toward a Theory that is the Twelve-Note-Class System

p. 567-575

Project Euclid

Sharvy, Richard

p. 576-577

Project Euclid

[Omnibus Review]

Sharvy, Richard

p. 577-578

Project Euclid

Review: Bimal Krishna Matilal, Epistemology, Logic, and Grammar in Indian Philosophical Analysis

Berg, Jan

p. 578-579

Project Euclid

Review: David Greenwood, Truth and Meaning

Bealer, George

p. 579-580

Project Euclid

Review: Jacques Bouveresse, Carnap, le Langage et la Philosophie

Bar-Hillel, Yehoshua

p. 580-581

Project Euclid

Review: Rudolf Carnap, Stdies in Inductive Logic and Probability

Miller, David

p. 581-583

Project Euclid

Review: Heinrich Behmann, Der Pradikatenkalkul mit Limitierten Variablen. Grundlegung Einer Naturlichen Exakten Logik; Heinrich Behmann, Das Russellsche Paradoxon und die Formale Logik

Hasenjaeger, G.

p. 583-584

Project Euclid

[Omnibus Review]

Cargile, James

p. 584-587

Project Euclid

Review: W. V. Quine, Philosophy of Logic

Grandy, Richard E.

p. 587-588

Project Euclid

Review: Stephan Korner, The Philosophy of Mathematics. An Introductory Essay

Steiner, Mark

p. 588-593

Project Euclid

Review: Joseph Ullian, Bernard Baumrin, Mathematical Objects; Joseph S. Ullian, Is any Set Theory True?

p. 593-595

Project Euclid

Review: I. Thomas, Logic, History of

p. 596-597

Project Euclid

Review: E. R. Kiely, Mathematics, History of

p. 597-598

Project Euclid

Review: M. Gorman, Semantics

p. 598-599

Project Euclid

Review: G. Stahl, Un Developpement de la Logique des Questions

Kubinski, Tadeusz

p. 599-600

Project Euclid

Review: Richard Montague, Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability

Smith, Perry

p. 600-601

Project Euclid

Review: Soren Hallden, A Pragmatic Approach to Modal Theory

Follesdal, Dagfinn

p. 601-602

Project Euclid

Review: R. Bradshaw Angell, Note on a Less Restricted Type of Rule of Inference; R. B. Angell, The Sentential Calculus using Rule of Inference $R_e$

p. 602-603

Project Euclid

Review: J. Los, R. Suszko, Remarks on Sentential Logics

p. 603-604

Project Euclid

Review: W. A. Pogorzelski, Structural Completeness of the Propositional Calculus

Tirnoveanu, Mircea

p. 604-605

Project Euclid

Review: Witold A. Pogorzelski, The Deduction Theorem for Lukasiewicz Many-Valued Propositional Calculi

Tirnoveanu, Mircea

p. 605-606

Project Euclid

Review: Timothy Smiley, Syllogism and Quantification; William Tuthill Parry, Quantification of the Predicate and Many-Sorted Logic

Bacon, John

p. 606-607

Project Euclid

Review: Alice Ambrose, Morris Lazerowitz, Fundamentals of Symbolic Logic

Parry, W. T.

p. 607-608

Project Euclid

Review: David Makinson, Remarks on the Concept of Distribution in Traditional Logic

Parry, W. T.

p. 608-609

Project Euclid

Review: Ernst Schroder, Vorlesungen uber die Algebra der Logik (Exacte Logik)

Bernays, Paul

p. 609-614

Project Euclid

Review: F. D. Parker, Boolean Matrices and Logic; Hugh G. Campbell, Linear Algebra with Applications Including Linear Programming

p. 614-615

Project Euclid

Review: Dana Scott, Some Definitional Suggestions for Automata Theory

Barnes, Robert F.

p. 615-616

Project Euclid

Review: Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg, Time-Restricted Sequence Generation

Becvar, Jiri

p. 616-617

Project Euclid

Review: Richard M. Karp, Raymond E. Miller, James W. Thatcher, Reducibility Among Combinatorial Problems

Book, Ronald V.

p. 618-619

Project Euclid

Review: Ann Yasuhara, Recursive Function Theory and Logic

Ullian, Joseph S.

p. 619-620

Project Euclid

Review: Rozsa Peter, Uber die Verallgemeinerung der Theorie der Rekursiven Funktionen fur Abstrakte Mengen Geeigneter Struktur als Definitionsbereiche

p. 620-621

Project Euclid

Review: Frieder Schwenkel, Rekursive Wortfunktionen uber Unendlichen Alphabeten

p. 621-622

Project Euclid

Review: Michael O. Rabin, Weakly Definable Relations and Special Automata

Siefkes, Dirk

p. 622-623

Project Euclid

Review: W. W. Tait, J. N. Crossley, M. A. E. Dummett, Infinitely Long Terms of Transfinite Type

Lopez-Escobar, E. G. K.

p. 623-624

Project Euclid

Review: W. W. Tait, Intensional Interpretations of Functionals of Finite Type I

Girard, J. Y.

p. 624-625

Project Euclid

Review: Solomon Feferman, Ordinals and Functionals in Proof Theory

Kreisel, Georg

p. 625-626

Project Euclid

Review: Gisbert Hasenjaeger, E. C. M. Mays, Introduction to the Basic Concepts and Problems of Modern Logic

Muller, Gert H.

p. 627-628

Project Euclid

Review: Hugues Leblanc, William A. Wisdom, Deductive Logic

Gould, William E.

p. 628-629

Project Euclid

Review: K. Kuratowski, A. Mostowski, M. Maczynski, Set Theory

p. 629-630

Project Euclid

Review: Nicolas Bourbaki, Theory of Sets

Smith, Perry

p. 630-631

Project Euclid

Review: A. Mostowski, Constructible Sets with Applications

Smith, Perry

p. 631-632

Project Euclid

Review: R. Bjorn Jensen, The Fine Structure of the Constructible Hierarchy

Laver, Richard

p. 632-633

Project Euclid

[Omnibus Review]

Keisler, H. Jerome

p. 633-634

Project Euclid

Review: J. I. Malitz, W. N. Reinhardt, Maximal Models in the Language with Quantifier "There Exist Uncountably Many."; J. I. Malitz, W. N. Reinhardt, A Complete Countable $L^Q_{\omega_1}$ Theory with Maximal Models of Many Cardinalities

Yasuhara, Mitsuru

p. 635-636

Project Euclid

Review: Michael Morley, Countable Models of $\aleph_1$-Categorical Theories; J. T. Baldwin, A. H. Lachlan, On Strongly Minimal Sets

Rosenthal, John W.

p. 636-637

Project Euclid

Review: Gerald E. Sacks, Saturated Model Theory

Makkai, Michael

p. 637-640

Project Euclid

Review: Anatolii Ivanovic Mal'cev, B. F. Wells, Benjamin Franklin Wells, The Mathematics of Algebraic Systems, Collected Papers 1936-1967

Dyson, Verena H.

p. 640-647

Project Euclid

Further Citations

p. 647-650

Project Euclid

Association for Symbolic Logic

p. 651-686

Project Euclid

Index of Reviews: Volumes XXXIX, XL

p. 687-760

Project Euclid

Notices