J. Symbolic Logic, Tome 33 (1968)

Project Euclid

Review: Shigeru Watanabe, Periodicity of Post's Normal Process of Tag

Yntema, Mary Katherine

Project Euclid

Review: Sylvain Bromberger, Questions; David Harrah, Question Generators; Nuel D. Belnap, Questions, Answers, and Presuppositions

Cresswell, M. J.

Project Euclid

Review: Seymour Ginsburg, Sheila Greibach, Deterministic Context Free Languages

Stanley, Richard

Project Euclid

Review: John Thomas Canty, Systems Classically Axiomatized and Properly Contained in Lewis's $S3$

Bull, R. A.

Project Euclid

Review: A. L. Chernyavskii, Computer Simulation of the Process of Solving Complex Logical Problems

Cooper, D. C.

Project Euclid

Review: R. K. Meyer, Pure Denumerable Lukasiewiczian Implication

Rose, A.

Project Euclid

Review: Luiz Monteiro, Sur les Algebres de Lukasiewicz Infectives

Mihailescu, Eugen

Project Euclid

Review: Roberto Cignoli, Antonio Monteiro, Boolean Elements in Lukasiewicz Algebras. II

Mihailescu, Eugen

Project Euclid

Review: Angelo R. Meo, On the Determination of the ps Maximal Implicants of a Switching Function

Choudhury, A. K.

Project Euclid

Review: Arto Salomaa, A Theorem Concerning the Composition of Functions of Several Variables Ranging over a Finite Set; Arto Salomaa, On Basic Groups for the set of Functions over a Finite Domain

Rosenberg, Ivo

Project Euclid

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

Kuntzmann, J.

Project Euclid

Review: C. A. Meredith, Postulates for Implicational Calculi

Project Euclid

Review: R. A. Bull, Some Results for Implicational Calculi

Project Euclid

Review: Ivo Thomas, On the Infinity of Positive Logic

Project Euclid

Review: Ivo Thomas, Finite Limitations on Dummett's $\mathbf{LC}$

Project Euclid

Review: R. A. Bull, The Implicational Fragment of Dummett's LC

Project Euclid

Review: Michael Dummett, A Propositional Calculus with Denumerable Matrix

Project Euclid

Review: Marlow Sholander, Postulates for Boolean Algebras

Ferebee, Ann Singleterry

Project Euclid

Review: G. Asser, Einfuhrung in die Mathematische Logik

Ferebee, Ann S.

Project Euclid

Review: P. Bernays, Die Hohen Unendlichkeiten und die Axiomatik der Mengenlehre

Shoenfield, J. R.

Project Euclid

Review: Boleslaw Sobocinski, A Note on the Generalized Continuum Hypothesis

Tharp, Leslie H.

Project Euclid

Review: Setsuya Seki, On Transfinite Arguments

Yasugi, Mariko

Project Euclid

Review: Robert R. Christian, Introduction to Logic and Sets

Borger, Alfons

Project Euclid

Review: E. J. McCluskey, Introduction to the Theory of Switching Circuits

Mott, Thomas H.

Project Euclid

Review: Ronald Prather, Computational aids for Determining the Minimal Form of a Truth Function

Ferebee, Ann S.

Project Euclid

Review: U. I. Zuravlev, Algorithms with Finite Memory on Disjunctive Normal Forms

Rowicki, Andrzej

Project Euclid

Review: U. I. Zuravlev, On Various Concepts, of Minimality for Disjunctive Normal Forms

Rowicki, Andrzej

Project Euclid

Review: V. M. Gluskov, Some Problems of Synthesis of Digital Automata; V. M. Gluskov, On an Algorithm of Synthesis of Abstract Automata

Salomaa, Arto

Project Euclid

Review: O. P. Kuznecov, On a Class of Regular Events

Salomaa, Arto

Project Euclid

Review: C. Y. Lee, Categorizing Automata by W-machine Programs; Seiiti Huzino, Mariko Yoneyama, On a Proof of Schepherdson's Theorem

Asser, Gunter

Project Euclid

Review: Ph. Dwinger, Notes on Post Algebras

Traczyk, Tadeusz

Project Euclid

Review: George Epstein, The Lattice Theory of Post Algebras

Traczyk, Tadeusz

Project Euclid

Review: Ph. Dwinger, A Note on the Completeness of Factor Algebras of $\alpha$-Complete Boolean Algebras

Project Euclid

Review: Ph. Dwinger, On the Completeness of the Quotient Algebras of a Complete Boolean Algebra I

Project Euclid

Review: Ph. Dwinger, Remarks on the Field Representations of Boolean Algebras

Project Euclid

Review: L. J. Heider, Prime Dual Ideals in Boolean Algebras

Project Euclid

Review: A. Horn, On $\alpha$-homomorphic Images of $\alpha$-Rings of Sets

