J. Symbolic Logic, Tome 34 (1969)

Project Euclid

Review: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic

Chang, C. C.

Project Euclid

Notice of the National Science Foundation

Project Euclid

Symposium on Mathematical Logic

Project Euclid

Fellowship and Research Opportunities in the Mathematical Sciences

Project Euclid

Review: Haskell B. Curry, A Theory of Formal Deducibility

Project Euclid

Review: E. W. Beth, On Machines which Prove Theorems

Cooper, D. C.

Project Euclid

Review: Jose de Jesus Martinez, Introduccion a la Logica Moderna

Asenjo, Florencio G.

Project Euclid

Review: B. G. Mirkin, On a Language of Pseudo-Regular Expressions

Brzozowski, J. A.

Project Euclid

Review: Sheila Greibach, A New Normal-Form Theorem for Context-Free Phase Structure Grammars

Parikh, Rohit

Project Euclid

Review: A. B. Hutoreckij, On Recursive Isomorphism

Project Euclid

Review: Alan Cobham, Yehoshua Bar-Hillel, The Intrinsic Computational Difficulty of Functions

Cook, Stephen A.

Project Euclid

Review: Robert McNaughton, Automata, Formal Languages, Abstracts Switching, and Computability in a Ph.D. Computer Science Program

Project Euclid

Review: B. van Rootselaar, Intuition und Konstruktion

Vesley, R. E.

Project Euclid

Review: J. C. Shepherdson, Representability of Recursively Enumerable Sets in Formal Theories

DiPaola, Robert A.

Project Euclid

Review: Anton Jensen, On Axiomatic Set Theory

Lofgren, Lars

Project Euclid

Review: Harvey Gerber, An Extension of Schutte's Klammer-Symbols

Levitz, Hilbert

Project Euclid

Review: Raymond M. Smullyan, Elementary Formal Systems

Project Euclid

Review: Bruno Scarpellini, On a Family of Models of Zermelo-Fraenkel Set Theory

Halpern, James D.

Project Euclid

Review: H. Rasiowa, $\mathcal{N}$-Lattices and Constructive Logic with Strong Negation

Nelson, David

Project Euclid

Review: T. Traczyk, Weak Isomorphisms of Boolean and Post Algebras

Gratzer, G.

Project Euclid

Review: Roger C. Lyndon, Metamathematics and Algebra: An Example

Oberschelp, Arnold

Project Euclid

Review: Diana Brignole, Antonio Monteiro, Caracterisation des Algebres de Nelson par des Egalites

Nelson, David

Project Euclid

Review: A. I. Omarov, On Compact Classes of Models

Makkai, Mihaly

Project Euclid

Review: Alan Ross Anderson, Nuel D. Belnap, Modalities in Ackerman's Rigorous Implication

Bayart, A.

Project Euclid

Review: H. Jerome Keisler, Theory of Models with Generalized Atomic Formulas

Helling, Martin

Project Euclid

Review: Per Lindstrom, First Order Predicate Logic with Generalized Quantifiers

Fuhrken, G.

Project Euclid

Review: Nuel D. Belnap, Entailment and Relevance

Bayart, A.

Project Euclid

Review: Steven Orey, New Foundations and the Axiom of Counting

Feldman, Norman

Project Euclid

Review: T. Traczyk, On Axioms and Some Properties of Post Algebras; T. Traczyk, Axioms and Some Properties of Post Algebras; T. Traczyk, A Generalization of the Loomis-Sikorski Theorem

Gratzer, George

Project Euclid

Review: Z. Piesyk, Remarks on Tarski's System of Axioms of Geometry

Szczerba, L. W.

Project Euclid

Review: Alan Rose, Caracterisation, au Moyen de la Theorie des Treillis, du Calcul de Propositions a Foncteurs Variables

Project Euclid

