J. Symbolic Logic, Tome 38 (1973)

Project Euclid

Review: Hans Freudenthal, Lincos. Design of a Language for Cosmic Intercourse. Part I

Narens, Louis

Project Euclid

Review: Kit Fine, Propositional Quantifiers in Modal Logic

Gallin, Daniel

Project Euclid

Review: David Makinson, Aspectos de la Logica Modal

Asenjo, Florencio G.

Project Euclid

Review: Jean Drabbe, Les S4-Algebres Finies

Project Euclid

Review: V. A. Jankov, Finite Validity of Formulas of a Special Form

Anderson, J. G.

Project Euclid

Review: A. S. Troelstra, B. van Rootselaar, J. F. Staal, The Theory of Choice Sequences

Vesley, R. E.

Project Euclid

Review: Stephen Cole Kleene, Introduction to Metamathematics

Enderton, H. B.

Project Euclid

Review: John Myhill, Elementary Properties of the Group of Isolic Integers

Hassett, Matthew

Project Euclid

Review: Carl E. Bredlau, Regressive Functions and Combinatorial Functions

Hay, Louise

Project Euclid

Review: J. W. Addison, Yiannis N. Moschovakis, Some Consequences of the Axiom of Definable Determinateness; Donald A. Martin, The Axiom of Determinateness and Reduction Principles in the Analytical Hierarchy

Baumgartner, James E.

Project Euclid

Review: Richard L. Poss, A Note on a Lemma of J. W. Addison

Enderton, H. B.

Project Euclid

Review: Shaligram Singh, Independence of a Strong Axiom of Choice

Enderton, H. B.

Project Euclid

Review: M. Makkai, On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers

Keisler, H. Jerome

Project Euclid

Review: John Staples, A Non-standard Representation of Boolean Algebras, and Applications

Robinson, Abraham

Project Euclid

Review: Hugo Bedau, Paul Oppenheim, Complementarity in Quantum Mechanics: A Logical Analysis

Suppes, Patrick

Project Euclid

Review: R. Martin, G. Sabbagh, Encyclopedia Universalis

van Heijenoort, J.

Project Euclid

Review: Ian Hacking, A Concise Introduction to Logic

Borgers, Alfons

Project Euclid

Review: James F. Gray, Sets, Relations, and Functions

Borgers, Alfons

Project Euclid

Review: John E. Hopcroft, Jeffrey D. Ullman, Relations between Time and Tape Complexities

Becvar, Jiri

Project Euclid

Fourth Biennial Meeting of the Philosophy of Science Association

Project Euclid

Fellowship and Research Opportunities in the Mathematical Sciences

Project Euclid

Notice of Summer Institute, Logic Colloquium, and Meeting of the Association for Symbolic Logic

Project Euclid

Historia Mathematica

Project Euclid

Review: F. Waismann, A. G. N. Flew, Language Strata

Project Euclid

Review: E. J. Lemmon, If I Know, do I Know that I Know?

Hilpinen, Risto

Project Euclid

Review: Charles F. Kielkopf, Kripke's Axiomatization of S2

Project Euclid

Review: W. W. Tait, The Substitution Method

Schutte, K.

Project Euclid

Review: Elliott Mendelson, A Semantic Proof of the Eliminability of Descriptions; T. G. McLaughlin, A Muted Variation on a Theme of Mendelson

Bacon, John

Project Euclid

Review: B. Rotman, Boolean Algebras with Ordered Bases

Pierce, R. S.

Project Euclid

Review: Bruce Kallick, A Decision Procedure Based on the Resolution Method

Friedman, Joyce

Project Euclid

Review: A. N. Kolmogorov, V. A. Uspenskij, On the Definition of an Algorithm

Mendelson, Elliott

Project Euclid

Review: Frank B. Cannonito, Mark Finkelstein, On Primitive Recursive Permutations and their Inverses

Cleave, John P.

Project Euclid

Review: J. Myhill, Category Methods in Recursion Theory

Cooper, S. B.

Project Euclid

Review: Thomas J. Grilliot, Inductive Definitions and Computability

Jones, Gregory W.

Project Euclid

Review: Yiannis N. Moschovakis, The Game Quantifier

Martin, Donald A.

Project Euclid

Review: F. R. Drake, On Weak Cardinal Powers in Generic Extensions