Dwinger, Philip

Project Euclid

Review: Raymond M. Smullyan, On Post's Canonical Systems

Yasuhara, Ann

Project Euclid

Review: J. R. Shoenfield, Degrees of Models

Feferman, Solomon

Project Euclid

Review: K. I. Appel, No Recursively Enumerable Set is the Union of Finitely Many Immune Retraceable Sets

Yates, C. E. M.

Project Euclid

Review: K. I. Appel, T. G. McLaughlin, On Properties of Regressive Sets

Yates, C. E. M.

Project Euclid

Review: Anil Nerode, Diphantine Correct non-Standard Models in the Isols

Bredlau, Carl

Project Euclid

Review: A. Nerode, Non-linear Combinatorial Functions of Isols

Bredlau, Carl

Project Euclid

A Note on Recursive Relations

Fitch, Frederic B.

Project Euclid

Review: R. L. Goodstein, A Decidable Fragment of Recursive Arithmetic

Vuckovic, V.

Project Euclid

Review: P. Lorenzen, Methodical Thinking

Hermes, Hans

Project Euclid

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

Ferebe, Ann S.

Project Euclid

Review: Jules Vuillemin, De la Logique a la Theologie. Cinq Etudes sur Aristote

Hodges, Wilfrid

Project Euclid

Review: Hans Hermes, Zur Geschichte der Mathematischen Logik und Grundlagenforschung in den Letzten Funfundsiebzig Jahren

van Heijenoort, J.

Project Euclid

Review: R. Montague, Mr. Bradley on the Future

Butler, Ronald J.

Project Euclid

Review: Nicholas Rescher, Non-Deductive Rules of Inference and Problems in the Analysis of Inductive Reasoning

Jeffrey, Richard C.

Project Euclid

Review: H. N. Castaneda, Obligation and Modal Logic

Allen, Layman E.

Project Euclid

Review: Anthony P. Morse, A Theory of Sets

Shoenfield, J. R.

Project Euclid

Review: W. V. Quine, Hao Wang, On Ordinals

Levy, Azriel

Project Euclid

Review: S. A. Cook, Hao Wang, Characterizations of Ordinal Numbers in Set Theory

Levy, Azriel

Project Euclid

Review: Alan Ross Anderson, Nuel D. Belnap, Tautological Entailments

Makinson, David

Project Euclid

Review: A. S. Troelstra, On Intermediate Propositional Logics

Umezawa, Toshio

Project Euclid

Review: Toshio Umezawa, On Logics Intermediate Between Intuitionistic and Classical Predicate Logic

Troelstra, A. S.

Project Euclid

Review: F. J. Sansone, The Summation of Certain Series of Infinite Regressive Isols

Project Euclid

Review: E. U. Zaharova, On a Sufficient Condition for Completeness in $P_k$

Rosenberg, Ivo

Project Euclid

Review: M. M. Kipnis, S. Walker, A Property of Propositional Formulas

Rose, Gene F.

Project Euclid

Review: George Goe, Three Axiom Negation-Alternation Formulations of the Truth-Functional Calculus

Blanche, Robert

Project Euclid

Review: Fred J. Sansone, A Mapping of Regressive Isols

Project Euclid

Review: Jan Berg, Definitions of the Concept Vyapti According to Gangesa

Project Euclid

Review: Dag Prawitz, Concerning constructive Logic and the Concept of Implication

Project Euclid

Review: Claes-Goran Holm, On the Question of the Rise of Quantification Theory

Project Euclid

Review: Gerold Stahl, Los Universos del Discurso y Los Sistemas Correspondientes

Simpson, Thomas M.

Project Euclid

Review: Fred J. Sansone, On Order-Preserving Extensions to Regressive Isols

Project Euclid

Review: T. G. McLaughlin, Retraceable Sets and Recursive Permutations

Sansone, Fred J.

Project Euclid

Review: Hans Freudenthal, The Language of Logic

Kneebone, G. T.

Project Euclid

Review: Yoshindo Suzuki, Enumeration of Recursive Sets

Singleterry, Ann M.

Project Euclid

Review: Ronald Harrop, On the Recursivity of Finite Sets

Parsons, Charles

Project Euclid

The Inadequacy of Kripke's Semantical Analysis of D2 and D3

Routley, R. ; Montgomery, H.

Project Euclid

Review: J. R. Shoenfield, The Form of the Negation of a Predicate

Singleterry, Ann M.

Project Euclid

Review: John McCarthy, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I

Project Euclid

Review: John McCarthy, A Basis for a Mathematical Theory of Computation, Preliminary Report; John McCarthy, P. Braffort, D. Hirschberg, A Basis for a Mathematical Theory of Computation

Project Euclid

Review: E. W. Beth, Observations Concerning Computing, Deduction, and Heuristics