Review: Jan Salamucha, Tadeusz Gierymski, Marian Heitzman, The Proof `Ex Motu' for the Existence of God: Logical Analysis of St. Thomas' Arguments

Hodges, Wilfrid

Project Euclid

Review: Eugen Mihailescu, Formes Normales dans le Calcul des Propositions Bivalentes; Eugen Mihailescu, Recherches sur Quelques Systemes du Calcul des Propositions

Iseki, K.

Project Euclid

Review: Y. Bar-Hillel, New Light on the Liar; Yehoshua Bar-Hillel, Do Natural Languages Contain Paradoxes?

Cargile, James

Project Euclid

Review: Frederic B. Fitch, A Theory of Logical Essences; Frederic B. Fitch, A Complete and Consistent Modal Set Theory

Rundle, Bede

Project Euclid

Review: U. L. Ersov, Decidability of the Elementary Theory of Relatively Complemented Distributive Lattices and of the Theory of Filters

Galvin, Fred

Project Euclid

Review: A. Grzegorczyk, A. Mostowski, C. Ryll-Nardzewski, Definability of Sets in Models of Axiomatic Theories

Levy, Azriel

Project Euclid

Review: Edward W. Cogan, Robert Z. Norman, Gerald L. Thompson, Calculus of Functions of One Argument. With Analytic Geometry and Differential Equations

Gould, William E.

Project Euclid

Review: Rolf Schock, Logik

Mayoh, B. H.

Project Euclid

Review: A. Ehrenfeucht, Separable Theories

Enderton, H. B.

Project Euclid

Review: Jens Erik Fenstad, On the Completeness of Some Transfinite Recursive Progressions of Axiomatic Theories

Savitt, Steven

Project Euclid

Review: Kempachiro Ohashi, On Undecidable Theorems

Yasugi, Mariko

Project Euclid

Review: Ph. Dwinger, Direct Limits of Partially Ordered Systems of Boolean Algebras

Pierce, R. S.

Project Euclid

Review: B. A. Trahtenbrot, Optimal Computations and the Frequency Occurrence of Ablonskij

Becvar, Jiri

Project Euclid

Review: Seymour Ginsburg, H. Gordon Rice, Two Families of Languages Related to ALGOL

Project Euclid

Review: Seymour Ginsburg, Edwin H. Spanier, Semigroups, Presburger Formulas, and Languages

Project Euclid

Review: John P. Kimball, Predicates Definable over Transformational Derivations by Intersection with Regular Languages

Matthews, G. H.

Project Euclid

Review: Rolf Schock, On Probability Logics

Krauss, Peter

Project Euclid

Review: Rolf Schock, On Induction

Krauss, Peter

Project Euclid

Annals of Mathematical Logic: Announcement of a New Periodical

Project Euclid

Review: P. T. Geach, On Beliefs about Oneself

Project Euclid

Review: Yen-Yi Wu, Can the Mathematician be Replaced by a Machine?

Chang, C. C.

Project Euclid

Review: Jonas Lichtenberg, Mathematics and Symbols

Project Euclid

Review: Thomas Storer, MINIAC: World's Smallest Electronic Brain

Project Euclid

Review: Gerold Stahl, Aspectos Formales de Algunas Paradojas Semanticas

van Heijenoort, J.

Project Euclid

Review: David Pager, An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates

Hailperin, Theodore

Project Euclid

Review: F. Richard Singer, Some Sheffer Functions for $M$-Valued Logics

Graham, R. L.

Project Euclid

Review: Gerold Stahl, La Verdad Desde el Punto de Vista Logico-Matematico

van Heijenoort, J.

Project Euclid

Review: L. E. J. Brouwer, Points and Spaces

Moschovakis, Joan Rand

Project Euclid

Review: J. C. E. Dekker, Regressive Isols

Bredlau, C. E.

Project Euclid

Review: Henryk Skolimowski, Polish Analytical Philosophy. A Survey and a Comparison with British Analytical Philosophy

Project Euclid

Review: T. G. McLaughlin, Some Remarks on Extensibility, Confluence of Paths, Branching Properties, and Index Sets, for Certain Recursively Enumerable Graphs

Richter, Wayne

Project Euclid

Review: Ronald J. Butler, The Scaffolding of Russell's Theory of Descriptions

Project Euclid

Review: Ronald Jager, Russell's Denoting Complex

Project Euclid

Review: Newton Garver, Varieties of Use and Mention

Project Euclid

Review: J. R. Shoenfield, The Problem of Predicativity

Boolos, George S.

Project Euclid

Review: Per Lindstrom, On Relations between Structures

Fuhrken, G.

Project Euclid

Review: Dana Scott, Dimension in Elementary Euclidean Geometry

Schwabhauser, Wolfram

Project Euclid

A Note on Degrees of Subsets

Soare, Robert I.

Project Euclid

Review: Bjarni Jonsson, Defining Relations for Full Semigroups of Finite Transformations

Monk, Donald

Project Euclid

Review: Bernard A. Galler, Cylindric and Polyadic Algebras

Monk, Donald

Project Euclid

Review: A. I. Mal'cev, Algorithms and Recursive Functions

Mendelson, Elliott

Project Euclid

Review: Chen Chung Chang, Alfred Horn, Prime Ideal Characterization of Generalized Post Algebras

Traczyk, Tadeusz

Project Euclid

Review: J. Santos, H. Arango, La Operacion Puente en las Algebras de Boole

Asenjo, Florencio G.

Project Euclid

Review: Gerald E. Sacks, A Minimal Degree less than O'

Robinson, Robert W.

Project Euclid

Review: T. G. McLaughlin, Some Counterexamples in the Theory of Regressive Sets

Manaster, A. B.

Project Euclid

Review: L. Kalmar, A Practical Infinitistic Computer

Gould, William E.

Project Euclid

Review: V. D. Vuckovic, Creative and Weakly Creative Sequences of R.E. Sets

Cleave, J. P.

Project Euclid

Review: B. M. Kloss, S. L. Bloom, The Definition of Complexity of Algorithms

Cobham, Alan

Project Euclid

Review: Michael Arbib, Manuel Blum, Machine Dependence of Degree of Difficulty

Cobham, Alan

Project Euclid

Review: M. P. Schutzenberger, A Remark on Finite Transducers

Rabin, Michael O.

Project Euclid

Review: Michael O. Rabin, Hao Wang, Words in the History of a Turing Machine with a Fixed Input

Friedman, Joyce

Project Euclid

Review: Azriel Levy, Axiomatization of Induced Theories

Frayne, Thomas

Project Euclid

Review: Trevor Evans, The Word Problem for Abstract Algebras; Trevor Evans, Embeddability and the Word Problem

Clapham, C. R. J.

Project Euclid

Review: Alfred Tarski, The Completeness of Elementary Algebra and Geometry

Project Euclid

Review: Gilbert Baumslag, W. W. Boone, B. H. Neumann, Some Unsolvable Problems about Elements and Subgroups of Groups

Britton, J. L.

Project Euclid

Review: T. Traczyk, Some Theorems on Independence in Post Algebras

Dwinger, Ph.

Project Euclid

Review: Tsutomu Hosoi, On the Separation Theorem of Intermediate Propositional Calculi; Tsutomu Hosoi, The Separable Axiomatization of the Intermediate Propositional Systems $S_n$ of Godel

Horn, Alfred

Project Euclid

Review: T. Traczyk, An Equational Definition of a Class of Post Algebras

Dwinger, Ph.

Project Euclid

Review: Katuzi Ono, A Pursuit of Simple Basic Systems

Project Euclid

Review: Katuzi Ono, A Formalism for Primitive Logic and Mechanical Proof-Checking

Project Euclid

Review: Seppo Ilkka, A New Arithmetization for Finitely Many-Valued Propositional Calculi

Nakamura, Akira

Project Euclid

Review: Katuzi Ono, A Certain Kind of Formal Theories

Project Euclid

Review: J. Dopp, Logiques Construites par une Methode de Deduction Naturelle

Prawitz, Dag

Project Euclid

Review: Alan Rose, An Extension of a Theorem of Margaris

Nakamura, Akira

Project Euclid

Review: Saul A. Kripke, Semantical Considerations for Modal Logics

Gabbay, Dov

Project Euclid

Review: William T. Fontaine, Avoidability and the Contrary-to-Fact Conditional in C. L. Stevenson and C. I. Lewis

Diggs, B. J.

Project Euclid

Review: Ruth Barcan Marcus, Iterated Deontic Modalities

Project Euclid

Review: Nicholas Rescher, Recent Developments and Trends in Logic; Yehoshua Bar-Hillel, A Neglected Recent Trend in Logic

Project Euclid

Review: Takeo Sugihara, The Numbers of Modalities in T Supplemented by the Axiom $CL^2pL^3p$

Project Euclid

Review: Ivan Boh, An Examination of Ockham's Aretetic Logic

Tweedale, Martin

Project Euclid

Review: E. J. Lemmon, Symposium: Is there only one Correct System of Modal Logic? I; G. P. Henderson, Is there Only one Correct System of Modal Logic? II

Hallden, Soren

Project Euclid

Review: J.-L. Destouches, Sur la Mecanique Classique et l'Intuitionnisme

Heyting, A.

Project Euclid

Review: Richard E. Vesley, On Strengthening Intuitionistic Logic

Robinson, T. Thacher

Project Euclid

Review: Katuzi Ono, On a Practical Way of Describing Formal Deductions; Katuzi Ono, New Formulation of the Axiom of Choice by Making use of the Comprehension Operator

Mendelson, Elliott

Project Euclid

Review: Richard Montague, Ernest Nagel, Patrick Suppes, Alfred Tarski, Two Contributions to the Foundations of Set Theory

Feferman, Solomon

Project Euclid

Review: Paul R. Halmos, Naive Set Theory

Borgers, Alfons

Project Euclid

Review: Giuseppe Vaccarino, Il Calcolo delle Proposizioni

Project Euclid

Review: Otto Bird, Syllogistic and its Extensions

Gould, William E.

Project Euclid

Review: Raymond L. Wilder, Introduction to the Foundations of Mathematics

Thomason, Richmond H. ; Johnson, D. Randolph

Project Euclid

Predicate Calculus with Free Quantifier Variables

p. 1-7

Project Euclid

Partially Ordered Sets Representable by Recursively Enumerable Classes

Florence, J. B.

p. 8-12

Project Euclid

Recursive Equivalence Types and Groups

Hassett, Matthew J.

p. 13-20

Project Euclid

An Undecidable Two Sorted Predicate Calculus

Slomson, A. B.

p. 21-23

Project Euclid

Identity, Equivalence and Isomorphism of Problems

Materna, Pavel

p. 24-34

Project Euclid

A Normal Modal Calculus Between T and S4 Without the Finite Model Property

Makinson, David

p. 35-38

Project Euclid

Index Sets of Finite Classes of Recursively Enumerable Sets

Hay, Louise

p. 39-44

Project Euclid

Rich Co-ordinals, Addition Isomorphisms, and Rets

Manaster, Alfred B.

p. 45-52

Project Euclid

Sets with no Subset of Higher Degrees

Soare, Robert I.

p. 53-56

Project Euclid

A Second Order Logic of Existence

Cocchiarella, Nino B.

p. 57-69

Project Euclid

A Choice Free Theory of Dedekind Cardinals

Ellentuck, Erik

p. 70-84

Project Euclid

Some Nondistributive Lattices as Initial Segments of the Degrees of Unsolvability

Lerman, Manuel

Pogorzelski, W. A. ; Surma, S. J.

p. 85-98

Project Euclid

Review: J. H. Woodger, Alfred Tarski, Logic, semantics, metamathematics, papers from 1923 to 1938

p. 99-106

Project Euclid

Review: Christian Thiel, Sinn und Bedeutung in der Logik Gottlob Freges

Gabriel, G.

p. 106-107

Project Euclid

Review: Paul Benacerraf, Hilary Putnam, Philosophy of mathematics: Selected Readings

Fisher, Alec

p. 107-110

Project Euclid

Review: Elliott Mendelson, Introduction to Mathematical Logic

van Dalen, Dirk

p. 110-111

Project Euclid

Review: Abraham A. Fraenkel, Set Theory and Logic

Frayne, Thomas

p. 112-113

Project Euclid

Review: P. M. Cohn, Universal Algebra

Robinson, Abraham

p. 113-114

Project Euclid

Review: A. A. Fridman, Degrees of Unsolvability of the Word Problem for Finitely Defined Groups

Collins, D. J.

p. 114-115

Project Euclid

[Omnibus Review]

Platek, Richard A.

p. 115-116

Project Euclid

Review: M. T. Partis, Commutative Partially Ordered Recursive Arithmetics

Rose, H. E.

p. 117-118

Project Euclid

Review: H. Rasiowa, Algebraische Charakterisierung der Intuitionistischen Logik mit Starker Negation

Nelson, David

p. 118-119

Project Euclid

Review: G. Kreisel, On Weak Completeness of Intuitionistic Predicate Logic

Moschovakis, Joan Rand

p. 119-120

Project Euclid

Review: Luka Krnic, Types of Bases in the Algebra of Logic

Rosenberg, I.

p. 121-122

Project Euclid

[Omnibus Review]

Rose, Alan

p. 122-124

Project Euclid

Review: R. H. Thomason, H. Leblanc, All or None: a Novel Choice of Primitives for Elementary Logic

Yasuhara, Mitsuru

p. 124-125

Project Euclid

Review: Robert L. Vaught, Ernest Nagel, Patrick Suppes, Alfred Tarski, On a Theorem of Cobham Concerning Undecidable Theories

Dyson, Verena H.

p. 126-127

Project Euclid

Review: W. Hanf, J. W. Addison, Leon Henkin, Alfred Tarski, Model-Theoretic Methods in the Study of Elementary Logic

Dyson, Verena H.

p. 127-128

Project Euclid

Review: A. Mostowski, A Class of Models for Second Order Arithmetic; A. Mostowski, Formal System of Analysis Based on an Infinitistic Rule of Proof

Enderton, H. B.

p. 128-129

Project Euclid

Review: H. Jerome Keisler, J. W. Addison, Leon Henkin, Alfred Tarski, Finite Approximations of Infinitely Long Formulas; H. Jerome Keisler, Some Applications of Infinitely Long Formulas

Karp, Carol

p. 129-130

Project Euclid

Review: J. R. Shoenfield, On a Restricted $\omega$-Rule

DiPaola, Robert

p. 130-131

Project Euclid

Review: Saul A. Kripke, An Extension of a Theorem of Gaifman-Hales-Solovay

Gaifman, Haim

Review: Motokiti Kondo, Haruo Murata, On Proof Retrieval: Problem-Solving Machines. I; Motokiti Kondo, Haruo Murata, Standard Form in PGO and Transformation Algorithm: Problem-Solving Machines. II; Motokiti Kondo, Haruo Murata, Transformation of PGO into a Calculable Expression: Problem-Solving Machines. III

p. 131-132

Project Euclid

Robinson, J. A.

p. 132-133

Project Euclid

Review: G. S. Matveeva, On a Theorem of Rabin Concerning the Complexity of Computable Functions

Becvar, Jiri

p. 133-134

Project Euclid

Review: J. W. Swanson, A Variant of Turing Machines Requiring Print Instructions only

Davis, Martin

p. 134-135

Project Euclid

Review: Seymour Ginsburg, Edwin H. Spanier, Quotients of Context-Free Languages

p. 135-136

Project Euclid

Review: Seymour Ginsburg, Edwin H. Spanier, Bounded ALGOL-like Languages

p. 136-137

Project Euclid

Review: Richard M. Martin, A Formalization of Inductive Logic

Bohnert, Herbert G.

p. 137-138

Project Euclid

Review: Hilary Putnam, Formalization of the Concept about

Bar-Hillel, Yehoshua

p. 138-139

Project Euclid

Review: Gerold Stahl, Le Probleme de L'Existence dans La Logique Symbolique; Gerold Stahl, Temps et Existence; G. Stahl, Une Formalisation du Dominateur

Prior, A. N.

p. 140-141

Project Euclid

Review: Karl Eberhard Schorr, Gottlob Freges Totalitatsanspruch der Logik

Thiel, Christian

p. 141-142

Project Euclid

Review: John R. Searle, Russell's Objections to Frege's Theory of Sense and Reference

p. 142-143

Project Euclid

Review: P. T. Geach, Russell on Meaning and Denoting

p. 143-144

Project Euclid

Further Citations

p. 145-151

Project Euclid

Meeting of the Association for Symbolic Logic

Moschovakis, Yiannis N.

p. 152-160

Project Euclid

The Unsolvability of the Uniform Halting Problem for Two State Turing Machines

Herman, Gabor T.

Buchi, J. Richard ; Landweber, Lawrence H.

p. 161-165

Project Euclid

Definability in the Monadic Second-Order Theory of Successor

p. 166-170

Project Euclid

Finite Inseparability of Some Theories of Cylindrification Algebras

Comer, Stephen D.

p. 171-176

Project Euclid

Hierarchies Based on Objects of Finite Type

Grilliot, Thomas J.

p. 177-182

Project Euclid

Representation of Symmetric Probability Models

Krauss, Peter H.

p. 183-193

Project Euclid

$\pi^1_1$ Sets, $\omega$-Sets, and Metacompleteness

Owings, James C.

p. 194-204

Project Euclid

The Independence of Ramsey's Theorem

Kleinberg, E. M.

p. 205-206

Project Euclid

Real Numbers and Functions in the Kleene Hierarchy and Limits of Recursive, Rational Functions

Shapiro, N. Z.

p. 207-214

Project Euclid

Note on a Paper in Tense Logic

Bull, R. A.

p. 215-218

Project Euclid

Eliminating the Continuum Hypothesis

Platek, Richard A.

p. 219-225

Project Euclid

Infinitary Logic and Admissible Sets

Barwise, Jon

p. 226-252

Project Euclid

A Conjunctive Normal Form For S3.5

Cresswell, M. J.

p. 253-255

Project Euclid

On Modal Logic with Propositional Quantifiers

Bull, R. A.

p. 257-263

Project Euclid

Probability Logic

Burgess, John P.

p. 264-274

Project Euclid

On the Structure of Quantum Logic

Finch, P. D.

p. 275-282

Project Euclid

Independence of Rose's Axioms for $m$-Valued Implication

Edmonds, Ernest

p. 283-284

Project Euclid

Constructive Order Types on Cuts

Soare, Robert I.

p. 285-289

Project Euclid

Review: N. A. Sanin, Constructive Real Numbers and Constructive Functional Spaces

Fels, E. M.

p. 290-292

Project Euclid

[Omnibus Review]

Muller, Gert Heinz

p. 292-294

Project Euclid

Review: Gerald E. Sacks, The Recursively Enumerable Degrees are Dense

Robinson, Robert W.

p. 294-295

Project Euclid

Review: C. Spector, Inductively Defined Sets of Natural Numbers

Garland, Stephen J.

p. 295-296

Project Euclid

Review: M. P. Schutzenberger, On the Definition of a Family of Automata; M. P. Schutzenberger, Finite Counting Automata; M. P. Schutzenberger, Certain Elementary Families of Automata

Rabin, Michael O.

p. 296-297

Project Euclid

Review: M. P. Schutzenberger, On Context-Free Languages and Push-Down Automata

Rabin, Michael O.

p. 297-298

Project Euclid

Review: Maurice Gross, Andre Lentin, Notions sur les Grammaires Formelles

Blikle, Andrzej

p. 298-299

Project Euclid

Review: A. I. Mal'cev, Model Correspondences

Mostowski, Andrzej

p. 299-300

Project Euclid

Review: Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski, Topics in the Theory of Definition; Walter Felscher, On Criteria of Definability

Keisler, H. Jerome

p. 300-301

Project Euclid

Review: E. G. K. Lopez-Escobar, An Interpolation Theorem for Denumerably Long Formulas; E. G. K. Lopez-Escobar, Universal Formulas in the Infinitary Language $L_{\alpha \beta}$

Engeler, Erwin

p. 301-302

Project Euclid

Review: Kensuke Takeuchi, The Word Problem of Free Algebras

Yasugi, Mariko

p. 302-303

Project Euclid

Review: Angelo Margaris, A Problem of Rosser and Turquette

Nakamura, Akira

p. 304-305

Project Euclid

Review: Stig Kanger, The Morning Star Paradox; Stig Kanger, A Note on Quantification and Modalities

Hintikka, Jaakko

p. 305-306

Project Euclid

Review: P. Destouches-Fevrier, Sur l'Intuitionnisme et la Conception Strictement Constructive

van Dalen, D.

p. 306-307

Project Euclid

Review: Dennis Spellman, A Generalization of the Structure of the Sentential Calculus

p. 308-309

Project Euclid

Review: Brian Ellis, Basic Concepts of Measurement

Causey, Robert L.

p. 310-311

Project Euclid

Review: Desmond Paul Henry, The Logic of Saint Anselm

Kretzmann, Norman

p. 312-313

Project Euclid

Review: Carlo Cellucci, La filosofia della matematica

Ferro, Ruggero

p. 313-314

Project Euclid

Further Citations

p. 314-320

Project Euclid

Consistency of Lesniewski's Mereology

Lejewski, Czeslaw

p. 321-328

Project Euclid

The Elimination of De Re Modalities

Cresswell, M. J.

p. 329-330

Project Euclid

Nonfinitizability of Classes of Representable Cylindric Algebras

Monk, J. Donald

p. 331-343

Project Euclid

Nonfinitizability of Classes of Representable Polyadic Algebras

Johnson, James S.

p. 344-352

Project Euclid

Bar Induction and $\Pi^1_1-CA^1$

Friedman, Harvey

p. 353-362

Project Euclid

Countable Vector Spaces with Recursive Operations. Part I

Dekker, J. C. E.

p. 363-387

Project Euclid

Generic Embeddings

Plotkin, Jacob Manuel

p. 388-394

Project Euclid

Logic with Truth Values in a Linearly Ordered Heyting Algebra

Horn, Alfred

p. 395-408

Project Euclid

Applications of Strict $\Pi^1_1$ Predicates to Infinitary Logic

Barwise, Jon

p. 409-423

Project Euclid

Reduced Products and Nonstandard Logics

Benda, M.

p. 424-436

Project Euclid

On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers

Makkai, M.

Meyer, Robert K. ; Dunn, J. Michael

p. 437-459

Project Euclid

E, R, and $\gamma$

p. 460-474

Project Euclid

Free $L$-Algebras

Horn, Alfred

p. 475-480

Project Euclid

Natural Models of Ackermann's Set Theory

Grewe, Rudolf

p. 481-488

Project Euclid

The Degrees of Hyperhyperimmune Sets

Jockusch, Carl G.

p. 489-493

Project Euclid

Review: Charles Hartshorne, Paul Weiss, Collected Papers of Charles Sanders Peirec

p. 494-495

Project Euclid

Review: Paul Arthur Schilpp, The Philosophy of Bertrand Russell

p. 495-496

Project Euclid

Review: Raymond D. Bradley, Geometry and Necessary Truth

p. 496-497

Project Euclid

[Omnibus Review]

Tweedale, Martin

p. 497-499

Project Euclid

Review: Nicolas Rescher, The Logic of Commands

Thomson, James

p. 499-500

Project Euclid

Review: Robert Feys, J. Dopp, Modal Logics

Massey, Gerald J.

p. 501-502

Project Euclid

Review: Katuzi Ono, On Universal Character of the Primitive Logic

p. 503-504

Project Euclid

Review: Satoshi Miura, A Remark on the Intersection of Two Logics

p. 504-505

Project Euclid

Review: M. D. Gladstone, Some Ways of Constructing a Propositional Calculus of any Required Degree of Unsolvability

Singletary, W. E.

p. 505-506

Project Euclid

Review: William W. Boone, Hartley Rogers, On a Problem of J. H. C. Whitehead and a Problem of Alonzo Church

Britton, J. L.

p. 506-507

Project Euclid

Review: A. A. Fridman, On the Relation between the Word Problem and the Conjugacy Problem in Finitely Defined Groups

Britton, J. L.

p. 507-508

Project Euclid

Review: Philip K. Hooper, Monogenic Post Normal Systems of Arbitrary Degree

Gladstone, M. D.

p. 508-509

Project Euclid

Review: C. C. Elgot, Decision Problems of Finite Automata Design and Related Arithmetics

McNaughton, Robert

p. 509-510

Project Euclid

Review: C. Moisil, Relay Contact Circuits under Direct Control

Rudeanu, S.

p. 510-511

Project Euclid

Review: M. A. Gavrilov, The Present State of the Theory of Relay Circuits

Rudeanu, S.

p. 511-512

Project Euclid

Review: C. C. Chang, A. Horn, On the Representation of $\alpha$-Complete Lattices

Gratzer, George

p. 512-513

Project Euclid

Review: A. I. Mal'cev, On Small Models

Mostowski, Andrzej

p. 513-514

Project Euclid

[Omnibus Review]

Kunen, Kenneth

p. 515-516

Project Euclid

Review: Abraham Robinson, On Languages which are Based on Non-Standard Arithmetic

Geiser, James R.

p. 516-517

Project Euclid

Review: Clement F. Kent, Constructive Analogues of the Group of Permutations of the Natural Numbers

Cannonito, F. B.

p. 517-518

Project Euclid

Review: J. C. E. Dekker, Good Choice Sets; J. C. E. Dekker, The Recursive Equivalence Type of a Class of Sets

Bredlau, C. E.

p. 518-519

Project Euclid

Review: B. van Rootselaar, On Intuitionistic Difference Relations

Vesley, R. E.

p. 519-520

Project Euclid

Review: Sze-Tsen Hu, Elementary Functions and Coordinate Geometry

p. 520-521

Project Euclid

Further Citations

p. 521-531

Project Euclid

Meeting of the Association for Symbolic Logic Warsaw 1968

Mostowski, A. ; Blikle, A.

p. 533-544

Project Euclid

An Abstract Form of the Church-Rosser Theorem. I

Hindley, R.

p. 545-560

Project Euclid

Combinatory Logic with Discriminators

Kearns, John T.

p. 561-575

Project Euclid

Compactification of Groups and Rings and Nonstandard Analysis

Robinson, Abraham

p. 576-588

Project Euclid

Finite Sets in Quine's New Foundations

Henson, C. Ward

p. 589-596

Project Euclid

Effectively Retractable Theories and Degrees of Undecidability

Jones, J. P.

p. 597-604

Project Euclid

Abstract Computability and Invariant Definability

Moschovakis, Yiannis N.

Cannonito, Frank B. ; Finkelstein, Mark

p. 605-633

Project Euclid

On Primitive Recursive Permutations and their Inverses

p. 634-638

Project Euclid

A Simple Solution of the Uniform Halting Problem

Herman, Gabor T.

p. 639-640

Project Euclid

Review: Donald Kalish, Richard Montague, Logic. Techniques of Formal Reasoning

Mayoh, B. H.

p. 641-642

Project Euclid

Review: Leon W. Cohen, Gertrude Ehrlich, The Structure of the Real Number System

p. 642-643

Project Euclid

Review: Henry E. Kyburg, Philosophy of Science: A Formal Approach

Miller, David

p. 643-644

Project Euclid

Review: John E. Llewelyn, What is a Question?

Harrah, David

p. 644-645

Project Euclid

Review: David Randall Luce, A Calculus of `Before.'