Jech, Thomas J.

Project Euclid

Review: K. Prikry, The Consistency of the Continuum Hypothesis for the First Measurable Cardinal

Boffa, M.

Project Euclid

Review: Fred Galvin, Horn Sentences

Taylor, Walter

Project Euclid

Review: Saharon Shelah, On the Cardinality of Ultraproduct of Finite Sets

Slomson, A.

Project Euclid

Review: C. C. Chang, Descendingly Incomplete Ultrafilters

Slomson, A.

Project Euclid

Review: H. Jerome Keisler, On Cardinalities of Ultraproducts

Slomson, A.

Project Euclid

Review: John W. Rosenthal, A New Proof of a Theorem of Shelah

Baldwin, John T.

Project Euclid

Review: J. J. C. Smart, Problems of Space and Time

Project Euclid

Review: H. Jerome Keisler, Model Theory

Chang, C. C.

Project Euclid

Review: Hans Hermes, Einfuhrung in die Mathematische Logik. Klassische Pradikatenlogik

Engeler, Erwin

Project Euclid

Review: Benson Mates, Elementary Logic

Project Euclid

Review: Rosaria Egidi, La Consistenza Filosofica Della Logica di Frege

Angelelli, Ignacio

Project Euclid

Review: Haskell B. Curry, Foundations of Mathematical Logic

Craig, William

Project Euclid

Review: R. L. Goodstein, Truth Tables

Gould, William E.

Project Euclid

Review: Jaroslav Sedivy, Solution of Simple Logical Problems by Colouring Graphs

Standley, Gerald

Project Euclid

Review: Solomon Feferman, The Number Systems. Foundations of Algebra and Analysis

Gould, William E.

Project Euclid

Review: J. Donald Monk, Introduction to Set Theory

Shoenfield, J. R.

Project Euclid

Notice of a Meeting of the Association for Symbolic Logic

Project Euclid

Notice of a Conference on Relevance Logic

Project Euclid

Review: L. Rieger, On the Consistency of the Generalized Continuum Hypothesis

Drake, F. R.

Project Euclid

Review: Vlad Boicescu, Sur la Representation des Algebres de Lukasiewicz $n$-valentes

Monteiro, Luiz

Project Euclid

Review: Andrzej Grzegorczyk, On Certain Formal Consequences of Reism

Lejewski, C.

Project Euclid

Review: A. H. Basson, D. J. O'Connor, Language and Philosophy: Some Suggestions for an Empirical Approach

Sandri, Giorgio

Project Euclid

Review: Hisao Tanaka, On Analytic Well-orderings

Richter, Wayne

Project Euclid

Review: Gerhard Gentzen, Zusammenfassung von Mehreren Vollstandigen Induktionen zu Einer Einzigen

Riser, John

Project Euclid

Review: Michael O. Rabin, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Non-standard Models and Independence of the Induction Axiom

Project Euclid

Review: Kurt Hauschild, Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrucke Spezieller Gestalt

Project Euclid

Review: G. Takeuti, W. M. Zaring, Introduction to Axiomatic Set Theory

Drake, F. R.

Project Euclid

Review: Newcomb Greenleaf, Fields in Which Varieties have Rational Points: a Note on a Problem of Ax

Dyson, Verena H.

Project Euclid

Review: Robert M. Solovay, A Model of Set-Theory in which Every Set of Reals is Lebesgue Measurable

Laver, Richard

Project Euclid

Review: A. D. Tajmanov, Characteristics of Axiomatizable Classes of Models

Kotlarski, Henryk

Project Euclid

Review: Saunders Mac Lane, Categorical Algebra and Set-Theoretic Foundations

Mitchell, William

Project Euclid

Review: A. D. Tajmanov, Characterization of Axiomatizable Classes of Models. II

Mostowski, Andrzej

Project Euclid

Review: B. A. Trahtenbrot, On Autoreducibility

Ladner, Richard E.

Project Euclid

Research Conference on Language, Intentionality, and Translation Theory

Project Euclid

Review: Th. Skolem, Recursive Enumeration of Some Classes of Primitive Recursive Functions and a Majorisation Theorem

Rose, H. E.

Project Euclid

Review: Daniel Lacombe, La Theorie des Fonctions Recursives et ses Applications

Yates, C. E. M.

Project Euclid