Project Euclid

Review: A. Robinson, A Basis for the Mechanization of the Theory of Equations; A. Robinson, On the Mechanization of the Theory of Equations

Project Euclid

Meeting of the Association for Symbolic Logic Leeds 1967

Lob, M. H. ; Drake, F. R. ; Derrick, J.

Project Euclid

Review: Frank B. Cannonito, Hierarchies of Computable Groups and the Word Problem

Mayoh, B. H.

Project Euclid

Review: H. Jerome Keisler, First Order Properties of Pairs of Cardinals

Mostowski, A.

Project Euclid

Review: Erwin Engeler, A Reduction-Principle for Infinite Formulas

Karp, Carol

Project Euclid

Review: Chr. Klixbull Jorgensen, The Extensional Classification of Categorical Propositions and Trivalent Logic

Thomas, Ivo

Project Euclid

Review: E. G. K. Lopez-Escobar, On Defining Well-Orderings; E. G. K. Lopez-Escobar, An Addition to "On Defining Well-Orderings."

Malitz, Jerome

Project Euclid

Review: H. Jerome Keisler, Universal Homogeneous Boolean Algebras

Project Euclid

Review: Ph. Dwinger, F. M. Yaqub, Generalized Free Products of Boolean Algebras with an Amalgamated Subalgebra

Project Euclid

Review: C. C. Chang, H. Jerome Keisler, An Improved Prenex Normal Form

Hailperin, Theodore

Project Euclid

Review: M. D. Gladstone, Finite Models for Inequalities

Mendelson, Elliott

Project Euclid

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

Project Euclid

Review: R. S. Pierce, A Note on Free Algebras

Dwinger, Philip

Project Euclid

Review: Fred Galvin, Reduced Products, Horn Sentences, and Decision Problems

Oberschelp, Arnold

Project Euclid

Review: M. Makkai, A Compactness Result Concerning Direct Products of Models

Fuhrken, G.

Project Euclid

Review: M. Denis-Papin, A. Kaufmann, R. Faure, Rene de Possel, Cours de Calcul Booleien Applique (Notions sur les Ensembles et les Treillis, Algebres Booleiennes, Algebre Binaire)

Project Euclid

Review: L. Bukowsky, K. Prikry, Some Metamathematical Properties of Measurable Cardinals

Hinman, Peter G.

Project Euclid

Review: J. Kuntzmann, Algebre de Boole

Pierce, R. S.

Project Euclid

Review: Tsutomu Hosoi, The Separation Theorem on the Classical System

Robinson, T. Thacher

Project Euclid

Review: David Nelson, Non-null Implication

Rose, Gene F.

Project Euclid

Review: Dieter Rodding, Anzahlquantoren in der Pradikatenlogik

Moschovakis, Joan Rand

Project Euclid

Review: John Riser, A Gentzen-Type Calculus of Sequents for Single-Operator Propositional Logic

Rose, Gene F.

Project Euclid

Review: R. A. Bull, A Note on the Modal Calculi S4.2 and S4.3; R. A. Bull, A Class of Extensions of the Modal System S4 with the Finite Model Property; R. A. Bull, That all Normal Extensions of S4.3 have the Finite Model Property

Makinson, David

Project Euclid

Review: Lennart Aqvist, Interpretations of Deontic Logic

Project Euclid

Review: Hjalmar Wennerberg, Peirce's Theory of Meaning

Project Euclid

Review: E. I. Grindlinger, On the Unsolvability of the Word Problem for a Class of Semigroups with a Solvable Isomorphism Problem; M. Greendlinger, Soviet Mathematics

Clapham, C. R. J.

Project Euclid

Review: Hans Hermes, Unentscheidbarkeit der Arithmetik

Robinson, Raphael M.

Project Euclid

Review: N. V. Beljakin, L. Ebner, Turning Machines Operating on a Plane

Fischer, Patrick C.

Project Euclid

Review: Seymour Ginsburg, Gene F. Rose, A Characterization of Machine Mappings

Kasher, Asa

Project Euclid

Review: Pierre Tison, Generalization of Consensus Theory and Application to the Minimization of Boolean Functions

Gimpel, James F.

Project Euclid

Review: V. L. Murskii, On the Equivalent Transformations of Switching Circuits; V. L. Murskii, Equivalent Tranformations of Contact-Rectifier Schemes

Ferebee, Ann Singleterry

Project Euclid

Review: A. P. Jerschow, Heinz D. Modrow, Operator Algorithmen. II

Fels, E. M.

Project Euclid

Review: Soren Hallden, A Pragmatic Approach to Modal Logic

Project Euclid

Review: N. E. Kobrinskii, B. A. Trakhtenbrot, Introduction to the Theory of Finite Automata

McNaughton, Robert

Project Euclid

Review: N. I. Stazkin, Formation of Mathematical Logic

