J. Symbolic Logic, Tome 32 (1967) no. 1

Project Euclid

Index of Reviews

p. 610-647

Project Euclid

Association for Symbolic Logic

p. 578-609

Project Euclid

Meeting of the Association for Symbolic Logic

Schmidt, H. A. ; Schutte, K. ; Thiele, E.-J. ; Cresswell, M. J.

p. 556-577

Project Euclid

Further Citations

p. 550-555

Project Euclid

Review: L. Jonathan Cohen, A Formalisation of Referentially Opaque Contexts

Kanger, S.

Project Euclid

Review: L. Jonathan Cohen, Why do Cretans have to Say so Much?

Kanger, S.

Project Euclid

[Omnibus Review]

Kanger, S.

p. 549-550

Project Euclid

Review: Tadeusz Kubinski, A Review of Some Problems of the Logic of Questions

Materna, Pavel

p. 548-549

Project Euclid

Review: Gerold Stahl, Un Developpement de la Logique des Questions

Harrah, David

Project Euclid

Review: Henry Hiz, Questions and Answers

Harrah, David

p. 547-548

Project Euclid

Review: Nicholas Rescher, Studies in the History of Arabic Logic

Potts, Timothy C.

p. 546-547

Project Euclid

Review: Nicholas Rescher, Choice without Preference. A Study of the History and of the Logic of the Problem of "Buridan's Ass."

Potts, Timothy C.

p. 545-546

Project Euclid

Review: Herbert Hochberg, On Pegasizing; Vernon Dolphin, Mr. Hochberg, Mr. Quine and the Theory of Description

Anderson, Alan Ross

Project Euclid

Review: Klixbull Jorgensen, A Classification of Categorical Propositions

Thomas, Ivo

Project Euclid

Review: Stanislaw Kaminski, Rules for Syllogisms with the Consideration of Schemata with Negated Subject Terms

Thomas, Ivo

Project Euclid

Review: Takeo Sugihara, A Study on Modal Logic

Nakamura, Akira

Project Euclid

Review: Takeo Sugihara, Modern Logic

Nakamura, Akira

p. 543-544

Project Euclid

Review: R. D. Lee, The Substitution Schema in Recursive Arithmetic

Rose, H. E.

Project Euclid

Review: Jurgen Schmidt, Peano-Baume

Gershuni, B.

p. 542-543

Project Euclid

Review: D. E. Rutherford, Introduction to Lattice Theory

Monk, Donald

Project Euclid

Review: Joachim Metz, GrundriB Einer Allgemeinen Schaltungstheorie (Analyse)

Wagner, Eric G.

Project Euclid

Review: Thomas H. Mott, Determination of the Irredundant Normal Forms of a Truth Function by Iterated Consensus of the Prime Implicants; D. M. Y. Chang, T. H. Mott, Computing Irredundant Normal Forms from Abbreviated Presence Functions

Choudhury, A. K.

p. 541-542

Project Euclid

Review: I. B. Pyne, E. J. McCluskey, The Reduction of Redundancy in Solving Prime Implicant Tables

Choudhury, A. K.

p. 540-541

Project Euclid

Review: Angelo Raffaele Meo, On the Minimal Third Order Expression of a Boolean Function

Choudhury, A. K.

Project Euclid

Review: P. Schofield, Complete Subsets of Mappings over a Finite Domain

Martin, Norman M.

p. 539-540

Project Euclid

Review: P. Schofield, On a Correspondence between Many-Valued and Two-Valued Logics

Martin, Norman M.

Project Euclid

Review: Arto Salomaa, On Essential Variables of Functions, Especially in the Algebra of Logic

Martin, Norman M.

Project Euclid

Review: Vladimir G. Kirin, Gentzen's Method for the Many-Valued Propositional Calculi

Nakamura, Akira

p. 538-539

Project Euclid

Review: Ronald Harrop, Some Structure Results for Propositional Calculi

Yasuhara, Ann

p. 537-538

Project Euclid

Review: R. Sikorski, A Theorem on Non-Classical Functional Calculi; R. Sikorski, Some Applications of Interior Mappings

Makkai, Mihaly

Project Euclid

Review: Witold A. Pogorzelski, Jerzy Slupecki, A Proof of the Completeness of the Classical Propositional Calculus on the Ground of an Axiomatic Methodology

Bednarowski, W.

p. 536-537

Project Euclid

Review: Jerzy Slupecki, The Lukasiewicz Function

Bednarowski, W.

Project Euclid

Review: M. I. Kargapolov, On the Elementary Theory of Abelian Groups

Mennicke, J.

p. 535-536

Project Euclid

Review: Michael Morley, Robert Vaught, Homogeneous Universal Models

Project Euclid

Review: Bjarni Jonsson, Universal Relational Systems; B. Jonsson, Homogeneous Universal Relational Systems

p. 534-535

Project Euclid

[Omnibus Review]

p. 533-534

Project Euclid

Review: M. Machover, A Note on Sentences Preserved under Direct Products and Powers

Weinstein, J.

Project Euclid