Notice of Annual Meeting of the Association for Symbolic Logic

Project Euclid

Review: Wayne H. Richter, Regressive Sets of Order n

Bredlau, C. E.

Project Euclid

Review: Karel Culik II, N-Ary Grammars and the Descriptions of Mapping of Languages

Rose, Gene F.

Project Euclid

The Carol Karp Memorial Fund

Project Euclid

Review: Erik Ellentuck, A Minimal Model for Strong Analysis

Shilleto, J. R.

Project Euclid

Review: Henry Veatch, The Significance of Current Criticisms of the Syllogism

Boh, Ivan

Project Euclid

Review: H. Jerome Keisler, W. A. J. Luxemburg, Holt, Rinehart, Winston, Infinite Quantifiers and Continuous Games

Malitz, Jerome

Project Euclid

Review: P. T. Geach, Distribution: a Last Word

Kretzmann, Norman

Project Euclid

Review: Rolf George, Enthymematic Consequence

Project Euclid

Review: Sergiu Rudeanu, Independent Systems of Axioms in Lattice Theory

Potts, Donald H.

Project Euclid

Review: J. Hooley, Sentence Logic as an Introduction to Axiomatic Systems

Gould, William E.

Project Euclid

[Omnibus Review]

da Costa, Newton C. A.

Project Euclid

Review: Ralph C. Applebee, Biswambhar Pahi, Some Results on Generalized Truth-Tables

Project Euclid

Review: Mark Fisher, A System of Deontic-Alethic Modal Logic

Snyder, Donald Paul

Project Euclid

Review: James Rosenberg, The Application of Ternary Semigroups to the Study of $n$-Valued Sheffer Functions

Graham, R. L.

Project Euclid

Review: David Makinson, A Generalisation of the Concept of a Relational Model for Modal Logic

Thomason, S. K.

Project Euclid

Review: J. Jay Zeman, Bases for S4 and S4.2 without Added Axioms

Snyder, Donald Paul

Project Euclid

Review: George S. Boolos, A Proof of the Lowenheim-Skolem Theorem

Goldfarb, Warren D.

Project Euclid

Review: W. Craig, Analysis of First-Order Implications

Goldfarb, Warren D.

Project Euclid

Review: R. Routley, Decision Procedures and Semantics for C1, E1 and $S0.5^0$

Schumm, G. F.

Project Euclid

Review: J. R. Hindley, B. Lercher, J. P. Seldin, Introduction to Combinatory Logic

Barendregt, Henk

Project Euclid

Many-one Degrees Associated With Problems of Tag

Hughes, C. E.

p. 1-17

Project Euclid

Minimal $\alpha$-Recursion Theoretic Degrees

Macintyre, John M.

p. 18-28

Project Euclid

The Consistency of Number Theory Via Herbrand's Theorem

Scanlon, T. M.

p. 29-58

Project Euclid

Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations"

Henson, C. Ward

p. 59-68

Project Euclid

Permutation Methods Applied to Quine's "New Foundations"

Henson, C. Ward

p. 69-76

Project Euclid

A Note on Modified Abstraction Principles

Lake, John

Keisler, H. Jerome ; Walkoe, Wilbur

p. 77-78

Project Euclid

The Diversity of Quantifier Prefixes

p. 79-85

Project Euclid

The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields

Gabbay, Dov M.

p. 86-92

Project Euclid

Defining Algebraic Elements

Bacsich, Paul D.

p. 93-101

Project Euclid

Elementary Intuitionistic Theories

p. 102-134

Project Euclid

Review: Herbert A. Simon, Nicholas Rescher, The Logic of Rational Decision

Dawson, Edward E.

p. 135-144

Project Euclid

Review: Aldo Bressan, Metodo di Assiomatizzazione in Senso Stretto Della Meccannica Classica Applicazione di Esso ad Alcuni Problem di Assiomatizzazione non Ancora Completamente Risolti

Garson, James W.

Review: Henry Albert Finch, An Explication of Counterfactuals by Probability Theory; Richard C. Jeffrey, A Note on Finch's An Explication of Counterfactuals by Probability Theory; Henry Albert Finch, Due Care in Explicating Counterfactuals: a Reply to Mr. Jeffrey

p. 144-145

Project Euclid

Stalnaker, Robert C.

p. 145-146

Project Euclid