van Heijenoort, J.

Project Euclid

Review: Lars Svenonius, A Proposal for a Restriction on the Means of Expression in the Predicate Calculus

Project Euclid

Review: Joachim Jungius, Rudolf W. Meyer, Logica Hamburgensis

Project Euclid

Review: Hugues LeBlanc, On So-called Degrees of Confirmation; K. R. Popper, Probabilistic Independence and Corroboration by Empirical Tests

Stopes-Roe, Harry V.

Project Euclid

Review: Hans G. Herzberger, Janet A. Emig, James T. Fleming, Helen M. Popp, The Logical Consistency of Language

Project Euclid

Review: Michael Dummett, Truth

Bennett, Jonathan

Project Euclid

Review: H. Rasiowa, A Proof of $\epsilon$-Theorems; H. Rasiowa, On the $\epsilon$-Theorems

Schutte, Kurt

Project Euclid

Review: H. Jerome Keisler, Unions of Relational Systems; Jan Mycielski, On Unions of Denumerable Models

Helling, Martin

Project Euclid

Review: H. Lauchli, J. Leonard, On the Elementary Theory of Linear Order

Robinson, Julia

Project Euclid

Review: W. W. Tait, A Counterexample to a Conjecture of Scott and Suppes

Causey, Robert L.

Project Euclid

Review: Evert W. Beth, Alfred Tarski, Equilaterality as the Only Primitive Notion of Euclidean Geometry

Szczerba, L. W.

Project Euclid

Review: Alfred Tarski, A General Theorem Concerning Primitive Notions of Euclidean Geometry

Szczerba, L. W.

Project Euclid

Review: Ludovico Geymonat, Analisi Critica del recente Indirizzo di Logica Formale del Carnap

Heijenoort, J. Van

Project Euclid

Review: Charles Morris, Signification and Significance. A Study of the Relation of Signs and Values

Project Euclid

Review: John Myhill, Notes Towards an Axiomatization of Intuitionistic Logic

Vesley, R. E.

Project Euclid

Review: Waclaw Sierpinski, Algebre des Ensembles

Borgers, Alfons

Project Euclid

Review: Dana Scott, A Proof of the Independence of the Continuum Hypothesis

Robbin, J. W.

Project Euclid

[Omnibus Review]

Baylis, Charles A.

Project Euclid

Review: V. Amstislavskij, On Recursive Sieves

Onyszkiewicz, Janusz

Project Euclid

Review: Virgilio Giorgianni, Logica Matematica e Logica Giuridica

Castaneda, Hector-Neri

Project Euclid

Review: P. Lorenzen, J. Myhill, Constructive Definition of Certain Analytic Sets of Numbers

Nerode, A.

Project Euclid

On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus

Thomason, Richmond H.

Meyer, Robert K. ; Lambert, Karel

p. 1-7

Project Euclid

Universally Free Logic and Standard Quantification Theory

p. 8-26

Project Euclid

An Algebraic Study of Tense Logics with Linear Time

Bull, R. A.

p. 27-38

Project Euclid

Modifications of Quine's ML and Inclusive Quantification Systems

Goe, George

p. 39-42

Project Euclid

Constructively Accessible Ordinal Numbers

Richter, Wayne

p. 43-55

Project Euclid

Effectively Extensible Theories

Pour-El, Marian Boykan

p. 56-68

Project Euclid

On the Completeness of Some Transfinite Recursive Progressions of Axiomatic Theories

Fenstad, Jens Erik

p. 69-76

Project Euclid

On the Scope of the Classical Deduction Theorem

Pogorzelski, Witold A.

p. 77-81

Project Euclid

On Systems Containing Aristotle's Thesis

Routley, R. ; Montgomery, H.

p. 82-96

Project Euclid

Some Calculi with Strong Negation Primitive

Zeman, J. Jay

p. 97-100

Project Euclid

Structures Elementarily Closed Relative to a Model for Arithmetic

Madison, Eugene W.

p. 101-104

Project Euclid

Functional Completeness in One Variable

Rosenberg, James

p. 105-106

Project Euclid

A Minimal Canonically Complete M-Valued Proper Logic for Each M

Call, Richard L.

p. 108-110

Project Euclid

Review: Andrzej Mostowski, Thirty Years of Foundational Studies

Robinson, Abraham

p. 111-112

Project Euclid

Review: P. B. Andrews, A Transfinite Type Theory with Type Variables

Gandy, R. O.

p. 112-113

Project Euclid

Review: F. J. Sansone, Combinatorial Functions and Regressive Isols

p. 113-114

Project Euclid

Review: T. G. McLaughlin, Hereditarily Retraceable Isols

Sansone, Fred J.

p. 114-115

Project Euclid