Review: Arnold Oberschelp, Uber die Axiome Arithmetischer Klassen mit Abgeschlossenheitsbedingungen

Weinstein, J.

Project Euclid

Review: Arnold Oberschelp, Uber die Axiome Produkt-Abgeschlossener Arithmetischer Klassen

Weinstein, J.

p. 532-533

Project Euclid

Review: A. Mostowski, On Models of Axiomatic Set-Theory

Mendelson, Elliott

p. 531-532

Project Euclid

Review: Daniel Lacombe, Sur la Methode Extensive en Metamathematique

Project Euclid

Review: S. Feferman, C. Spector, Incompleteness along Paths in Progressions of Theories

DiPaola, R. A.

Project Euclid

Review: Solomon Feferman, Transfinite Recursive Progressions of Axiomatic Theories

DiPaola, R. A.

p. 530-531

Project Euclid

Review: A. Ehrenfeucht, S. Feferman, Representability of Recursively Enumerable Sets in Formal Theories

DiPaola, R. A.

Project Euclid

Review: Yiannis N. Moschovakis, Many-one Degrees of the Predicates $H_a(x)$

Hensel, Gustav B.

p. 529-530

Project Euclid

Review: Ann H. Ihrig, The Post-Lineal Theorems for Arbitrary Recursively Enumerable Degrees of Unsolvability

Sacks, Gerald E.

Project Euclid

Review: J. R. Shoenfield, A Theorem on Minimal Degrees

Lachlan, A. H.

Project Euclid

Review: Gerald E. Sacks, On a Theorem of Lachlan and Martin

Project Euclid

Review: Donald A. Martin, On a Question of G. E. Sacks

p. 528-529

Project Euclid

Review: Donald A. Martin, Classes of Recursively Enumerable Sets and Degrees of Unsolvability

Appel, K.

Project Euclid

Review: Gerald E. Sacks, A Maximal Set which is not Complete

Appel, K.

Project Euclid

Review: Joseph Barback, Two Notes on Regressive Isols

Bredlau, Carl

p. 527-528

Project Euclid

Review: J. C. E. Dekker, The Minimum of Two Regressive Isols

Ellentuck, Erik

Project Euclid

Review: Norman Shapiro, Functions which Remain Partial Recursive Under all Similarity Transformations

Axt, Paul

Project Euclid

Review: S. Ju. Maslov, Transformation of Arbitrary Canonical Calculi into CanonicaL Calculi of Special Types

Project Euclid

Review: S. U. Maslov, On the "Tag" Problem of E. L. Post

p. 526-527

Project Euclid

Review: S. U. Maslov, Some Properties of E. L. Post's Apparatus of Canonical Systems

p. 524-526

Project Euclid

Review: Raymond M. Smullyan, Extended Canonical Systems

Bennett, James H.

Project Euclid

Review: S. Tennenbaum, Degree of Unsolvability and the Rate of Growth of Functions

Cannonito, F. B.

Project Euclid

Review: Tibor Rado, On a Simple Source for Non-Computable Functions

Cannonito, F. B.

Project Euclid

Review: T. Rado, On Non-Computable Functions

Cannonito, F. B.

Project Euclid

Review: A. M. Barzdin, On a Class of Turing Machines (Minsky Machines)

Tartakoff, David S.

p. 523-524

Project Euclid

Review: John McCarthy, Computer Programs for Checking Mathematical Proofs

Project Euclid

Review: H. Gelernter, Theorem Proving by Machine; H. Gelernter, Realization of a Geometry Theorem Proving Machine

p. 522-523

Project Euclid

Review: Abraham Robinson, Proving a Theorem (as Done by Man, Logician, or Machine)

Project Euclid

Review: Burton Dreben, John Denton, A Supplement to Herbrand

Andrews, Peter

p. 521-522

Project Euclid

Review: Burton Dreben, Stal Aanderaa, Herbrand Analyzing Functions

Andrews, Peter

Project Euclid

Review: P. C. Gilmore, An Addition to "Logic of Many-Sorted Theories."

Schmidt, H. Arnold

Project Euclid

Review: Gerold Stahl, Enfoque Moderno de la Logica Clasica; Gerold Stahl, Introduccion a la Logica Simbolica; Gerold Stahl, Elementos de la Metalogica y Metamatematica

Chateaubriand, O.

p. 519-521

Project Euclid

Review: Amitabha Ghose, Konstruktive Grundlagen der Logik

Hasenjaeger, G.

Project Euclid

Review: A. S. Esenine-Volpine, Le Programme Ultra-Intuitionniste des Fondements des Mathematiques

Kreisel, G. ; Ehrenfeucht, A.

Project Euclid

Review: P. Lorenzen, Ein Dialogisches Konstruktivitatskriterium

Kreisel, G.

Project Euclid

Review: A. Heyting, Infinitistic Methods from a Finitist Point of View

Kreisel, G.

Project Euclid

Review: Paul Lorenzen, Formale Logik

Hermes, H.

Project Euclid

Review: Rudolf Carnap, Der Logische Aufbau der Welt. Scheinprobleme in der Philosophie

Stegmuller, Wolfgang

p. 509-514