Review: Robert Rogers, John R. Gregg, F. T. C. Harris, A Survey of Formal Semantics

Nolan, Rita

p. 146-147

Project Euclid

Review: Eugene C. Luschei, The Logical Systems of Lesniewski

Kearns, John T.

p. 147-148

Project Euclid

Review: Robert Price, The Stroke Function in Natural Deduction

Stanley, Robert L.

p. 149-150

Project Euclid

Review: Glenn James, Robert C. James, Mathematics Dictionary; Robert C. James, Edwin F. Beckenbach, James & James Mathematics Dictionary

Ferebee, Ann S.

p. 150-151

Project Euclid

Review: Wolfgang Stegmuller, Max Kasbauer, Franz von Kutschera, Eine Axiomatisierung der Mengenlehre, Beruhend Auf Den Systemen von Bernay und Quine

Borgers, Alfons

p. 151-152

Project Euclid

Review: P. Erdos, A. Hajnal, On the Structure of Set-Mappings; P. Erdos, A. Hajnal, Some Remarks Concerning Our Paper "On the Structure of Set-Mappings".-- Non Existence of a two-valued $\sigma$-measure for the first uncountable inaccessible cardinal

Reinhardt, W. N.

p. 152-153

Project Euclid

Review: Giulio Andreoli, Proprieta delle Funzioni Simmetriche Elementari Nel Algebre di Boole e Nel Algebre dei Livelli

Ferro, Ruggero

p. 153-154

Project Euclid

Review: Dieter Klaua, Konstruktive Analysis

Mayoh, Brian H.

p. 154-155

Project Euclid

[Omnibus Review]

Owings, James C.

p. 155-156

Project Euclid

Review: Gert Heinz Muller, Charakterisierung einer Klasse von Rekursiven Funktionen; G. H. Muller, Rekursionsformen in der Zahlentheorie

Rodding, Dieter

p. 156-157

Project Euclid

Review: John Myhill, Finitely Representable Functions

Davis, Martin

p. 157-158

Project Euclid

Review: R. Montague, Recursion Theory as a Branch of Model Theory

Gordon, Carl E.

p. 158-159

Project Euclid

Review: Andrzej Grzegorczyk, An Unfinitizability Proof by Means of Restricted Reduced Power

p. 159-161

Project Euclid

Review: James Ax, Solving Diophantine Problems Modulo Every Prime

Dyson, Verena H.

p. 161-162

Project Euclid

Review: James Ax, The Elementary Theory of Finite Fields

Dyson, Verena H.

p. 162-163

Project Euclid

Review: R. Sikorski, A Topological Characterization of Open Theories

Felscher, Walter

p. 163-164

Project Euclid

Review: A. D. Tajmanov, Characterization of Axiomatizable Classes of Models. I

Mostowski, Andrzej

p. 164-165

Project Euclid

Review: A. D. Tajmanov, Elliott Mendelson, Characterization of Finitely Axiomatizable Classes of Models

Mostowski, Andrzej

p. 165-166

Project Euclid

Review: Dana Scott, Ralph Schoenman, Existence and Description in Formal Logic

p. 166-169

Project Euclid

Further Citations

p. 169-174

Project Euclid

On the First-Order Logic of Terms

Svenonius, Lars

p. 177-188

Project Euclid

The Set Theoretical Foundations of Nonstandard Analysis

Phillips, N. C. K.

p. 189-192

Project Euclid

Borel Sets and Ramsey's Theorem

Galvin, Fred ; Prikry, Karel

p. 193-198

Project Euclid

Mitotic Recursively Enumerable Sets

Ladner, Richard E.

p. 199-211

Project Euclid

Bases of Countable Boolean Algebras

Pierce, R. S.

p. 212-214

Project Euclid

A Proof of the Cut-Elimination Theorem in Simple Type Theory

Titani, Satoko

p. 215-226

Project Euclid

Observations Concerning Elementary Extensions of $\omega$-Models. II

Marek, W.

p. 227-231

Project Euclid

A Finite Arithmetic

Shepard, Philip T.

p. 232-248

Project Euclid

Minimal Degrees and the Jump Operator

Cooper, S. B.

p. 249-271

Project Euclid

Recursive Elements and Constructive Extensions of Computable Local Integral Domains

Suter, Glen H.

p. 272-290

Project Euclid

