J. Symbolic Logic, Tome 36 (1971)

Project Euclid

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

Grilliot, Thomas J.

Project Euclid

Review: Robert I. Soare, Recursion Theory and Dedekind Cuts; Robert I. Soare, Cohesive Sets and Recursively Enumerable Dedekind Cuts

Mayoh, Brian H.

Project Euclid

Review: Michael O. Rabin, Yehoshua Bar-Hillel, A Simple Method for Undecidability Proofs and Some Applications

Hanf, William

Project Euclid

Review: B. G. Mirkin, An Algorithm for Constructing a Base in a Language of Regular Expressions

Brzozowski, J. A.

Project Euclid

Review: Philip K. Hooper, The Undecidability of the Turing Machine Immortality Problem

Herman, Gabor T.

Project Euclid

Review: Sheila A. Greibach, The Unsolvability of the Recognition of Linear Context-free Languages

Ginsburg, Seymour

Project Euclid

Review: Frank B. Cannonito, The Godel Incompleteness Theorem and Intelligent Machines

Project Euclid

Review: V. S. Cernjavskii, J. M. Danskin, On a Class of Normal Markov Algorithms

Schreiber, P.

Project Euclid

Review: Michael Anderson, Note on the Mortality Problem for Shift State Trees

Hooper, Philip K.

Project Euclid

Review: David Makinson, A Normal Modal Calculus Between T and S4 without the Finite Model Property

Harrop, Ronald

Project Euclid

Review: M. H. Lob, Extensional Interpretations of Modal Logics

Makinson, David

Project Euclid

Review: Dean N. Arden, Delayed-Logic and Finite-State Machines

McNaughton, Robert

Project Euclid

Review: R. M. Martin, Does Modal Logic Rest Upon a Mistake?

Project Euclid

Review: Boleslaw Sobocinski, Note on G. J. Massey's Closure-Algebraic Operation

Project Euclid

Review: Gerald J. Massey, Binary Closure-Algebraic Operations that are Functionally Complete

Project Euclid

Review: R. L. Graham, On n-Valued Functionally Complete Truth Functions

Martin, Norman M.

Project Euclid

Review: A. A. Zinov'ev, A Method of Describing the Truth-Functions of the n-Valued Propositional Calculus

Rosenberg, I.

Project Euclid

Review: Janusz A. Brzozowski, Derivatives of Regular Expressions

Huzino, S.

Project Euclid

Review: Alan Rose, Extensions of Some Theorems of Schmidt and McKinsey, I

Project Euclid

Review: Richard Tursman, The Shortest Axioms of the Implicational Calculus; Ivo Thomas, Final Word on a Shortest Implicational Axiom

Project Euclid

Review: Elvin Rasof, The Carrollian Matrix

Project Euclid

Review: Alex Blum, The Missing Premiss

Project Euclid

Review: Wolfgang E. Spiess, Friedrich G. Rheingans, Einfuhrung in das Programmieren in FORTRAN

Project Euclid

Review: J. Kent Minichiello, An Extension of Negationless Logic

Gilmore, Paul C.

Project Euclid

Review: Roman Suszko, A Note Concerning the Binary Quantifiers

Project Euclid

Review: Hans Georg Steiner, Frege und die Grundlagen der Geometrie; G. Frege, M. E. Szabo, E. D. Klemke, On the Foundations of Geometry

Resnik, Michael D.

Project Euclid

Review: Richard Montague, Theories Incomparable with Respect to Relative Interpretability

Feferman, S.

Project Euclid

Review: A. Mostowski, Quelques Applications de la Topologie a La Logique Mathematique

Project Euclid

Review: Yoshindo Suzuki, A Complete Classification of the $\Delta\frac{1}{2}$-functions

Garland, Stephen J.

Project Euclid

Review: Yoshindo Suzuki, On the Uniformization Principle

Garland, Stephen J.

Project Euclid

Review: K. L. de Bouvere, A Mathematical Characterization of Explicit Definability

Project Euclid

Review: Wolfram Schwabhäuser, Über die Vollständigkeit der elementaren euklidischen Geometrie

Project Euclid

Review: Erwin Engeler, Zur Beweistheorie von Sprachen mit Unendlich Langen Formela

Lopez-Escobar, E. G. K.

Project Euclid

Review: Wolfram Schwabhäuser, Entscheidbarkeit und Vollständigkeit der elementaren hyperbolischen Geometrie

Project Euclid

Review: James Ax, On the Undecidability of Power Series Fields

Project Euclid

Review: Wolfram Schwabhäuser, Über die Nichtdefinierbarkeit einiger Begriffe der hyperbolischen Geometrie mit elementaren Mitteln

Project Euclid

Review: Aubert Daigneault, Tensor Products of Polyadic Algebras

Ponasse, D.

Project Euclid

Review: Roman Sikorski, Products of Generalized Algebras and Products of Realizations

Monk, Donald

Project Euclid

Review: Wolfram Schwabhauser, On Models of Elementary Elliptic Geometry

Szczerba, L. W.

Project Euclid

Review: Azriel Levy, On Models of Set Theory with Urelements

Mendelson, Elliott

Project Euclid

Review: Leslie H. Tharp, On a Set Theory of Bernays

Shoenfield, J. R.

Project Euclid

Review: Wolfram Schwabhäuser, On Completeness and Decidability of Some Non-Definable Notions of Elementary Hyperbolic Geometry

Project Euclid

Review: Gregorio Klimovsky, Tres Enunciados Equivalentes al Teorema de Zorn

Project Euclid