Project Euclid

A Reduction of the Recursion Scheme

Gladstone, M. D.

p. 505-508

Project Euclid

A System of Implicit Quantification

Zeman, J. Jay

p. 480-504

Project Euclid

Axiomatizability by a Schema

Vaught, Robert L.

p. 473-479

Project Euclid

$\aleph_0$-Complete Cardinals and Transcendency of Cardinals

Namba, Kanji

p. 452-472

Project Euclid

An Infinitistic Rule of Proof

Enderton, H. B.

Robinson, J. A. ; Martin, N. M.

p. 447-451

Project Euclid

Meeting of the Association for Symbolic Logic

Project Euclid

Further Citations

p. 423-429

Project Euclid

Review: Flora Dinkines, Elementary Concepts of Modern Mathematics; L. R. Sjoblom, Application of Boolean Algebra to Switching Networks

Borgers, Alfons

p. 422-423

Project Euclid

Review: Patrick Suppes, Mathematical Logic for the Schools; Patrick Suppes, Frederick Binford, Experimental Teaching of Mathematical Logic in the Elementary School

Project Euclid

Review: Frederick Binford, Solutions to the Exercises in First Course in Mathematical Logic

Project Euclid

Review: Patrick Suppes, Shirley Hill, First Course in Mathematical Logic

p. 421-422

Project Euclid

Review: Charles Sanders Peirce, Scientific Method

Project Euclid

Review: Luis E. Sanchis, Types in Combinatory Logic

Ladriere, Jean

p. 420-421

Project Euclid

Review: Georg Kreisel, Mathematical Logic

Vesley, R. E.

p. 419-420

Project Euclid

Review: B. A. Falevic, New Method of Proof of the Incompleteness Theorem for Systems with Carnap's Rule and its Application to the Question of the Relation between Classical and Constructive Analysis

Kostinsky, A.

Project Euclid

Review: Kurt Schutte, Syntactical and Semantical Properties of Simple Type Theory

Takeuti, Gaisi

p. 418-419

Project Euclid

Review: Karl Schroter, Theorie des Logischen Schliebens

Muller, Gert H.

Project Euclid

Review: Daniel Ponasse, Une Demonstration du Theoreme de Completude de Godel

Fuhrken, G.

Project Euclid

Review: Daniel Ponasse, Problemes D'Universalite S'Introduisant dans L'Algebrisation de la Logique Mathematique

Fuhrken, G.

p. 417-418

Project Euclid

Review: Leon Henkin, Alfred Tarski, Cylindrical Algebras

Project Euclid

Review: Leon Henkin, Alfred Tarski, Cylindric Algebras

p. 415-416

Project Euclid

Review: M. H. Stone, Free Boolean Rings and Algebras

Henkin, Leon

Project Euclid

Review: T. Traczyk, Minimal Extensions of Weakly Distributive Boolean Algebras

p. 414-415

Project Euclid

Review: R. Sikorski, T. Traczyk, On Free Products of $\mathfrak{m}$-Distributive Boolean Algebras

Project Euclid

Review: A. Bialynicki-Birula, Remarks on Quasi-Boolean Algebras

Gericke, H.

Project Euclid

Review: Abraham Robinson, Elias Zakon, Elementary Properties of Ordered Abelian Groups

Mennicke, J.

Project Euclid

Review: R. L. Vaught, Elementary Classes Closed under Descending Intersection

p. 413-414

Project Euclid

Review: Michael O. Rabin, Classes of Models and Sets of Sentences with the Intersection Property

Project Euclid

Review: M. O. Rabin, Computable Algebraic Systems; Michael O. Rabin, Computable Algebra, General Theory and Theory of Computable Fields

Mayoh, B. H.

p. 412-413

Project Euclid

Review: Petr Hajek, Antonin Sochor, Ein dem Fundierungsaxiom Aquivalentes Axiom

Scott, Dana

Project Euclid

Review: Petr Hajek, Die Durch Die Schwach Inneren Relationen Gegebenen Modelle der Mengenlehre

Scott, Dana

Project Euclid

Review: Petr Vopenka, Modeli Teorii Mnozestv (Modelle der Mengenlehre)

Seifert, Ralph

p. 411-412

Project Euclid

Review: H. J. Keisler, A. Tarski, From Accessible to Inaccessible Cardinals

Project Euclid

Review: H. Jerome Keisler, Some Applications of the Theory of Models to Set Theory

Project Euclid

Review: Dana Scott, Measurable Cardinals and Constructible Sets

Project Euclid

Review: David Dinsmore Comey, Current Trends in Soviet Logic

Boeselager, Wolfhart F.

p. 409-410

Project Euclid