Discernible Elements in Models for Peano Arithmetic

Ehrenfeucht, Andrzej

p. 291-292

Project Euclid

An Application of $\sum^0_4$ Determinancy to the Degrees of Unsolvability

Jockusch, Carl G.

p. 293-294

Project Euclid

The Relation of $A$ to $\operatorname{Prov} \ulcorner A \urcorner$ in the Lindenbaum Sentence Algebra

Kent, C. F.

Kleinberg, E. M. ; Seiferas, J. I.

p. 295-298

Project Euclid

Infinite Exponent Partition Relations and Well-Ordered Choice

p. 299-308

Project Euclid

The Word Problem for Free Fields

Cohn, P. M.

p. 309-314

Project Euclid

The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic

Friedman, Harvey

p. 315-319

Project Euclid

Review: P. F. Strawson, Individuals. An Essay in Descriptive Metaphysics

Cargile, James

p. 320-323

Project Euclid

Review: John R. Searle, Charles E. Caton, P. F. Strawson, Proper Names; Michael McKinsey, Searle on Proper Names

Thomson, James

p. 323-324

Project Euclid

Review: Nicholas Rescher, Temporal Modalities in Arabic Logic

Kamp, Hans

p. 325-326

Project Euclid

Review: Carlos E. Alchourron, Eugenio Bulygin, Normative Systems

Cresswell, M. J.

p. 326-327

Project Euclid

Review: Alan Ross Anderson, Nuel D. Belnap, John R. Wallace, Independent Axiom Schemata for the Pure Theory of Entailment

Snyder, Donald Paul

p. 327-328

Project Euclid

Review: M. J. Cresswell, Logique et Analyse

Schumm, G. F.

Review: Yu. T. Medvedev, Elliott Medelson, Finite Problems; Yu. T. Medvedev, Sue Ann Walker, Interpretation of Logical Formulas by Means of Finite Problems and its Relation to the Realizability Theory; Ju. T. Medvedev, Sue Ann Walker, Interpretation of Logical Formulas by Means of Finite Problems

p. 328-329

Project Euclid

Moschovaks, Joan Rand

p. 330-331

Project Euclid

Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus

Anderson, J. G.

p. 331-332

Project Euclid

Review: Reijiro Kurata, Recursive Progression of Intuitionistic Number Theories

Feferman, Solomon

p. 332-333

Project Euclid

Review: David Isles, A. Kino, J. Myhill, R. E. Vesley, Regular Ordinals and Normal Forms

Pfeiffer, Helmut

p. 334-335

Project Euclid

Review: Thomas J. Jech, Two Remarks on Elementary Embeddings of the Universe

Mansfield, Richard

p. 335-336

Project Euclid

Review: Dana Scott, On Constructing Models for Arithmetic

Mendelson, Elliott

p. 336-337

Project Euclid

Review: Aubert Daigneault, Operations in Polyadic Algebras

Comer, Stephen D.

p. 337-338

Project Euclid

Review: S. I. Adjan, M. Greendlinger, Defining Relations and Algorithmic Problems for Groups and Semigroups

Yasuhara, Ann

p. 338-339

Project Euclid

Review: John T. Kearns, Combinatory Logic with Discriminators

Seldin, Jonathan P.

p. 339-340

Project Euclid

Review: Herbert B. Enderton, A Mathematical Introduction to Logic

Shoenfield, J. R.

p. 340-341

Project Euclid

Review: Alice Mary Hilton, Logic, Computing Machines, and Automation

Barnes, Robert F.

p. 341-342

Project Euclid

Review: G. N. Povarov, A Mathematical Theory for the Synthesis of Contact Networks with One Inpu and $k$ Outputs

Ferebee, Ann S.

p. 343-344

Project Euclid

Further Citations

p. 344-347

Project Euclid

Meeting of the Association for Symbolic Logic

Nerode, Anil ; Barwise, K. J.

p. 348-358

Project Euclid

Redundancies in the Hilbert-Bernays Derivability Conditions for Godel's Second Incompleteness Theorem

Jeroslow, R. G.

p. 359-367

Project Euclid

Noninitial Segments of the $|alpha$-Degrees

MacIntyre, John M.

p. 368-388

Project Euclid

An Axiomatisation of Quantum Logic

Clark, Ian D.

p. 389-392

Project Euclid

Degrees of Continuous Functionals