Cocchiarella, Nino B.

p. 646-647

Project Euclid

Review: Czeslaw Lejewski, On Lesniewski's Ontology; Czeslaw Lejewski, Zu Lesniewskis Ontologie

Iwanus, Boguslaw

p. 647-648

Project Euclid

Review: Lennart Aqvist, Results Concerning some Modal Systems that Contain S2; E. J. Lemmon, Some Results on Finite Axiomatizability in Modal Logic; E. J. Lemmon, A Note on Hallden-Incompleteness

Cresswell, M. J.

p. 648-649

Project Euclid

Review: Toshio Nishimura, Godel's Theorem and Related Topics

Yasugi, Mariko

p. 649-650

Project Euclid

Review: A. I. Mal'cev, J. N. Whitney, Regular Products of Models

Robinson, Abraham

p. 651-652

Project Euclid

Review: Andrzej Grzegorczyk, Some Relational Systems and the Associated Topological Spaces

Bull, R. A.

p. 652-653

Project Euclid

Review: Azriel Levy, Yehoshua Bar-Hillel, Definability in Axiomatic Set Theory I

Drake, F. R.

p. 653-654

Project Euclid

Review: A. Levy, R. M. Solovay, Measurable Cardinals and the Continuum Hypothesis

Drake, F. R.

p. 654-655

Project Euclid

Review: Jean Ladriere, La Notion de Constructivite en Metamathematique

Chateaubriand, O.

p. 655-656

Project Euclid

Review: Manuel Blum, A Machine-Independent Theory of the Complexity of Recursive Functions

Cook, Stephen A.

p. 657-658

Project Euclid

Review: M. Greniewski, $(m + n)$-Element Algebras and their Applications to Relay-Contact Systems

Rowicki, Andrzej

p. 658-659

Project Euclid

Further Citations

p. 659-662

Project Euclid

Association for Symbolic Logic

p. 664-701

Project Euclid

Index of Reviews