Review: Tosiyuki Tugue, On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2; Tosiyuki Tugue, Predicates Recursive in a Type-2 Object and Kleene Hierarchies

Clarke, D. A.

p. 115-116

Project Euclid

Review: Ann Yasuhara, A Remark on Post Normal Systems

Gladstone, M. D.

p. 116-117

Project Euclid

Review: B. A. Trahtenbrot, Turing Computations with Logarithmic Delay

Becvar, Jiri

p. 118-119

Project Euclid

Review: F. C. Hennie, One-Tape, Off-Line Turing Machine Computations

Becvar, Jiri

p. 119-120

Project Euclid

Review: J. C. Shepherdson, Yehoshua Bar-Hillel, Machine Configuration and Word Problems of Given Degree of Unsolvability; J. C. Shepherdson, Machine Configuration and Word Problems of Given Degree of Unsolvability

Singletary, W. E.

p. 120-121

Project Euclid

Review: G. Fuhrken, Skolem-type Normal Forms for First-Order Languages with a Generalized Quantifier; R. L. Vaught, The Completeness of Logic with the Added Quantifier "There are uncountably many

Zbierski, Pawel

p. 121-122

Project Euclid

Review: Roman Sikorski, On Extensions and Products of Boolean Algebras

p. 124-125

Project Euclid

Review: R. S. Pierce, A Note on Free Products of Abstract Algebras

Dwinger, Philip

p. 125-126

Project Euclid

Review: Richard B. Hurley, Transistor Logic Circuits

p. 126-127

Project Euclid

[Omnibus Review]

Salomaa, Arto

p. 127-128

Project Euclid

Review: Tsutomu Hosoi, Algebraic Proof of the Separation Theorem on Classical Propositional Calculus; Tsutomu Hosoi, Algebraic Proof of the Separation Theorem on Dummett's LC

Horn, Alfred

p. 128-129

Project Euclid

Review: Jerzy Slupecki, Jan Lukasiewicz, Z zagadnien logiki i filozofii, Pisma wybrane

Rand, Rose

p. 129-133

Project Euclid

Review: Storrs McCall, R. K. Meyer, Pure Three-Valued Lukasiewiczian Implication

Turquette, Atwell R.

p. 133-134

Project Euclid

Review: Lennart Aqvist, Reflections on the Logic of Nonsense; Krister Segerberg, A Contribution to Nonsense-Logics

Dawson, E. E.

p. 134-136

Project Euclid

Review: Frederic B. Fitch, Natural Deduction Rules for Obligation

Hanson, William H.

p. 136-137

Project Euclid

Review: John T. Kearns, Quantifiers and Universal Validity; George Goe, A Reconstruction of Formal Logic; George Goe, Corrections to My Paper "A Reconstruction of Formal Logic."

Hailperin, Theodore

p. 137-138

Project Euclid

Review: Gunter Sodan, Die Traditionelle Lehre von den "Unmittelbaren Schlussen." Eine Darstellung

Mays, W.

p. 138-139

Project Euclid

Review: G. H. R. Parkinson, Gottfried Wilhelm Leibniz, Leibniz, Logical papers

p. 139-140

Project Euclid

Review: P. T. Geach, G. E. M. Anscombe, Frege

Kambartel, F.

p. 140-141

Project Euclid

[Omnibus Review]

Vonneuman, Nicholas A.

p. 141-142

Project Euclid

[Omnibus Review]

Stopes-Roe, Harry V.

p. 142-146

Project Euclid

Review: Hans G. Herzberger, The Truth-Conditional Consistency of Natural Languages

p. 146-147

Project Euclid

Review: George Pitcher, Introduction: Truth

Bennett, Jonathan

p. 147-148

Project Euclid

Review: Willard Van Orman Quine, On What There is

Fitch, Frederic B.

p. 149-150

Project Euclid

Further Citations

p. 150-160

Project Euclid

Subformula Theorems for $N$-Sequents

LeBlanc, Hugues

p. 161-179

Project Euclid

On Simplifying the Matrix of a WFF

Andrews, Peter

p. 180-192

Project Euclid

Systems of Predicative Analysis, II: Representations of Ordinals

Feferman, Solomon

p. 193-220

Project Euclid

Infinite Products of Recursive Equivalence Types

Ferguson, Don C.

p. 221-230

Project Euclid

A Simplified Account of Validity and Implication for Quantificational Logic

LeBlanc, Hugues

p. 231-235

Project Euclid

Nonstandard Logic

Geiser, James R.

p. 236-250

Project Euclid

The Consistency of Lesniewski's Mereology Relative to the Real Number System

Clay, Robert E.

p. 251-257

Project Euclid

The Decidability of Certain Intermediate Propositional Logics

McKay, C. G.

p. 258-264

Project Euclid

Independence of Two Nice Sets of Axioms for the Propositional Calculus

Robinson, T. Thacher