Hinman, Peter G.

p. 393-395

Project Euclid

On the Possibility of a $|Sigma|frac{1}{2}$ Well-Ordering of the Baire Space

Mansfield, Richard

p. 396-398

Project Euclid

Weak Definability in Infinitary Languages

Shelah, Saharon

p. 399-404

Project Euclid

Borel Sets and Hyperdegrees

Friedman, Harvey M.

p. 405-409

Project Euclid

On an Ackermann-Type Set Theory

Lake, John

p. 410-412

Project Euclid

Complete Types and the Natural Numbers

Knight, Julia F.

p. 413-415

Project Euclid

Limitations on the Fraenkel-Mostowski Method of Independence Proofs

Howard, Paul E.

p. 416-422

Project Euclid

Rowbottom Cardinals and Jonsson Cardinals are Almost the Same

Kleinberg, E. M.

p. 423-427

Project Euclid

The Word Problem for Division Rings

MacIntyre, Angus

Jockusch, Carl G. ; Soare, Robert I.

p. 428-436

Project Euclid

Encodability of Kleene's $O$

p. 437-440

Project Euclid

A Characterization of Terms of the $|lambda I$-Calculus Having a Normal Form

Barendregt, Henk

Jockusch, Carl G. ; Soare, Robert I.

p. 441-445

Project Euclid

Post's Problem and His Hypersimple Set

p. 446-452

Project Euclid

The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions

Goodman, Nicolas D.

p. 453-459

Project Euclid

Uncountable Models and Infinitary Elementary Extensions

Gregory, John

Lewis, Harry R. ; Goldfarb, Warren D.

p. 460-470

Project Euclid

The Decision Problem for Formulas with a Small Number of Atomic Subformulas

p. 471-480

Project Euclid

The Characterization of Monadic Logic

Tharp, Leslie H.

p. 481-488

Project Euclid

The Consistency of a System of Combinatory Restricted Generality

Curry, Haskell B.

p. 489-492

Project Euclid

Algebraically Closed Commutative Rings

Cherlin, G. L.

p. 493-499

Project Euclid

Metamathematical Problems

Robinson, Abraham

p. 500-516

Project Euclid

Review: Hans Hermes, Einfuhrung in die Mathematische Logik. Klassische Pradikatenlogik

Engeler, Erwin

p. 518-519

Project Euclid

Review: R. Zane Parks, On Formalizing Aristotle's Theory of Modal Syllogisms

Thomas, Ivo

p. 519-520

Project Euclid

Review: C. G. McKay, A Note on the Jaskowski Sequence

Segerberg, Krister

p. 520-521

Project Euclid

Review: L. Henkin, Boolean Representation Through Propositional Calculus; J. Los, Remarks on Henkin's Paper: Boolean Representation Through Propositional Calculus

Ferebee, Ann S.

p. 521-522

Project Euclid

Review: H. Jerome Keisler, Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers

Lopez-Escobar, E. G. K.

p. 522-523

Project Euclid

Review: Saharon Shelah, Uniqueness and Characterization of Prime Models Over Sets for Totally. Transcendental First-Order Theories

Gold, Jerrold

p. 523-524

Project Euclid

Review: Ivan M. Havel, Regular Expressions over Generalized Alphabet and Design of Logical Nets

Brzozowski, J. A.

p. 524-525

Project Euclid

Review: V. D. Vuckovic, Almost Recursive Sets

Bredlau, C. E.

p. 525-526

Project Euclid

Review: H. B. Enderton, On Provable Recursive Functions

Rogers, Hartley

p. 526-527

Project Euclid

Review: George Boolos, Hilary Putnam, Degrees of Unsolvability of Constructible Sets of Integers

Kechris, A. S.

p. 527-528

Project Euclid

Review: Serge Grigorieff, Combinatorics on Ideals and Forcing

Booth, David

p. 528-529

Project Euclid

Review: Z. I. Kozlova, The Axiom of Constructibility and Multiple Separability and Inseparability in the Classes of the Analytical Hierarchy

Hinman, Peter G.

p. 529-530

Project Euclid

Review: Arthur H. Kruse, Some Notions of Random Sequence and their Set-Theoretic Foundations

Schnorr, C. P.

p. 530-531

Project Euclid

Review: Carl G. Hempel, Inductive Inconsistencies