Review: P. T. Geach, Ryle on Namely-Riders; P. J. Fitzpatrick, `Heterological' and Namely-Riders; P. T. Geach, Namely-Riders Again

Cargile, James

p. 408-409

Project Euclid

Review: Peter Glassen, Some Questions about Relations

Project Euclid

[Omnibus Review]

Bennett, Jonathan

p. 406-408

Project Euclid

Review: Natuhiko Yosida, On Brentano's Thesis and Psychologism

p. 405-406

Project Euclid

Review: Roderick M. Chisholm, A Note on Saying: A Reply to Mr. Landesman

Project Euclid

Review: Charles Landesman, A Note on Belief

Project Euclid

Review: Roderick M. Chisholm, Sentences about Believing

p. 404-405

Project Euclid

Review: Lennart Aqvist, A New Approach to the Logical Theory of Interrogatives. Part I. Analysis

Harrah, David

p. 403-404

Project Euclid

Review: Jaakko Hintikka, The Once and Future Sea Fight: Aristotle's Discussion of Future Contingents in de Interpretatione ix

Butler, Ronald J.

p. 402-403

Project Euclid

Review: Jaakko Hintikka, Aristotle and the "Master Argument" of Diodorus

Butler, Ronald J.

Project Euclid

Review: Keith Lehrer, Richard Taylor, Time, Truth and Modalities

Prior, A. N.

p. 401-402

Project Euclid

Review: Timothy Smiley, Relative Necessity; T. J. Smiley, The Logical Basis of Ethics

Anderson, Alan Ross

Project Euclid

Review: Richard Montague, Logical Necessity, Physical Necessity, Ethics, and Quantifiers

Bayart, A.

p. 400-401

Project Euclid

Review: Miguel Sanchez-Mazas, Sobre la Estructura de la Logica Modal

Castaneda, Hector-Neri

p. 399-400

Project Euclid

Review: Luiz F. T. Monteiro, Axiomes Independants Pour les Algebres de Lukasiewicz Trivalentes

Mihailescu, Eugen

Project Euclid

Review: Antonio Monteiro, Sur la Definition des Algebres de Lukasiewicz Trivalentes

Mihailescu, Eugen

p. 398-399

Project Euclid

Review: Luiz F. T. Monteiro, Lorenzo Gonzalez Coppola, Sur une Construction des Algebres de Lukasiewicz Trivalentes

Mihailescu, Eugen

p. 397-398

Project Euclid

Review: M. A. E. Dummett, E. J. Lemmon, Modal Logics Between S4 and S5; Iwao Nishimura, On Formulas of One Variable in Intuitionistic Propositional Calculus; D. C. Makinson, There are Infinitely Many Diodorean Modal Functions

Prior, A. N.

p. 396-397

Project Euclid

Review: F. L. Varpahovskij, The Nonrealizability of a Disjunction of Nonrealizable Formulas of Propositional Logic

Nelson, D.

Project Euclid

Review: Takakazu Simauti, A Note on the Construction of Ordinal Numbers

Schutte, K.

Project Euclid

Review: R. Fraisse, Une Notion de Recursivite Relative

Asser, Gunter

p. 395-396

Project Euclid

Review: A. H. Lachlan, A Note on Universal Sets

Young, P. R.

Project Euclid

Review: C. E. M. Yates, Three Theorems on the Degrees of Recursively Enumerable Sets

Rogers, Hartley

p. 394-395

Project Euclid

Review: C. E. M. Yates, Recursively Enumerable Sets and Retracting Functions

Rogers, Hartley

Project Euclid

Review: A. A. Mucnik, E. Mendelson, Isomorphism of Systems of Recursively Enumerable Sets with Effective Properties

Lachlan, A. H.

p. 393-394

Project Euclid

Review: M. I. Kratko, Formal Post Calculi and Finite Automata

Project Euclid

Review: M. I. Kratko, E. Mendelson, A Class of Post Calculi

Thatcher, J. W.

Project Euclid

Review: S. U. Maslov, Some Methods for the Definition of Sets in Generating Bases

p. 392-393

Project Euclid

Review: S. Ju. Maslov, Elliott Mendelson, Strong Representability of Sets by Calculi

p. 391-392

Project Euclid

Review: U. I. Anov, On Matrix Schemata

Project Euclid

Review: U. I. Anov, On the Equivalence and Transformations of Program Schemata

Project Euclid

Review: Ryszard Nowakowski, A Structural Theory of Matrix-Defined Finite Automata

Vuckovic, V.

Project Euclid

Review: R. McNaughton, H. Yamada, Regular Expressions and State Graphs for Automata

Blikle, Andrzej J.

p. 390-391

Project Euclid

Review: Irving M. Copi, Calvin C. Elgot, Jesse B. Wright, Realization of Events by Logical Nets

Blikle, Andrzej J.

p. 389-390

Project Euclid

Review: David A. Huffman, Canonical Forms for Information-Lossless Finite-State Logical Machines

Blikle, Andrzej J.

Project Euclid

Review: N. Chomsky, M. P. Schutzenberger, The Algebraic Theory of Context-Free Languages

Matthews, G. H.

p. 388-389

Project Euclid

Review: Noam Chomsky, Aspects of the Theory of Syntax

Staal, J. F.

p. 385-387

Project Euclid

Nonaxiomatizability Results for Infinitary Systems

Karp, Carol

p. 367-384

Project Euclid

A Proof of Zermelo's Theorem

Devide, Vladimir

Project Euclid

Basic Modal Logic

Pollock, John L.

p. 355-365

Project Euclid

A Note on Finite Axiomatization of Partial Propositional Calculi

Singletary, W. E.

p. 352-354

Project Euclid

All or None: A Novel Choice of Primitives for Elementary Logic

Thomason, R. H. ; LeBlanc, H.

p. 345-351

Project Euclid

Correction to a Paper on Definability of Ordinals in Infinite Logic

Kino, Akiko

p. 343-344

Project Euclid

An Introduction to Hyperarithmetical Functions

Robinson, Julia

p. 325-342

Project Euclid

There Exist Two Regressive Sets Whose Intersection is Not Regressive

Appel, K. I.

p. 322-324

Project Euclid

On a Set Theory of Bernays

Tharp, Leslie H.

p. 319-321

Project Euclid

Remarks on an Infinitary Language with Constructive Formulas

Lopez-Escobar, E. G. K.

p. 305-318

Project Euclid

The $\mathrm{L}_{\omega_1\omega_1}$-Theory of Hilbert Spaces

Kopperman, Ralph

p. 295-304

Project Euclid

On the Axiomatizability of Uniform Spaces

Kopperman, Ralph

p. 289-294

Project Euclid

Further Citations

p. 285-288

Project Euclid

Review: Kurt Schutte, J. N. Crossley, M. A. E. Dummett, Predicative Well-Orderings; Kurt Schutte, Eine Grenze fur die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik

Parsons, Charles

p. 284-285

Project Euclid

Review: Kurt Schutte, Max Kasbauer, Franz von Kutschera, Verlag Karl Alber, Logische Abgrenzungen des Transfiniten

Parsons, Charles

Project Euclid

Review: Shoji Maehara, Toshio Nishimura, Setsuya Seki, Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension

Schutte, K.

p. 283-284

Project Euclid

Review: G. Kreisel, A Remark on Free Choice Sequences and the Topological Completeness Proofs

Moschovakis, Joan Rand

Project Euclid

Review: G. Kreisel, Elementary Completeness Properties of Intuitionistic Logic with a Note on Negations of Prenex Formulae

Moschovakis, Joan Rand

p. 282-283

Project Euclid

Review: Alfred Horn, The Separation Theorem of Intuitionist Propositional Calculus

Robinson, T. Thacer

Project Euclid

Review: Solomon Feferman, Some Recent Work of Ehrenfeucht and Fraisse

Engeler, Erwin

Project Euclid

Review: A. Ehrenfeucht, An Application of Games to the Completeness Problem for Formalized Theories

Engeler, Erwin

p. 281-282

Project Euclid

[Omnibus Review]

Engeler, Erwin

p. 280-281

Project Euclid

Review: M. I. Kargapolov, On the Elementary Theory of Lattices of Subgroups

p. 279-280

Project Euclid

Review: A. I. Mal'cev, On the Elementary Theories of Locally Free Universal Algebras; A. I. Mal'cev, Axiomatizable Classes of Locally Free Algebras of Several Types

Wells, Benjamin Franklin

p. 278-279

Project Euclid

Review: H. Jerome Keisler, Limit Ultraproducts

Oberschelp, Arnold

p. 277-278

Project Euclid

Review: C. C. Chang, A Simple Proof of the Rabin-Keisler Theorem

Oberschelp, Arnold

Project Euclid

Review: H. Jerome Keisler, Limit Ultrapowers

Oberschelp, Arnold

Project Euclid

Review: S. Feferman, R. L. Vaught, The First Order Properties of Products of Algebraic Systems

Karp, Carol

Project Euclid

Review: R. C. Lyndon, Relation Algebras and Projective Geometry

p. 275-276

Project Euclid

Review: M. F. Janowitz, Quantifiers and Orthomodular Lattices; M. F. Janowitz, Quantifier Theory on Quasi-Orthomodular Lattices

Gratzer, George

Project Euclid

Review: Helena Rasiowa, Roman Sikorski, The Mathematics of Metamathematics

Monk, Donald

p. 274-275

Project Euclid

Review: J. D. Halpern, The Independence of the Axiom of Choice from the Boolean Prime Ideal Theorem

Mendelson, Elliott

p. 273-274

Project Euclid

Review: M. N. Bleicher, Multiple Choice Axioms and Axioms of Choice for Finite Sets

Halpern, J. D.

Project Euclid

Review: M. N. Bleicher, Some Theorems on Vector Spaces and the Axiom of Choice

Halpern, J. D.

p. 272-273

Project Euclid

Review: Andras Hajnal, On a Consistency Theorem Connected with the Generalized Continuum Problem; A. Hajnal, On a Consistency Theorem Connected with the Generalized Continuum Problem; Azriel Levy, A Generalization of Godel's Notion of Constructibility

p. 271-272

Project Euclid

Review: Georg Kreisel, William W. Tait, Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi

Parikh, Rohit

p. 270-271

Project Euclid

Review: Patrick C. Fischer, Theory of Provable Recursive Functions

Enderton, H. B.

Project Euclid

Review: T. G. McLaughlin, Some Observations on Quasicohesive Sets

Project Euclid

Review: J. Barback, Recursive Functions and Regressive Isols

Ellentuck, Erik

p. 269-270

Project Euclid

Review: A. Nerode, Arithmetically Isolated Sets and Nonstandard Models

Hassett, Matthew

Project Euclid

Review: A. Nerode, Extensions to Isolic Integers

Hassett, Matthew

p. 268-269

Project Euclid

Review: Haskell B. Curry, Combinatory Logic

Rosser, J. Barkley

p. 267-268

Project Euclid

Review: Joseph Ullian, Failure of a Conjecture about Context Free Languages

Langendoen, D. Terence

p. 266-267

Project Euclid

Review: B. Dunham, R. Fridshal, G. L. Sward, A Non-Heuristic Program for Proving Elementary Logical Theorems; B. Dunham, R. Fridshal, J. H. North, Exploratory Mathematics by Machine; B. Dunham, J. H. North, Theorem Testing by Computer

Friedman, Joyce

Project Euclid

Review: R. W. House, T. Rado, A Generalization of Nelson's Algorithm for Obtaining Prime Implicants

Mott, Thomas H.

Project Euclid

Review: R. W. House, T. Rado, On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems

Mott, Thomas H.

p. 264-265

Project Euclid

Review: E. J. McCluskey, Minimal Sums for Boolean Functions having many Unspecified Fundamental Products

Mott, Thomas H.

p. 263-264

Project Euclid

Review: Robert McNaughton, Unate Truth Functions

Gilbert, E. N.

Project Euclid

Review: Ludwik Borkowski, On Proper Quantifiers II

LeBlanc, Hugues

Project Euclid

Review: Ludwik Borkowski, On Proper Quantifiers I

LeBlanc, Hugues

p. 262-263

Project Euclid

Review: Helmut Thiele, Eine Axiomatisierung der Zweiwertigen Pradikatenkalkule der Ersten Stufe, Welche die Implikation Enthalten; Helmut Thiele, Theorie der Endlichwertigen Lukasiewiczschen Pradikatenkalkule der Ersten Stufe

Turquette, Atwell R.

p. 260-261

Project Euclid

Review: Wilhelm Ackermann, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Grundgedanken einer Typenfreien Logik

Harrop, Ronald

p. 259-260

Project Euclid

Review: Wilhelm Ackermann, Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfahigkeit

Harrop, Ronald

Project Euclid

Review: K. Jaakko J. Hintikka, Identity, Variables, and Impredicative Definitions; K. Jaakko J. Hintikka, Vicious Circle Principle and the Paradoxes

Jensen, Ronald

p. 258-259

Project Euclid

Review: Hugues LeBlanc, Etudes sur les Regles d'Inference dites Regles de Gentzen. Deuxieme Partie

Bernays, Paul

p. 256-258

Project Euclid

Review: Dag Prawitz, Natural Deduction. A Proof-Theoretical Study

Thomason, Richmond

p. 255-256

Project Euclid

Review: Hugues LeBlanc, Minding One's X's and Y's; John G. Slater, The Required Correction to Copi's Statement of UG

Kalish, Donald

Project Euclid

Review: Irving M. Copi, Symbolic Logic

Kalish, Donald

p. 252-255

Project Euclid

[Omnibus Review]

Hailperin, Theodore

Project Euclid

Review: Nicholas Rescher, Definitions of "Existence."; Karel Lambert, Notes on "E!"

Hailperin, Theodore

Project Euclid

Review: R. A. Sharpe, Validity and the Paradox of Confirmation

Project Euclid

Review: R. H. Vincent, The Paradoxes of Confirmation

p. 250-251

Project Euclid

[Omnibus Review]

p. 249-250

Project Euclid

[Omnibus Review]

p. 246-249

Project Euclid

Review: A. N. Prior, Tense-Logic and the Continuity of Time; R. A. Bull, An Algebraic Study of Diodorean Modal Systems; A. N. Prior, Postulates for Tense-Logic

Anderson, Alan Ross

p. 245-246

Project Euclid

Review: Leo Simons, A Reduction in the Number of Independent Axiom Schemata for S4

Yonemitsu, Naoto

Project Euclid

Review: M. J. Poliferno, Decision Algorithms for some Functional Calculi with Modality

Bayart, A.

p. 244-245

Project Euclid

[Omnibus Review]

Fitch, Frederic B.

p. 243-244

Project Euclid

Review: Georges Kalinowski, Ch. Perelman, Introduction a la Logique Juridique

Lemmon, E. J.

p. 242-243

Project Euclid

Review: Gottlob Frege, Begriffsschrift and andere Aufsatze

Mates, Benson

p. 240-242

Project Euclid

The Decidability of Hindley's Axioms for Strong Reduction

Lercher, Bruce

p. 237-239

Project Euclid

Axioms for Strong Reduction in Combinatory Logic

Hindley, Roger

p. 224-236

Project Euclid

Strong Reduction and Normal Form in Combinatory Logic

Lercher, Bruce

p. 213-223

Project Euclid

Intensional Interpretations of Functionals of Finite Type I

Tait, W. W.

p. 198-212

Project Euclid

Proof of the Law of Infinite Conjunction using the Perfect Disjunctive Normal Form

Thomson, James

p. 196-197

Project Euclid

On $n$-Valued Functionally Complete Truth Functions

Graham, R. L.

p. 190-195

Project Euclid

Some Theorems on Extensions of Arithmetic

Paola, Robert A. Di

p. 180-189

Project Euclid

Recursion, Metarecursion, and Inclusion

Owings, James C.

p. 173-179

Project Euclid

Simplicity of Recursively Enumerable Sets

Robinson, Robert W.

p. 162-172

Project Euclid

Interpretations of Set Theory and Ordinal Number Theory

Yasugi, Mariko

p. 145-161

Project Euclid

Further Citations

p. 134-143

Project Euclid

Review: Norman M. Martin, Note on the Completeness of Decision Element Sets

Project Euclid

Review: M. L. Cetlin, Matrix Method of Analysis and Synthesis of Pulse-Electronic and Relay-Contact (non-Primitive) Circuits

Pawlak, Z.

Project Euclid

Review: Federal Electric Corporation, Boolean Algebra. A Self-Instructional Programmed Manual

p. 133-134

Project Euclid

Review: Allan Lytel, ABC's of Boolean Algebra

Project Euclid

Review: Ralph M. Toms, Systems of Boolean Equations

Wernick, William

p. 132-133

Project Euclid

Review: Robert M. Solovay, New Proof of a Theorem of Gaifman and Hales

Project Euclid

Review: George W. Day, Free Complete Extensions of Boolean Algebras

Project Euclid

Review: H. Gaifman, Infinite Boolean Polynomials I; A. W. Hales, On the Non-Existence of Free Complete Boolean Algebras

p. 131-132

Project Euclid

Review: W. A. J. Luxemburg, A Remark on Sikorski's Extension Theorem for Homomorphisms in the Theory of Boolean Algebras

Monk, Donald

Project Euclid

Review: A. Tarski, R. L. Vaught, Elementary (Arithmetical) Extensions

Project Euclid

Review: Alfred Tarski, Robert L. Vaught, Arithmetical Extensions of Relational Systems

Project Euclid

Review: Andrzej Mostowski, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Concerning the Problem of Axiomatizability of the Field of Real Numbers in the Weak Second Order Logic

Robinson, Raphael M.

p. 130-131

Project Euclid

Review: Paul J. Cohen, J. W. Addison, Leon Henkin, Alfred Tarski, Independence Results in Set Theory

Robbin, Joel W.

p. 129-130

Project Euclid

[Omnibus Review]

p. 128-129

Project Euclid

Review: Elliott Mendelson, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, On Non-Standard Models for Number Theory

Orey, Steven

Project Euclid

Review: Clifford Spector, Provably Recursive Functionals of Analysis: A Consistency Proof of Analysis by an Extension of Principles Formulated in Current Intuitionistic Mathematics

Vesley, R. E.

Project Euclid

Review: I. N. Hlodovskii, Moshe Machover, A New Proof of the Consistency of Arithmetic

Levitz, Hilbert

p. 127-128

Project Euclid

Review: Joseph R. Rotman, The Theory of Groups. An Introduction

Boone, William W.

Project Euclid

Review: J. L. Britton, Solution of the Word Problem for Certain Types of Groups. I; J. L. Britton, Solution of the Word Problem for Certain Types of Groups. II

Boone, William W.

Review: Ronald Harrop, A Relativization Procedure for Propositional Calculi, with an Application to a Generalized form of Post's Theorem; Ronald Harrop, J. N. Crossley, M. A. E. Dummett, Some Generalizations and Applications of a Relativization Procedure for propositional Calculi

p. 126-127

Project Euclid

Singletary, W. E.

p. 125-126

Project Euclid

Review: A. H. Lachlan, On a Problem of G. E. Sacks

Hensel, Gustav B.

Project Euclid

Review: Gustav Hensel, Hilary Putnam, On the Notational Independence of Various Hierarchies of Degrees of Unsolvability

Moschovakis, Yiannis N.

p. 124-125

Project Euclid

Review: Arnold Oberschelp, Ein Satz uber die Unlosbarkeitsgrade der Mengen von Naturlichen Zahlen

Dekker, J. C. E.

Project Euclid

Review: J. R. Shoenfield, Undecidable and Creative Theories

Smullyan, Raymond M.

Project Euclid

Review: T. G. McLaughlin, Co-Immune Retraceable Sets

Project Euclid

Review: J. W. Swanson, A Reduction Theorem for Normal Algorithms

Mendelson, Elliott

Project Euclid

Review: J. C. Shepherdson, H. E. Sturgis, Computability of Recursive Functions

Asser, Gunter

p. 122-123

Project Euclid

Review: J. Hartmanis, R. E. Stearns, Computational Complexity of Recursive Sequences

Becvar, Jiri

p. 121-122

Project Euclid

Review: J. Hartmanis, R. E. Stearns, On the Computational Complexity of Algorithms

Becvar, Jiri

p. 120-121

Project Euclid

Review: Hao Wang, The Mechanization of Mathematical Arguments

Cooper, David C.

Project Euclid

Review: Hao Wang, P. Braffort, D. Hirschberg, Mechanical Mathematics and Inferential Analysis

Cooper, David C.

Project Euclid

Review: Hao Wang, Proving Theorems by Pattern Recognition I

Cooper, David C.

p. 119-120

Project Euclid

Review: Stig Kanger, P. Braffort, D. Hirschberg, A Simplified Proof Method for Elementary Logic

Project Euclid

Review: Martin Davis, Eliminating the Irrelevant from Mechanical Proofs

p. 118-119

Project Euclid

Review: Martin Davis, George Logemann, Donald Loveland, A Machine Program for Theorem-Proving

Project Euclid

Review: Lawrence Wos, George A. Robinson, Daniel F. Carson, Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

Luckham, David

p. 117-118

Project Euclid

Review: Lawrence Wos, Daniel Carson, George Robinson, The Unit Preference Strategy in Theorem Proving

Luckham, David

Project Euclid

Review: S.-Y. Kuroda, Classes of Languages and Linear-Bounded Automata

Landweber, Peter S.

p. 116-117

Project Euclid

Review: Peter S. Landweber, Three Theorems on Phrase Structure Grammars of Type 1

Stanley, Richard

Project Euclid

Review: Henry Hiz, Congrammaticality, Batteries of Transformations and Grammatical Categories; H. Hiz, The Intuitions of Grammatical Categories

Matthews, G. H.

p. 115-116

Project Euclid

Review: Peter S. Landweber, Decision Problems of Phrase-Structure Grammars

Kuroda, S.-Y.

Project Euclid

Review: Sheila A. Greibach, The Undecidability of the Ambiguity Problem for Minimal Linear Grammars

Kuroda, S.-Y.

p. 114-115

Project Euclid

Review: David G. Cantor, On the Ambiguity Problem of Backus Systems

Kuroda, S.-Y.

Project Euclid

Review: Mikel Dufrenne, Henry B. Veatch, Paul Henle, Language & Philosophy

Harman, Gilbert H.

p. 113-114

Project Euclid

Review: Thomas Moro Simpson, Gregorio Klimovsky, Formas Logicas, Realidad y Significado

Reyes, Gonzalo E.

p. 112-113

Project Euclid

Review: W. V. Quine, Variables Explained Away

Lercher, Bruce

Project Euclid

Review: Jose Encarnacion, On Ushenko's Version of the Liar-Paradox; William W. Rozeboom, Is Epimenides still Lying?

Bennett, Jonathan

p. 108-112

Project Euclid

Review: Lothar Philipps, Rechtliche Regelung und Formale Logik

Freudenthal, Hans

Project Euclid

Review: Hans-Dieter Sluga, Max Kasbauer, Franz von Kutschera, Frege und die Typentheorie. Eine Historische Untersuchung

Angelelli, Ignacio

p. 107-108

Project Euclid

Review: Francesca Rivetti Barbo, Il "Senso e Significato" di Frege: Ricerca Teoretica sul Senso e Designato delle Espressioni, e sui Valori di Verita

Angelelli, Ignacio

p. 106-107

Project Euclid

Review: Gilbert Varet, Paul Kurtz, International Directory of Philosophy and Philosophers

Project Euclid

Review: Ettore Carruccio, Isabel Quigly, Mathematics and Logic in History and in Contemporary Thought

Stopes-Roe, Harry V.

Project Euclid

Review: Alberto Pasquinelli, Introduzione alla Logica Simbolica

van Heijenoort, J.

Project Euclid

Review: Gunther Patzig, Die Aristotelische Syllogistik. Logisch-Philologische Untersuchungen uber das Buch A der "Ersten Analytiken."

Lejewski, Czeslaw

Project Euclid

Review: Rudolf Carnap, Ernest Nagel, Patrick Suppes, Alfred Tarski, The Aim of Inductive Logic; Rudolf Carnap, Logical Foundations of Probability; Rudolf Carnap, Remarks on Probability

Jeffrey, Richard C.

p. 104-105

Project Euclid

A Complete and Consistent Modal Set Theory

Fitch, Frederic B.

p. 93-103

Project Euclid

Binary Connectives Functionally Complete by Themselves in S5 Modal Logic

Massey, Gerald J.

p. 91-92

Project Euclid

Connexive Class Logic

McCall, Storrs

p. 83-90

Project Euclid

A Note on Existential Instantiation

Prawitz, Dag

p. 81-82

Project Euclid

A Gentzen-Type Calculus of Sequents for Single-Operator Propositional Logic

Riser, John

p. 75-80

Project Euclid

Omitting Types of Prenex Formulas

Chang, C. C.

p. 61-74

Project Euclid

Note on a System of Aqvist

Cresswell, M. J.

p. 58-60

Project Euclid

Ultraproducts of Finite Sets

Keisler, H. Jerome

p. 47-57

Project Euclid

Ultraproducts which are not Saturated

Keisler, H. Jerome

p. 23-46

Project Euclid

Intensional Models for First Degree Formulas

Belnap, Nuel D.