p. 265-270

Project Euclid

On the Craig-Lyndon Interpolation Theorem

Oberschelp, Arnold

p. 271-274

Project Euclid

On Meyer and Lambert's Quantificational Calculus FQ

LeBlanc, Hugues

p. 275-280

Project Euclid

Review: Gunther Patzig, Funktion, Begriff, Bedeutung, Funf logische Studien

Angelelli, I.

p. 281-282

Project Euclid

[Omnibus Review]

Angelelli, I.

p. 282-284

Project Euclid

Review: Harald Dickson, Variable, Function, Derivative. A Semantic Study in Mathematics and Economics

Rosser, J. Barkley

p. 284-285

Project Euclid

Review: H. Rasiowa, Algebraic Models of Axiomatic Theories; H. Rasiowa, Constructive Theories

Schutte, Kurt

p. 285-286

Project Euclid

Review: Michael Morley, Omitting Classes of Elements

Lopez-Escobar, E. G. K.

p. 286-287

Project Euclid

Review: Dana Scott, Patrick Suppes, Foundational aspects of Theories of Measurement

Causey, Robert L.

p. 287-288

Project Euclid

Review: Dana Scott, A Symmetric Primitive notion for Euclidean Geometry

Szczerba, L. W.

p. 288-289

Project Euclid

Review: W. W. Tait, A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic

Takashaih, Moto-o

p. 289-290

Project Euclid

Review: Stephen Cole Kleene, Introduction to Metamathematics

Ferebee, Ann Singleterry

p. 290-291

Project Euclid

Review: Takashi Nagashima, An Extension of the Craig-Schutte Interpolation Theorem

Troelstra, A. S.

p. 291-292

Project Euclid

Review: Tadahiro Uesu, On Zermelo's Set-Theory and the Simple Type-Theory with the Axiom of Infinity

Rundle, Bede

p. 292-293

Project Euclid

Review: Gaisi Takeuti, Akiko Kino, On Hierarchies of Predicates of ordinal Numbers

Richter, Wayne

p. 293-294

Project Euclid

Review: Akiko Kino, A Note on Constructive Ordinals

Richter, Wayne

p. 294-295

Project Euclid

Review: Alfred B. Manaster, Higher-Order Indecomposable Isols

Hassett, Matthew J.

p. 295-296

Project Euclid

[Omnibus Review]

Shepherdson, J. C.

p. 296-297

Project Euclid

Review: Martin Davis, Unsolvable Problems: A Review

Yntema, Mary Katherine

p. 297-298

Project Euclid

Review: D. L. Kreider, R. W. Ritchie, Predictably Computable Functionals and Definition by Recursion

Axt, Paul

p. 298-299

Project Euclid

Review: Noam Chomsky, George A. Miller, Introduction to the Formal Analysis of Natural Languages; Noam Chomsky, Formal properties of Grammars; George A. Miller, Noam Chomsky, Finitary Models of Language Users

Ullian, Joseph S.

p. 299-300

Project Euclid

Review: Seymour Ginsburg, The Mathematical Theory of Context Free Languages

Blikle, Andrzej

Review: Seymour Ginsburg, Joseph Ullian, Ambiguity in Context Free Languages; Seymour Ginsburg, Joseph Ullian, Preservation of Unambiguity and Inherent Ambiguity in Context-Free; Thomas N. Hibbard, Joseph Ullian, The Independence of Inherent Ambiguity from Complementednes Among Context-Free Languages

p. 300-301

Project Euclid

Langendoen, D. Terence

p. 301-302

Project Euclid

Review: Sheila A. Greibach, A Note on Pushdown Store Automata and Regular Systems

Stanley, Richard

p. 302-303

Project Euclid

[Omnibus Review]

Kneebone, G. T.

p. 304-305

Project Euclid

Review: C. A. Meredith, A. N. Prior, Notes on the Axiomatics of the Propositional Calculus

p. 306-307

Project Euclid

Review: Roberto Cignoli, Boolean Elements in Lukasiewicz Algebras. I

Mihailescu, Eugen

p. 307-308

Project Euclid

Review: Atwell R. Turquette, A Method for Constructing Implication Logics

McCall, Storrs

p. 308-309

Project Euclid

Review: Krister Segerberg, Some Modal Logics Based on a Three-Valued Logic

Bull, R. A.

p. 309-310

Project Euclid

[Omnibus Review]

Freudenthal, Hans

p. 310-311

Project Euclid

Review: Ota Weinberger, Theorie des Propositions Normatives; Jerzy Kalinowski, Response a M. Ota Weinberger

Castaneda, Hector-Neri

p. 311-312

Project Euclid

Review: Joseph M. Bochenski, The Logic of Religion

Hodges, Wilfrid

p. 312-313

Project Euclid

Review: Arthur W. Burks, Dispositional Statements