Kasher, Asa

p. 531-532

Project Euclid

Review: Ludovico Geymonat, Gottlob Frege, Logica e Aritmetica

p. 532-534

Project Euclid

Review: Carmelo Ottaviano, Logicalia, Saggi di Logica e di Ffilosofia Della Scienza

Sandri, Giorgio

p. 534-535

Project Euclid

Further Citations

p. 536-540

Project Euclid

Meeting of the Association for Symbolic Logic, Dallas 1973

Monk, J. Donald ; Mycielski, Jan ; Schmidt, Jurgen

p. 541-549

Project Euclid

Measurable Cardinals and a Combinatorial Principle of Jensen

Devlin, Keith J.

p. 551-560

Project Euclid

Generic Expansions of Structures

Knight, Julia F.

p. 561-570

Project Euclid

Equality in $\mathscr{F}_{21}$

Seldin, Jonathan P.

p. 571-575

Project Euclid

Axiom Systems for First Order Logic with Finitely Many Variables

Johnson, James S.

p. 576-578

Project Euclid

On Complexity Properties of Recursively Enumerable Sets

Blum, M. ; Marques, I.

p. 579-593

Project Euclid

A Converse of the Barwise Completeness Theorem

Stavi, Jonathan

p. 594-612

Project Euclid

Model Existence Theorems for Modal and Intuitionistic Logics

Fitting, Melvin

Aanderaa, Stal O. ; Lewis, Harry R.

p. 613-627

Project Euclid

Prefix Classes of Krom Formulas

p. 628-642

Project Euclid

Review: George Gratzer, Universal Algebra

Baker, Kirby A.

p. 643-644

Project Euclid

Review: Roger C. Lyndon, Notes on Logic

Shepherdson, J. C.

p. 644-646

Project Euclid

Review: Richard C. Jeffrey, Formal Logic: Its Scope and Limits; Richard C. Jeffrey, Instructor's Manual to Accompany Formal Logic: Its Scope and Limits

Sibajiban

p. 646-647

Project Euclid

Review: Ralph Kopperman, Model Theory and Its Applications

Robinson, Abraham

p. 647-648

Project Euclid

Review: S. Shelah, Stable Theories; Saharon Shelah, Stability, the F.C.P., and Superstability; Model Theoretic Properties of Formulas in First Order Theory

Baldwin, John T.

p. 648-649

Project Euclid

Review: R. MacDowell, E. Specker, Modelle der Arithmetik

Phillips, Robert G.

p. 651-652

Project Euclid

Review: Ulrich Felgner, Comparison of the Axioms of Local and Universal Choice; Andrzej Mostowski, Models of Second Order Arithmetic with Definable Skolem Functions

Simpson, S. G.

p. 652-653

Project Euclid

Review: Thomas J. Grilliot, Selection Functions for Recursive Functionals

Clarke, D. A.

p. 653-654

Project Euclid

Review: Marian Boykan Pour-El, Independent Axiomatization and its Relation to the Hypersimple Set

Feiner, Lawrence

p. 654-655

Project Euclid

Review: V. A. Kozmidiadi, S. S. Marcenkov, On Multi-Head Automata

Grzymala-Busse, J. W.

p. 655-656

Project Euclid

Review: L. A. Zadeh, Fuzzy Sets; L. A. Zadeh, Similarity Relations and Fuzzy Orderings

Goguen, J. A.

p. 656-657

Project Euclid

[Omnibus Review]

Potts, Donald H.

p. 658-660

Project Euclid

Review: Dean P. McCullough, Logical Connectives for Intuitionistic Propositional Logic

Fitting, Melvin

p. 660-661

Project Euclid

Review: P. T. Geach, Aristotle on Conjunctive Propositions

McCall, Storrs

p. 661-662

Project Euclid

Review: R. Harre, F. Waismann, How I see Philosophy

p. 663-665

Project Euclid

Review: J. J. C. Smart, A. G. N. Flew, Theory Construction

p. 665-668

Project Euclid

Review: R. W. Ashby, Entailment and Modality; John O. Nelson, A Question of Entailment; John Bacon, Entailment and the Modal Fallacy

Dawson, Edward E.

p. 668-670

Project Euclid

Association for Symbolic Logic

p. 672-710

Project Euclid

Index of Reviews: Volumes 37, 38