Review: V. Devide, A Proof of the Well-Ordering Theorem; Vladimir Devide, A Proof of Zermelo's Theorem

Pottinger, Garrel

Project Euclid

Review: Th. Skolem, Two Remarks on Set Theory; John H. Harris, On a Problem of Th. Skolem

Rubin, Jean E.

Project Euclid

Review: Thoralf A. Skolem, Abstract Set Theory

Project Euclid

Review: Walter Felscher, Zur Algebra Unendlich Langer Zeichenreihen

Karp, Carol

Project Euclid

Review: Gerson B. Robison, An Introduction to Mathematical Logic

Project Euclid

Review: Carol R. Karp, Finite-Quantifier Equivalence

Keisler, H. Jerome

Project Euclid

Review: Richmond H. Thomason, Symbolic Logic

Hermes, Hans

Project Euclid

Review: Moses Richardson, Fundamentals of Mathematics

Project Euclid

Review: A. P. Bowran, A Boolean Algebra Abstract and Concrete

Project Euclid

Review: Hans Hermes, Einfuhrung in die Verbandstheorie

Jordan, Pascual

Project Euclid

Review: Mark Kac, Stanislaw M. Ulam, Frederick A. Praeger, Mathematics and Logic. Retrospect and Prospects

Booth, David

Project Euclid

Review: J. A. Kalman, Equational Completeness and Families of Sets Closed Under Subtraction

Project Euclid

Review: H. Ribeiro, R. Schwabauer, A Remark on Equational Completeness

Project Euclid

Review: Arthur Pap, Extensionality, Attributes, and Classes

Project Euclid

Review: Jacques Sublet, Essai de Formalisation Complete du Raisonnement Mathematique sur la Base de Trois Operations

Fitch, Frederic B.

Project Euclid

Review: Alan Ross Anderson, What do Symbols Symbolize?: Platonism; A. R. Anderson, B. Baumrin, W. Busse, T. Bynum, R. D. Gray, W. McCormack, W. Reese, Discussion

Ullian, Joseph S.

Project Euclid

Review: A. Heyting, After Thirty Years

Chateaubriand, O.

Project Euclid

Review: E. W. Beth, Ettore Casari, I Fondamenti Logici della Matematica

Sandri, Giorgio

Review: Konrad Marc-Wogau, Bemerkungen Zum Begriff "Sinnesdatum" in der Diskussion der Letzten Jahre; Justus Hartnack, A Note on Existence. Remarks on Professor Konrad Marc-Wogau's "Bemerkungen zum Begriff `Sinnesdatum' in der Diskussion der Letzten Jahre" (Theoria XVI); Konrad Marc-Wogau, Bemerkung zum Ausdruck "Existiert." Antwort auf die Bemerkungen von Justus Hartnack

Project Euclid

Berg, Jan

Project Euclid

Review: G. E. Hughes, M. J. Cresswell, An Introduction to Modal Logic

Project Euclid

Review: Samuel Reiss, The Universe of Meaning

Project Euclid

Review: G. F. Schumm, On Some Open Questions of B. Sobocinski

Project Euclid

Review: Andrzej Grzegorczyk, A Philosophically Plausible Formal Interpretation of Intuitionistic Logic

McKay, C. G.

Project Euclid

Review: C. G. McKay, On Finite Logics

Umezawa, T.

Project Euclid

Review: C. G. McKay, The Non-Separability of a Certain Finite Extension of Heyting's Propositional Logic

Umezawa, T.

Project Euclid

Review: L. P. Belluce, C. C. Chang, A Weak Completeness Theorem for Infinite Valued First-Order Logic

Scarpellini, Bruno

Project Euclid

Review: L. P. Belluce, Further Results on Infinite Valued Predicate Logic

Scarpellini, Bruno

Project Euclid

Review: Peter Freyd, The Theories of Functors and Models

Preller, Anne

Project Euclid

Review: Maurice L'Abbé, Structures algébriques suggérées par la logique mathématique

Henkin, Leon

Project Euclid

Review: Marc Krasner, Les algebres cylindriques

Henkin, Leon

Project Euclid

Review: A. I. Mal'cev, Post's Iterative Algebras and Varieties

Rosenberg, I.

Project Euclid

Review: Per Lindstrom, Remarks on Some Theorems of Keisler

Oberschelp, A.

Project Euclid