Berg, Jan

p. 313-314

Project Euclid

Review: Arthur W. Burks, The Presupposition Theory of Induction; Arthur W. Burks, On the Presuppositions of Induction

Berg, Jan

p. 314-316

Project Euclid

Review: John G. Kemeny, Paul Oppenheim, On Reduction

Swanson, J. W.

p. 316-317

Project Euclid

Further Citations

p. 317-319

Project Euclid

A Survey of Proof Theory

Kreisel, G.

p. 321-388

Project Euclid

Metarecursively Enumerable Sets and Their Metadegrees

Driscoll, Graham C.

p. 389-411

Project Euclid

Reducibilities in Intuitionistic Topology

Dalen, Dirk Van

Cudia, Dennis F. ; Singletary, Wilson E.

p. 412-417

Project Euclid

The Post Correspondence Problem

p. 418-430

Project Euclid

Degrees of Recursively Enumerable Sets Which Have No Maximal Supersets

Lachlan, A. H.

p. 431-443

Project Euclid

$S3(S) = S3.5$

Rennie, M. K.

p. 444-445

Project Euclid

Implicit Definability and Infinitary Languages

Kunen, Kenneth

p. 446-451

Project Euclid

Hauptsatz for Higher Order Logic

Prawitz, Dag

p. 452-457

Project Euclid

Lemmon-Style Bases for the Systems $S1^\circ - S4^\circ$

Zeman, J. Jay

p. 458-461

Project Euclid

The Semisubstitutivity of Strict Implication

Zeman, J. Jay

p. 462-464

Project Euclid

Review: A. A. Ljapuno, The Logical Structure of Programmes

Fels, E. M.

p. 466-467

Project Euclid

Review: Ju. V. Matijasevic, Sue Walker, Simple Examples of Undecidable Associative Calculi

Collins, D. J.

p. 469-470

Project Euclid

Review: L. A. Bokut, On a Property of the Groups of Boone

Collins, D. J.

p. 470-471

Project Euclid

[Omnibus Review]

Moschovakis, Yiannis N.

p. 471-472

Project Euclid

Review: Dieter Rodding, Anzahlquantoren in der Kleene-Hierarchie

Moschovakis, Joan Rand

p. 472-473

Project Euclid

Review: Azriel Levy, A Hierarchy of Formulas in Set Theory

Feferman, Solomon

p. 473-474

Project Euclid

Review: Petr Hajek, Modelle der Mengenlehre in Denen Mengen Gegebener Gestalt Existieren

Scott, Dana

p. 474-475

Project Euclid

Review: Petr Vopenka, Die Konstruktion von Modellen der Mengenlehre Nach der Methode der Ultraprodukte

Hinman, Peter G.

p. 475-476

Project Euclid

Review: R. L. Vaught, J. W. Addison, Leon Henkin, Alfred Tarski, A Lowenheim-Skolem Theorem for Cardinals for Apart

Fuhrken, G.

p. 476-477

Project Euclid

Review: Carol R. Karp, Languages with Expressions of Infinite Length

Hanf, William P.

p. 477-478

Project Euclid

Review: Carol Karp, Nonaxiomatizability Results for Infinitary Systems

Keisler, H. Jerome

p. 478-479

Project Euclid

Review: Romane Clark, Paul Welsh, Introduction to Logic

Snyder, Donald Paul

p. 479-480

Project Euclid

Review: Niko Prijatelj, Introduction to Mathematical Logic

Boh, Ivan

p. 480-481

Project Euclid

Review: Abner Shimony, Coherence and the Axioms of Confirmation; R. Sherman Lehman, On Confirmation and Rational Betting; John G. Kemeny, Fair Bets and Inductive Probabilities

Schick, Frederic

p. 481-482

Project Euclid

Review: Richard Taylor, The Problem of Future Contingencies; Rogers Albritton, Present Truth and Future Contingency; Colin Strang, Aristotle and the Sea Battle

Gale, Richard M.

Review: V. V. Doncenko, (Nekotorye voprosy, svazannye s problemoj razresenia dla iscislenia strogoj implikacii) Some Questions Connected with the Decision Problem for Ackermann's System of Rigorous Implication; L. L. Makisimova, (0 sisteme aksiom iscislenia strogoj implikacii) On a Set of Axioms for the System of Rigorous Implication; L. L. Maksimova, (Formal'nye vyvody v iscislenii strogoj implikacii )Formal Deductions in the System of Rigorous Implication

p. 483-484

Project Euclid

Anderson, Alan Ross

p. 484-485

Project Euclid

Further Citations

Boolos, George ; Putnam, Hilary

p. 485-489

Project Euclid

Degrees of Unsolvability of Constructible Sets of Integers

p. 497-513

Project Euclid

Some Undecidable Problems Involving Elementary Functions of a Real Variable

Richardson, Daniel

p. 514-520

Project Euclid

Uniformly Introreducible Sets

Jockusch, Carl G.

Rescher, Nicholas ; Garson, James

p. 521-536

Project Euclid

Topological Logic

p. 537-548

Project Euclid

Uniform Gentzen Systems

Smullyan, Raymond M.

p. 549-559

Project Euclid

Analytic Cut

Smullyan, Raymond M.

p. 560-564

Project Euclid

An Unsolved Problem in the Theory of Constructive Order Types

Hamilton, Alan G.

p. 565-567

Project Euclid

Replacement in Some Modal Systems

Thomas, Ivo

p. 569-570

Project Euclid

Remarks on Some Theorems of Keisler

Lindstrom, Per

p. 571-576

Project Euclid

A Notion of Effectiveness in Arbitrary Structures

Lambert, W. M.

p. 577-602

Project Euclid

Review: S. S. Barlingay, A Modern Introduction to Indian Logic

Staal, J. F.

p. 603-604

Project Euclid

Review: Kurt Schutte, Probleme und Methoden der Beweistheorie

Bernays, Paul

p. 604-605

Project Euclid

Review: Lars Bergstrom, Something on `Pragmatic Implication' and Similar Concepts

p. 605-606

Project Euclid

Review: E. U. Zaharova, Criteria of Completeness for Systems of Functions from $P_k$

Rosenberg, Ivo

p. 606-607

Project Euclid

Review: M. Hanazaw, A Characterization of Axiom Schema Playing the Role of Tertium non Datur ir Intuitionistic Logic

Umezawa, Toshio

p. 607-608

Project Euclid

Review: L. L. Maksimova, A. Yablonsky, Some Problems of the Ackermann Calculus

Anderson, Alan Ross

p. 608-610

Project Euclid

Review: A. N. Prior, A. I. Melden, Escapism: The Logical Basis of Ethics

Allen, Layman E.

p. 610-611

Project Euclid

Review: P. H. Nowell-Smith, E. J. Lemmon, Escapism: The Logical Basis of Ethics

Allen, Layman E.

p. 611-612

Project Euclid

Review: Thomas S. Knight, Questions and Universals

Stahl, Gerold

p. 612-613

Project Euclid

Review: J. R. Lucas, Minds, Machines and Godel; Paul Benacerraf, God, the Devil, and Godel

Boolos, George S.

p. 613-615

Project Euclid

Review: E. J. Lemmon, On Sentences Verifiable by Their Use; Jaakko Hintikka, Cogito, Ergo Sum: Inference or Performance?

Cargile, James

p. 615-616

Project Euclid

Review: Jaakko Hintikka, Kant's Dortrine of Mathematics: Studies of its Basic Concept, its Structure, and its Sources

Kauppi, Raili

p. 616-618

Project Euclid

Review: R. L. Goodstein, R. D. Lee, A Decidable Class of Equations in Recursive Arithmetic

Vuckovic, V.

p. 618-619

Project Euclid

Review: John Myhill, Recursive Function Theory

Ellentuck, Erik

p. 619-620

Project Euclid

Review: , Combinatorial Series and Recursive Equivalence Types

Manaster, A. B.

p. 620-621

Project Euclid

Review: K. I. Appel, There Exist two Regressive Sets Whose Intersection is Not Regressive

Sansone, F. J.

p. 621-622

Project Euclid

Review: G. Kreisel, Gerald E. Sacks, Metarecursive Sets

Platek, Richard A.

p. 622-623

Project Euclid

Review: L. A. Bokut, On the Novikov Groups

Collins, Donald

p. 623-624

Project Euclid

[Omnibus Review]

Horn, Alfred

p. 625-626

Project Euclid

Review: Joachim Lambek, The Mathematics of Sentence Structure; Joachim Lambek, Contributions to a Mathematical Analysis of the English Verb-Phrase; Joachim Lambek, Structure of languages and its Mathematical Aspects

Shamir, Eliahu

p. 627-628

Project Euclid

Review: Seiiti Huzino, Simulatability of Finite Automata by Schepherdson and Sturgis' Machines; Seiiti Huzino, On the Simulation of Real-Time Turing Machines by a Modified Schepherdson-Sturgis' Machine

Asser, Gunter

p. 628-629

Project Euclid

Review: Eugene L. Lawler, An Approach to Multilevel Boolean Minimization

Choudhury, A. K.

p. 630-631

Project Euclid

Review: Lynn H. Loomis, Shlomo Sternberg, Advanced Calculus

Ferebee, Ann S.

p. 631-632

Project Euclid

Further Citations

Dreben, Burton ; Thomson, James

p. 632-635

Project Euclid

Annual Meeting of the Association for Symbolic Logic

p. 636-645

Project Euclid

Association for Symbolic Logic