Review: Kao Hêng-San, Kuan-yü Łoś ho Suszko "lun mu-hsing ti k'uo-chung (IV)" i wen chih jo-kan hsiu-cheng ho chien-hua (Some corrections and simplifications of Łoś and Suszko's "On the extending of models (IV)")

Chang, C. C.

Project Euclid

Review: Robert M. Solovay, A Nonconstructible $\bigtriangleup_{3}^{1}$ Set of Integers

Martin, Donald A.

Project Euclid

Review: Maria Kokoszynska, Deduction as a Method of Proof

Project Euclid

Review: George Kimball Plochmann, Jack B. Lawson, Terms in Their Propositional Contexts in Wittgenstein's Tractatus

Project Euclid

Review: Jason Xenakis, Truth-Functional Perturbations

Project Euclid

Review: Alfred B. Manaster, Rich Co-Ordinals, Addition Isomorphisms, and RETs

Crossley, John N.

Project Euclid

Review: Henry W. Johnstone, Systemes Formels et Systemes Ontologiques

Project Euclid

Review: Vladeta Vuckovic, On a Class of Regular Sets

Seper, Kajetan

Project Euclid

Review: E. Mark Gold, Limiting Recursion; Hilary Putnam, Trial and Error Predicates and the Solution to a Problem of Mostowski

Shapiro, Norman

Project Euclid

Review: Vladeta Vuckovic, On Some Possibilities in the Foundations of Recursive Arithmetics of Words

Seper, Kajetan

Project Euclid

Review: A. D. Zakrevskii, A Visual-Matrix Method for Minimizing Boolean Functions

Enderton, H.

Project Euclid

Review: Albert A. Mullin, On a Necessary Condition for the Validity of Goldbach's Conjecture

Project Euclid

Review: E. I. Nechiporuk, On the Synthesis of Logical Nets in Incomplete and Degenerate Basis

Project Euclid

Review: Albert A. Mullin, On a Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory

Project Euclid

Review: O. B. Lupanov, G. R. Kiss, On the Realization of Functions of Logical Algebra by Formulae of Finite Classes (Formulae of Limited Depth) in the Basis &, $\vee$, $^-$

Project Euclid

Review: O. B. Lupanov, Implementing the Algebra of Logic Functions in Terms of Bounded Depth Formulas in the Basis of &, $\vee$, $^-$

Project Euclid

Review: Grigore Constantin Moisil, Teoria Algebrica dei Meccanismi Automatici

Project Euclid

Review: W. L. Duda, Post Canonical Language

Singletary, W. E.

Project Euclid

Review: Alan Rose, A Formalisation of the m-Valued Lukasiewicz Propositional Calculus with Super-Designated Truth-Values

Mihailescu, Eugen

Project Euclid

Review: Alan Rose, Sur les Schemas d'Axiomes Pour les Calculs Propositionnels a m Valeurs Ayant des Valeurs Surdesignees

Mihailescu, Eugen

Project Euclid

Review: Alan Rose, Formalisation du Calcul Propositionnel Implicatif a m Valeurs de Lukasiewicz

Mihailescu, Eugen

Project Euclid

Review: G. E. Hughes, The Independence of Axioms in the Propositional Calculus

Gladstone, M. D.

Project Euclid

Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems

Yasuhara, Ann

Project Euclid

Review: Leonidas Hegenberg, Logica Elementar; Leonidas Hegenberg, Logica Simbolica

Asenjo, Florencio G.

Project Euclid

Review: Tage Gutmann Madsen, About Mathematical Logic

Project Euclid

Review: Ulrich Klug, Juristische Logik

Muller, Gert H.

Project Euclid

Review: D. D. Mahulkar, The Groundwork of Modern Logic

Project Euclid

Review: Zdenek Zastavka, Uber Algorithmen mit Speicherelementen

Schreiber, P.

Project Euclid

Review: F. H. George, Automation Cybernetics and Society

Project Euclid

Review: M. Gross, A. Lentin, Introduction to Formal Grammars

Project Euclid

Review: G. B. Keene, Abstract Sets and Finite Ordinals. An Introduction to the Study of Set Theory

Project Euclid

Review: K. Wisniewski, Remark on the Axiom of Choice for Finite Sets

Levy, Azriel

Project Euclid

Review: K. Wisniewski, Weakened Forms of the Axiom of Choice for Finite Sets

Levy, Azriel

Project Euclid

Review: Andrzej Mostowski, On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility

Drake, F. R.

Project Euclid

Review: Ernst-Jochen Thiele, Die Vertraglichkeit der Kontinuumhypothese mit dem System der Mengenlehre von Zermelo-Fraenkel

Jech, Thomas J.

Project Euclid

Review: Fred B. Wright, Ideals in a Polyadic Algebra

Pigozzi, Don

Project Euclid

Review: Jiri Becvar, Real-Time and Complexity Problems in Automata Theory

Cook, Stephen A.

Project Euclid

Review: L. Novak Gal, A Note on Direct Products

Hasenjaeger, G.

Project Euclid

Review: B. H. Mayoh, Groups and Semigroups with Solvable Word Problems

Cannonito, F. B.

Project Euclid

Notice of a Meeting of the Association for Symbolic Logic

Project Euclid

Review: Donald J. Collins, Recursively Enumerable Degrees and the Conjugacy Problem

Clapham, C. R. J.

Project Euclid

Review: S. I. Adan, Problema algoritma (Problem of Algorithm)

Project Euclid

Review: Charles Hartshorne, Ten Ontological or Modal Proofs for God's Existence

Project Euclid

Review: J. C. E. Dekker, Closure Properties of Regressive Functions

Hay, Louise

Project Euclid

Review: Tae-il Suh, Equationally Complete Non-Associative Algebras

Project Euclid

Review: U. I. Anov, On Systems of Identities for Algebras

Project Euclid

Review: H. G. Forder, J. A. Kalman, Implication in Equational Logic

Project Euclid

Review: Eugene Jacobs, Robert Schwabauer, The Lattice of Equational Classes of Algebras with one Unary Operation

Project Euclid

Review: Jiri Becvar, A Universal Turing Machine with a Programming Tape

Baer, R. M.

Project Euclid

Review: Antonio Monteiro, Construction des Algebres de Nelson Finies

Nelson, David

Project Euclid

Review: G. P. Zykin, Comment on a Theorem of Hao Wang

Shepherdson, J. C.

Project Euclid

Review: Walter Oberschelp, Varianten von Turingmaschinen

Shepherdson, J. C.

Project Euclid

Review: Diana Brignole, Equational Characterization of Nelson Algebra

Nelson, David

Project Euclid

Review: Claude E. Shannon, A Universal Turing Machine with Two Internal States

Fischer, Patrick C.

Project Euclid

Review: Domenico Castaldo, Relazione fra le Funzioni Simmetriche in un Algebra di Boole

Ferro, Ruggero

Project Euclid

Review: Sheldon B. Akers, On the Algebraic Manipulation of Majority Logic

Project Euclid

Review: Vito F. Sinisi, Arbitrarily Selected Individuals in Natural Deduction

Project Euclid

Review: Kiyoshi Iseki, On the Cut Operation in Gentzen Calculi

Project Euclid

Review: Richard A. Platek, Eliminating the Continuum Hypothesis

Lopez-Escobar, E. G. K.

Project Euclid

Review: Alexander Abian, The Theory of Sets and Transfinite Arithmetic

Rotman, B.

Project Euclid

Review: Dieter Klaua, Systematische Behandlung der Losbaren Falle des Entscheidungsproblems fur den Pradikatenkalkul der Ersten Stufe

Goldfarb, Warren D.

Project Euclid

Review: G. E. Mints, A. O. Slisenko, Choice of Terms in Quantifier Rules of Constructive Predicate Calculus

Project Euclid

Review: G. Kreisel, Remark on Complete Interpretations by Models

van Dalen, D.

Project Euclid

Review: Bruce Lercher, Strong Reduction and Normal Form in Combinatory Logic

Sanchis, Luis E.

Project Euclid

Review: Samuel Issman, La conception formaliste des mathématiques

Project Euclid

Review: Karl Dohmann, Zur Charakteristik der Kontingenz

Project Euclid

Review: W. E. Singletary, Results Regarding the Axiomatization of Partial Propositional Calculi

Harrop, Ronald

Project Euclid

Review: Kurt Schutte, Vollstandige Systeme Modaler und Intuitionistischer Logik

Vesley, R. E.

Project Euclid

Review: Eugen Mihailescu, Sur Quelques Theoremes de la Logique Classique

Iseki, K.

Project Euclid

Review: L. L. Maksimova, On Models of the Calculus E

Anderson, Alan Ross

Project Euclid

Review: David Makinson, An Alternative Characterization of First-Degree Entailment

Project Euclid

Review: Eugen Mihailescu, Sur Quelques Theoremes dans les Calculs des Propositions Bivalentes

Iseki, K.

Project Euclid

Review: Nuel D. Belnap, EQ and the First Order Functional Calculus

Project Euclid

Review: Alan Ross Anderson, Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification

Project Euclid

Review: R. A. Bull, An Algebraic Study of Tense Logics with Linear Time; R. A. Bull, Note on a Paper in Tense Logic

Cocchiarella, Nino B.

Project Euclid

Review: Lennart Aqvist, A Binary Primitive in Deontic Logic

Hanson, William H.

Project Euclid

Review: Robert Blanche, Sur l'Interpretation du $\kappu\nu\rhoi\eplison\omega\nu \lambda\hat{o}\gammaos$

Segerberg, Krister

Project Euclid

Review: G. W. Turner, Time and Place Logic, a Further Discussion of A. N. Prior's 'Thank Goodness that's over' (XXV 343(3))

Anderson, Anthony

Project Euclid

Review: Hilary Putnam, Alan Ross Anderson, Sidney Hook, Minds and Machines

Ullian, Joseph S.

Project Euclid

Review: R. M. Martin, On Theoretical Constructs and Ramsey Constants

Bohnert, Herbert G.

Project Euclid

Review: Jan Berg, A Note on Deontic Logic

Hanson, William H.

Project Euclid

Review: David Lewis, How to Define Theoretical Terms

Project Euclid

Review: William W. Rozeboom, Of Selection Operators and Semanticists

Project Euclid

Review: Stig Kanger, Helle Kanger, Rights and Parliamentarism

Vonneuman, Nicholas A.

Project Euclid

Trees

Jech, Thomas J.

p. 1-14

Project Euclid

Logical Connectives for Intuitionistic Propositional Logic

McCullough, Dean P.

p. 15-20

Project Euclid

On Size vs. Efficiency for Programs Admitting Speed-Ups

Helm, John ; Young, Paul

p. 21-27

Project Euclid

Support Structures for the Axiom of Choice

Pincus, David

p. 28-38

Project Euclid

The Generalized Continuum Hypothesis is Equivalent to the Generalized Maximization Principle

Friedman, Joel I.

p. 39-54

Project Euclid

$\omega$-Homomorphisms and $\omega$-Groups

Applebaum, C. H.

Jockusch, Carl G. ; Soare, Robert I.

p. 55-65

Project Euclid

A Minimal Pair of $\Pi^0_1$ Classes

Baldwin, J. T. ; Lachlan, A. H.

p. 66-78

Project Euclid

On Strongly Minimal Sets

p. 79-96

Project Euclid

Semantics for $RK^1_t$

Rennie, M. K.

p. 97-107

Project Euclid

The Next Admissible Set

Barwise, K. J. ; Gandy, R. O. ; Moschovakis, Y. N.

Garfunkel, Solomon ; Shank, Herbert

p. 108-120

Project Euclid

On the Undecidability of Finite Planar Graphs

p. 121-126

Project Euclid

A Class of Decidable Intermediate Propositional Logics

McKay, C. G.

p. 127-128

Project Euclid

Weakly Atomic-Compact Relational Structures

Fuhrken, G. ; Taylor, W.

p. 129-140

Project Euclid

Review: Hartley Rogers, Theory of Recursive Functions and Effective Computability

Yates, C. E. M.

p. 141-146

Project Euclid

Review: D. A. Clarke, Hierarchies of Predicates of Finite Types

Hinman, Peter G.

p. 146-147

Project Euclid

Review: Yiannis N. Moschovakis, Hyperanalytic Predicates; Thomas J. Grilliot, Hierarchies Based on Objects of Finite Type

Hinman, Peter G.

p. 147-148

Project Euclid

Review: S. Mazur, A. Grzegorczyk, H. Rasiowa, Computable Analysis

Goodstein, R. L.

p. 148-150

Project Euclid

Review: R. J. Nelson, Introduction to Automata

McNaughton, Robert

p. 151-152

Project Euclid

Review: Alfred V. Aho, Jeffrey D. Ullman, The Theory of Languages

Ginsburg, Seymour

p. 152-153

Project Euclid

Review: Louis Hjelmslev, Omkring Sprogteoriens Grundlaeggelse; Louis Hjelmslev, Prolegomena to a Theory of Language

Qvarnstrom, Bengt-Olof

p. 153-154

Project Euclid

Review: Arpad Szabo, Anfange des Euklidischen Axiomensystems

Kneebone, G. T.

p. 154-155

Project Euclid

Review: Jon Barwise, Infinitary Logic and Admissible Sets

Lopez-Escobar, E. G. K.

p. 156-157

Project Euclid

Review: Dana Scott, J. W. Addison, Leon Henkin, Alfred Tarski, Logic with Denumerably Long Formulas and Finite Strings of Quantifiers

p. 157-158

Project Euclid

Review: J. Heidema, A. P. J. van der Walt, Contributions to the Metamathematical Theory of Ideals. I: Domains with Dense Kernel; J. Heidema, Contributions to the Metamathematical Theory of Ideals. II: Metamathematical Prime Ideals and Radicals

p. 158-159

Project Euclid

Review: C.C. Chang, Algebraization of Infinitely Many-Valued Logic; C. C. Chang, Algebraic Analysis of Many Valued Logics; C. C. Chang, A New Proof of the Completeness of the Lukasiewicz Axioms

Horn, Alfred

p. 159-160

Project Euclid

Review: Sherman K. Stein, Finite Models of Identities; A. K. Austin, A Note on Models of Identities

p. 160-161

Project Euclid

Review: A. Tarski, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Equational Logic and Equational Theories of Algebras

p. 161-162

Project Euclid

Review: Ph. Dwinger, F. M. Yaqub, Free Extensions of Sets of Boolean Algebras

Hales, Alfred W.

p. 163-164

Project Euclid

[Omnibus Review]

Baumgartner, James E.

p. 164-166

Project Euclid

Review: Melvin Chris Fitting, Intuitionistic Logic Model Theory and Forcing

Drake, F. R.

p. 166-167

Project Euclid

Review: G. B. Keene, First-Order Functional Calculus

p. 167-168

Project Euclid

Review: J. Los, A. Mostowski, H. Rasiowa, A Proof of Herbrand's Theorem; J. Los, H. Rasiowa, A. Mostowski, Addition au travail "A proof of Herbrand theorem"

Schutte, Kurt

p. 168-169

Project Euclid

Review: Georg Kreisel, Godel's Intepretation of Heyting's Arithmetic; G. Kreisel, Relations Between Classes of Constructive Functionals; Georg Kreisel, A. Heyting, Interpretation of Analysis by Means of Constructive Functionals of Finite Types

van Dalen, D.

p. 169-171

Project Euclid

Review: Roger Hindley, Axioms for Strong Reduction in Combinatory Logic; Bruce Lercher, The Decidability of Hindley's Axioms for Strong Reduction

Curry, Haskell B.

p. 171-172

Project Euclid

Review: Eugen Mihailescu, Les Formes Normales dans le Calcul Bivalent des Propositions

Iseki, K.

p. 172-173

Project Euclid

Review: G. E. M. Anscombe, Before and After

p. 173-175

Project Euclid

Review: John King-Farlow, Sea-Fights without Tears; John King-Farlow, Mr. Bradley and the Libertarians

Butler, Ronald J.

p. 175-177

Project Euclid

Review: Gustav Bergmann, Propositional Functions; Edwin B. Allaire, Types and Formation Rules: A Note on Tractatus 3.334

Wisdom, William A.

p. 177-178

Project Euclid

Review: Rudolf Carnap, Paul Arthur Schilpp, Intellectual Autobiography

Kokoszynska, Maria

p. 178-179

Project Euclid

Review: David Rynin, The Autonomy of Morals; R. F. Atkinson, The Autonomy of Morals

Diggs, B. J.

p. 179-180

Project Euclid

Review: R. M. Hare, The Language of Morals

Chellas, Brian F.

p. 180-181

Project Euclid

Review: H. D. Sluga, Some Remarks on Deontics

Conte, Amedeo G.

p. 181-182

Project Euclid

Review: Gerold Stahl, General Considerations about Modal Sentences

Dawson, Edward E.

p. 182-183

Project Euclid

Further Citations

p. 183-189

Project Euclid

A Symposium in Honor of Alfred Tarski

p. 190-191

Project Euclid

Some Theorems on $R$-Maximal Sets and Major Subsets of Recursively Enumerable Sets

Lerman, Manuel

p. 193-215

Project Euclid

Infinitary Analogs of Theorems from First Order Model Theory

Malitz, Jerome

p. 216-228

Project Euclid

Decision Problems for Tag Systems

Aanderaa, Stal ; Belsnes, Dag

p. 229-239

Project Euclid

On Theories Categorical in Their Own Power

Keisler, H. Jerome

p. 240-244

Project Euclid

On Effectively Discontinuous Type-2 Objects

Grilliot, Thomas J.

p. 245-248

Project Euclid

A Logic Stronger Than Intuitionism

Gornemann, Sabine

Maehara, Shoji ; Takeuti, Gaisi

p. 249-261

Project Euclid

Two Interpolation Theorems for a $\Pi^1_1$ Predicate Calculus

p. 262-270

Project Euclid

Recursively Enumerable Sets Which are Uniform for Finite Extensions

Alton, Donald A.

p. 271-287

Project Euclid

Natural Well-Orderings

Isles, David

p. 288-300

Project Euclid

Some Contrasts between Degrees and the Arithmetical Hierarchy

Manaster, Alfred B.

Kleinberg, E. M. ; Shore, R. A.

p. 301-304

Project Euclid

On Large Cardinals and Partition Relations

p. 305-308

Project Euclid

Can There be no Nonrecursive Functions?

Moschovakis, Joan Rand

p. 309-315

Project Euclid

Review: L. Jonathan Cohen, The Diversity of Meaning

Bennett, Jonathan

p. 316-318

Project Euclid

Review: Isaac Levi, Gambling with Truth. An Essay on Induction and the Aims of Science

Miller, David

p. 318-320

Project Euclid

Review: Rudolf Carnap, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, On the Use of Hilbert's $\varepsilon$-Operator in Scientific Theories

p. 320-321

Project Euclid

Review: Peter Achinstein, Theoretical Terms and Partial Interpretation

p. 321-322

Project Euclid

Review: Patrick Suppes, Joseph L. Zinnes, Basic Measurement Theory

Causey, Robert L.

p. 322-323

Project Euclid

Review: E. J. Ashworth, Propositional Logic in the Sixteenth and Early Seventeenth Centuries; E. J. Ashworth, Petrus Fonseca and Material Implication

Tweedale, Martin M.

p. 323-324

Project Euclid

Review: James G. Colbert, La Evolucion de la Logica Simbolica y sus Implicaciones Filosoficas

Mora, Jose Ferrater

p. 324-325

Project Euclid

Review: George Goe, Modifications of Quine's ML and Inclusive Quantification Systems

Stanley, Robert L.

p. 325-326

Project Euclid

Review: Patrick Suppes, Max Jerman, Dow Brian, Diana Axelsen, Guy Groen, Lester Hyman, Brian Tolliver, Computer-Assisted Instruction: Stanford's 1965-66 Arithmetic Program

Allen, Layman E.

p. 326-327

Project Euclid

Review: John E. Clifford, Tense Logic and the Logic of Change

Kamp, H.

p. 327-328

Project Euclid

Review: Tsutomu Hosoi, On Intermediate Logics

Troelstra, A. S.

p. 329-330

Project Euclid

Review: C. G. McKay, The Decidability of Certain Intermediate Propositional Logics

Umezawa, T.

p. 330-331

Project Euclid

Review: C. C. Chang, Logic with Positive and Negative Truth Values

Scarpellini, Bruno

p. 331-332

Project Euclid

Review: Peter Nidditch, A Note on the Redundant Axiom of Principia Mathematica

Bernays, Paul

p. 332-333

Project Euclid

Review: L. W. Szczerba, A. Tarski, Yehoshua Bar-Hillel, Metamathematical Properties of Some Affine Geometries

Rautenberg, Wolfgang

p. 333-334

Project Euclid

Review: S. C. Kleene, Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols; W. Craig, R. L. Vaught, Finite Axiomatizability Using Additional Predicates

Makkai, Mihaly

p. 334-335

Project Euclid

Review: M. Makkai, On $PC_{\triangle}$-Classes in the Theory of Models; M. Makkai, Remarks on My Paper "On $PC_{\triangle}$-Classes in the Theory of Models"

Frayne, Thomas

p. 335-336

Project Euclid

Review: F. William Lawvere, Algebraic Theories, Algebraic Categories, and Algebraic Functors

Preller, Anne

p. 336-337

Project Euclid

Review: Aubert Daigneault, Freedom in Polyadic Algebras and Two Theorems of Beth and Craig; Aubert Daigneault, On Automorphisms of Polyadic Algebras

Craig, William

p. 337-338

Project Euclid

Review: C. C. Chang, H. Jerome Keisler, Applications of Ultraproducts of Pairs of Cardinals to the Theory of Models; C. C. Chang, A Note on the Two Cardinal Problem

Slomson, A. B.

p. 338-339

Project Euclid

Review: Hilary Putnam, A Note on Constructible Sets of Integers

Mansfield, Richard

p. 339-340

Project Euclid

Review: J. R. Shoenfield, A Hierarchy Based on a Type Two Object

Richter, Wayne

p. 340-341

Project Euclid

Review: Wayne Richter, Extensions of the Constructive Ordinals; Wayne Richter, Constructive Transfinite Number Classes; Wayne Richter, Constructively Accessible Ordinal Numbers

Hensel, Gustav B.

p. 341-342

Project Euclid

Review: Robert R. Korfhage, Logic and Algorithms with Applications to the Computer and Information Sciences

Becvar, Jiri

p. 344-346

Project Euclid

Review: J. McCarthy, Cicely M. Popplewell, Towards a Mathematical Science of Computation; John McCarthy, Wayne A. Kalenich, Problems in the Theory of Computation

Orgass, Richard J.

p. 346-347

Project Euclid

Review: C. S. Lorens, Invertible Boolean Functions

Stone, Harold S.

p. 347-348

Project Euclid

Further Citations

p. 348-356

Project Euclid

Meetings of the Association for Symbolic Logic

Takeuti, Gaisi

p. 357-384

Project Euclid

An Application of Nonstandard Analysis to Game Theory

Wesley, Eugene

p. 385-394

Project Euclid

On Measures on Complete Boolean Algebras

Prikry, Karel

p. 395-406

Project Euclid

Elementary Embeddings and Infinitary Combinatorics

Kunen, Kenneth

p. 407-413

Project Euclid

Resolution in Type Theory

Andrews, Peter B.

p. 414-432

Project Euclid

A Splitting Theorem for Simple $\Pi^1_1$ Sets

Owings, James C.

p. 433-438

Project Euclid

A Note on a Theorem of Vaught

Rosenstein, Joseph G.

p. 439-440

Project Euclid

On the Notion of Algebraic Closedness for Noncommutative Groups and Fields

p. 441-444

Project Euclid

Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas

Gregory, John

p. 445-455

Project Euclid

A Quasi-Intuitionistic Set Theory

Tharp, Leslie H.

p. 456-460

Project Euclid

A Remark on Infinitary Languages

Flum, Jorg

p. 461-462

Project Euclid

Nonstandard Topology and Extensions of Monad Systems to Infinite Points

Wattenberg, Frank

p. 463-476

Project Euclid

Countable Vector Spaces with Recursive Operations. Part II

Dekker, J. C. E.

p. 477-493

Project Euclid

Existence and Feasibility in Arithmetic

Parikh, Rohit

p. 494-508

Project Euclid

[Omnibus Review]

Luschei, Eugene C.

p. 509-513

Project Euclid

Review: J. L. Austin, How to do Things with Words. The William James Lectures Delivered at Harvard University in 1955; Jon Wheatley, Austin on Implication and Entailment; Bill Mathews, Austin on Implication and Entailment: A Reply to Mr. Wheatley

Thomson, James

p. 513-514

Project Euclid

Review: Hans Freudenthal, E. J. Brill, Analyse mathematique de certaines structures linguistiques; P. Bernays, H. Freudenthal, F. Gonseth, M. Frechet, J. Ladriere, B. Segre, Discussion

p. 514-515

Project Euclid

Review: Arthur N. Prior, G. W. Turner, Papers on time and tense

Cocchiarella, Nino B.

p. 515-518

Project Euclid

Review: Nicholas Rescher, A Version of the "Master Argument" of Diodorus; Herbert Guerry, Rescher's Master Argument

Remes, Unto

p. 518-519

Project Euclid

Review: Erik Stenius, The Principles of a Logic of Normative Systems

Smiley, T. J.

p. 519-520

Project Euclid

Review: A. R. Anderson, N. D. Belnap Jr., First Degree Entailments

p. 520-521

Project Euclid

Review: Robert K. Meyer, J. Michael Dunn, E, R and $\gamma$

Makinson, David

p. 521-522

Project Euclid

Review: A. Heyting, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Axiomatic Method and Intuitionism

van Dalen, D.

p. 522-523

Project Euclid

Review: Jacques Herbrand, Écrits logiques

Bernays, Paul

p. 523-524

Project Euclid

Review: G. E. Minc, Analog Teoremy Erbrana dla Konstruktivnogo Iscislenia Predikatov; G. E. Minc, R. N. Goss, An Analogue of Herbrand's Theorem for the Constructive Predicate Calculus

p. 524-525

Project Euclid

Review: G. E. Mints, A. O. Slisenko, Analog of Herbrand's Theorem for [non] Prenex Formulas of Constructive Predicate Calculus

p. 525-526

Project Euclid

Review: G. E. Minc, L. Ebner, Skolem's Method of Elimination of Positive Quantifiers in Sequential Calculi

p. 526-527

Project Euclid

Review: G. E. Mints, A. O. Slisenko, Disjunctive Interpretation of the LJ Calculus

p. 527-528

Project Euclid

Review: M. H. Lob, Solution of a Problem of Leon Henkin

Kent, C. F.

p. 528-529

Project Euclid

Review: G. Kreisel, A. Levy, Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems

Kent, C. F.

p. 529-532

Project Euclid

Review: Patrick C. Fischer, On Formalisms for Turing Machines; Stal Aanderaa, Patrick C. Fischer, The Solvability of the Halting Problem for 2-State Post Machines; Patrick C. Fischer, Quantificational Variants on the Halting Problem for Turing Machines

Herman, Gabor T.

p. 532-534

Project Euclid

Review: C. Y. Lee, Automata and Finite Automata

Shepherdson, J. C.

p. 534-535

Project Euclid

Review: Dieter Klaua, Berechenbare Analysis; Dieter Klaua, Die Prazisierung des Berechenbarkeitsbegriffes in der Analysis mit Hilfe Rationaler Funktionale

Goodstein, R. L.

p. 535-536

Project Euclid

Review: Daniel Lacombe, Deux généralisations de la notion de récursivité; Daniel Lacombe, Deux généralisations de la notion de récursivité relative

Fraisse, R.

p. 536-537

Project Euclid

Review: Donald Loveland, A New Interpretation of the von Mises' Concept of Random Sequence; D. W. Loveland, The Kleene Hierarchy Classification of Recursively Random Sequences

DiPaola, Robert A.

p. 537-538

Project Euclid

Review: Charles Parsons, Hierarchies of Primitive Recursive Functions

Kent, C. F.

p. 538-539

Project Euclid

Review: A. H. Lachlan, The Impossibility of Finding Relative Complements for Recursively Enumerable Degrees

Sacks, Gerald E.

p. 539-540

Project Euclid

Review: K. A. Mihajlova, (Problema vhozdenia did pramyh proizvedenij grupp):The Occurrence Problem for Direct Products of Groups

Collins, Donald J.

p. 540-541

Project Euclid

Review: W. A. J. Luxemburg, A General Theory of Monads

Narens, Louis

p. 541-542

Project Euclid

Review: Samuel Goldberg, Probability. An Introduction

Bauer-Mengelberg, Stefan

p. 543-544

Project Euclid

Review: Norman L. Thomas, Modern Logic. An Introduction

p. 544-545

Project Euclid

Review: Hans Hermes, La Teoria de Reticulos y su Aplicacion a la Logica Matematica

p. 545-546

Project Euclid

Review: Gr. C. Moisil, Les Logiques a Plusieurs Valeurs et l'Automatique

p. 546-547

Project Euclid

Review: O. B. Lupanov, G. R. Kiss, Complexity of Formula Realization of Functions of Logical Algebra

p. 547-548

Project Euclid

Review: Karl S. Menger, Characterization and Cardinality of Universal Functions

Gilbert, Edgar N.

p. 548-549

Project Euclid

Review: Vladeta Vuckovic, ( Rekurzivna aritmetika reci i konacni automati):Recursive Arithmetic of Words and Finite Automata

Seper, Kajetan

p. 549-550

Project Euclid

Review: Henry W. Johnstone, The Law of Non-Contradition

Copi, Irving M.

p. 550-551

Project Euclid

Review: Rudolf Carnap, Rolf A. George, The Logical Structure of the World. Pseudoproblems in Philosophy

Wedberg, Anders

p. 551-552

Project Euclid

Further Citations

p. 552-575

Project Euclid

Meeting of the Association for Symbolic Logic Santiago, Chile 1970

Chuaqui, Rolando

p. 576-580

Project Euclid

Meeting of the Association for Symbolic Logic Los Angeles 1971

Kaplan, David

p. 581-592

Project Euclid

Generalized Prime Models

Fittler, Robert

p. 593-606

Project Euclid

Negative Solution of the Decision Problem for Sentences True in Every Subalgebra of $$

McKenzie, Ralph

Shoesmith, D. J. ; Smiley, T. J.

p. 607-609

Project Euclid

Deducibility and Many-Valuedness

Sabbagh, Gabriel ; Eklof, Paul

p. 610-622

Project Euclid

Definability Problems for Modules and Rings

Kunen, Kenneth ; Prikry, Karel

p. 623-649

Project Euclid

On Descendingly Incomplete Ultrafilters

p. 650-652

Project Euclid

Simplifications of the Recursion Scheme

Gladstone, M. D.

p. 653-665

Project Euclid

[Omnibus Review]

Bennett, Jonathan

p. 666-670

Project Euclid

Review: Lynn E. Rose, Aristotle's Syllogistic

Boh, Ivan

p. 670-671

Project Euclid

Review: Judith Schoenberg, Belief and Intention in the Epimenides

p. 671-672

Project Euclid

Review: Hugo Bergmann, Probleme des Existenzbegriffes

Berg, Jan

p. 672-673

Project Euclid

Review: A. Heyting, Some Remarks on Intuitionism

Chateaubriand, O.

p. 673-674

Project Euclid

Review: A. Heyting, Methodes et Problemes de L'intuitionnisme

Chateaubriand, O.

p. 674-675

Project Euclid

Review: J. C. C. McKinsey, Patrick Suppes, On the Notion of Invariance in Classical Mechanics

p. 675-676

Project Euclid

Review: Heinrich Scholz, Concise History of Logic

Kneebone, G. T.

p. 676-677

Project Euclid

Review: Gerald J. Massey, Understanding Symbolic Logic

Matthews, Gordon

p. 678-679

Project Euclid

Review: Hans Hermes, Term Logic with Choice Operator

p. 679-680

Project Euclid

Review: Kurt Hauschild, Eine Bemerkung zum Mengenbildungsaxiom

Rundle, Bede

Review: James Ax, Simon Kochen, Diophantine Problems Over Local Fields I; James Ax, Simon Kochen, Diophantine Problems Over Local Fields II. A Complete set of Axioms for $p$-adic number theory; James Ax, Simon Kochen, Diophantine Problems over Local Field III. Decidable Fields

p. 681-682

Project Euclid

p. 683-684

Project Euclid

Review: J. P. Ressayre, Sur les Theories du Premier Ordre Categoriques en un Cardinal

Keisler, H. Jerome

p. 684-685

Project Euclid

Review: H. Jerome Keisler, Logic with the Quantifier There Exist Uncountably Many

Fuhrken, Gebhard

p. 685-687

Project Euclid

Review: Jerzy Slupecki, Witold A. Pogorzelski, A Variant of the Proof of the Completeness of the First Order Functional Calculus

p. 688-689

Project Euclid

Review: Alan Rose, An Alternative Generalisation of the Concept of Duality

Standley, Gerald

p. 690-691

Project Euclid

Review: F. R. Drake, On McKinsey's Syntactical Characterizations of Systems of Modal Logic

Makinson, David

p. 691-692

Project Euclid

Review: Alonzo Church, Laszlo Kalmar, An Independence Question in Recursive Arithmetic

Robinson, Julia

p. 692-693

Project Euclid

Review: Robert W. Floyd, A Note on Mathematical Induction on Phrase Structure Grammars

Kasher, Asa

p. 693-694

Project Euclid

[Omnibus Review]

Harrison, M. A.

Rabin, Michael O. ; Morley, Michael

p. 694-695

Project Euclid

Meeting of the Association for Symbolic Logic

p. 696-710

Project Euclid

Association for Symbolic Logic

p. 711-752

Project Euclid

Index of Reviews