J. Symbolic Logic, Tome 35 (1970) no. 1

p. 654-708

Project Euclid

Association for Symbolic Logic

Gandy, R. O. ; Yates, C. E. M.

p. 614-653

Project Euclid

Meeting of the Association for Symbolic Logic Manchester 1969

p. 598-613

Project Euclid

Review: Chen Chuan Chong, An Application of Electric Circuits in Mathematical Logic

Enderton, H.

Project Euclid

Review: Sampo Salovaara, On Set Theoretical Foundations of System Theory. Concept

Zadeh, L. A.

Project Euclid

Review: A. Porter, P. K. T. Vaswani, The Optimization of Logical Goal-Seeking Procedures

Rose, Alan

Project Euclid

Review: S. Summersbee, A. Walters, Programming the Functions of Formal Logic, II

Rose, Alan

p. 596-597

Project Euclid

Review: James R. Slagle, Philip Bursky, Experiments with a Multipurpose, Theorem-Proving Heuristic Program

Cooper, David C.

Project Euclid

Review: James R. Slagle, Experiments with a Deductive Question-Answering Program

Cooper, David C.

Project Euclid

Review: James R. Slagle, Automatic Theorem Proving with Renamable and Semantic Resolution

Wos, Lawrence T.

p. 595-596

Project Euclid

Review: Erwin Engeler, Formal Languages: Automata and Structures

Blikle, Andrzej

p. 594-595

Project Euclid

Review: O. B. Lupanov, On a Method of Circuit Synthesis

Mullin, Albert A.

p. 593-594

Project Euclid

Review: V. V. Vojtišék, Ob odnom podhode k klassifikacii bulevyh funkcij (On an Approach to the Classification of Boolean Functions)

Ádám, A.

Project Euclid

Review: R. V. Frejvald, Funkcional'naá polnota dlá né vsúdu oprédélénnyh funkcij algébry logiki (Functional Completeness for Incompletely Specified Logic Functions)

Rosenberg, Ivo ; Adam, A.

p. 592-593

Project Euclid

Review: Giulio Andreoli, Funzioni Simmetriche, Involuzioni ed n-adi in un'Algebra di Boole

Ferro, Ruggero

Project Euclid

Review: George F. Simmons, Introduction to Topology and Modern Analysis

Smith, Perry

Project Euclid

Review: Rolf Schock, A Simple Version of the Generalized Continuum Hypothesis

Shoenfield, J. R.

Project Euclid

Review: Paul J. Cohen, Set Theory and the Continuum Hypothesis

Kunen, Kenneth

p. 591-592

Project Euclid

Review: M. D. Gladstone, A Reduction of the Recursion Scheme

Peter, Rozsa

Project Euclid

Review: M. D. Davis, A Note on Universal Turing Machines; Martin Davis, The Definition of Universal Turing Machine

Nelson, R. J.

Project Euclid

Review: M. Adrian Carpentier, Creative Sequences and Double Sequences

Cleave, J. P.

Project Euclid

Review: Don C. Ferguson, Infinite Products of Recursive Equivalence Types

Manaster, Alfred B.

Project Euclid

Review: A. Nerode, Additive Relations Among Recursive Equivalence Types

p. 589-590

Project Euclid

Review: C. E. M. Yates, John N. Crossley, Recursively Enumerable Degrees and the Degrees Less Than $0^{(1)}$

Project Euclid

Review: S. C. Kleene, Ernest Nagel, Patrick Suppes, Alfred Tarski, Turing-Machine Computable Functionals of Finite Types I; S. C. Kleene, Turing-Machine Computable Functionals of Finite Types II

Clarke, D. A.

p. 588-589

Project Euclid

Review: J. R. Moschovakis, Disjunction and Existence in Formalized Intuitionistic Analysis

Howard, W. A.

p. 587-588

Project Euclid

Review: M. I. Kargapolov, U. I. Merzlakov, V. N. Remeslennikov, (Kourovskad tetrad'neresennye zadaci teorii grupp): Kourovsk Exercise Book

Ferebee, Ann S.

Project Euclid

Review: R. Sikorski, On Herbrand's Theorem

Monk, Donald

Project Euclid

Review: Per Lindstrom, On Characterizability in $L_{\omega_{1}\omega_{0}}$

Malitz, J.

Project Euclid

Review: Per Lindstrom, On Model-Completeness

Malitz, J.

Project Euclid

Review: A. Ehrenfeucht, A. Mostowski, A Compact Space of Models of First Order Theories

Fuhrken, G.

p. 586-587

Project Euclid

Review: E. G. K. Lopez-Escobar, On a Theorem of J. I. Malitz

Helling, Martin

Project Euclid

Review: H. Jerome Keisler, Ultraproducts of Finite Sets

Project Euclid

Review: H. Jerome Keisler, Ultraproducts Which are Not Saturated

Project Euclid

Review: H. Jerome Keisler, A Survey of Ultraproducts

Project Euclid

Review: H. Jerome Keisler, Ultraproducts and Saturated Models

p. 584-585

Project Euclid

Review: Stefan N. Berti, Aplicatii ale Teoriei Relatiilor in Logica Matematica (Applications de la Theorie des Relations dans la Logique Mathematique

Smith, Perry

Project Euclid

Review: Eugen Mihailescu, Sur les Proprietes de l'Implication par Rapport a l'Equivalence et la Disjonction

Harrop, Ronald

Project Euclid

Review: Henry W. Johnstone, A Definition of Conjunction in the Pure Implicational Calculus with One Variable

Gladstone, M. D.

Project Euclid

Review: Henry W. Johnstone, Robert Price, Axioms for the Implicational Calculus with One Variable

Gladstone, M. D.

Review: Karl Schroter, Uber den Zusammenhang der Implikationsaxiomen Vollstandiger Axiomensysteme des Zweiwertigen mit denen des Intuitionistischen Aussagenkalkuls; Karl Schroter, Eine Umformung des Heytingschen Axiomensystems fur den Intuitionistischen Aussagenkalkul

Project Euclid

Rose, Gene F.

Project Euclid

Review: Nicholas Rescher, A Probabilistic Approach to Modal Logic

Burgess, John P.

Project Euclid

Review: C. L. Hamblin, The Modal "Probably."

Burgess, John P.

p. 582-583

Project Euclid

Review: Akira Nakamura, (Yoso ronri to tati ronri no kankei ni tuite): On the Relation between Modal Logic and Many-Valued Logic

Sugihara, Takeo

Project Euclid

Review: M. J. Cresswell, A Henkin Completeness Theorem for T; M. J. Cresswell, Alternative Completeness Theorems for Modal Systems; M. J. Cresswell, Some Proofs of Relative Completeness in Modal Logic

Makinson, David

p. 581-582

Project Euclid

Review: M. J. Cresswell, Another Basis for S4

Snyder, Donald Paul

Project Euclid

Review: Kiyoshi Iseki, Symbolic Logic (Propositional Logic)

Nakamura, A.

p. 580-581

Project Euclid

Review: Roland Fraisse, Cours de Logique Mathematique. Tome I. Relation, Formule Logique, Compacite, Completude

Ponasse, D.

Project Euclid

Review: Daniel Ponasse, Logique Mathematique. Elements de Base: Calcul Propositionnel, Calcul des Predicats

Borgers, Alfons

p. 579-580

Project Euclid

Review: Nicholas Rescher, Introduction to Logic

Gould, William E.

Project Euclid

Review: Julius Stone, Legal System and Lawyers' Reasonings

Segerberg, Krister

p. 578-579

Project Euclid

Review: James Willard Oliver, Some Misconceptions of Modern Logic

Standley, Gerald

Project Euclid

Review: Rolf Schock, On Determinism, the Universe, and Related Concepts

Koslow, Arnold

p. 577-578

Project Euclid

Review: Richard Schlegel, Completeness in Science

Causey, Robert L.

p. 576-577

Project Euclid

Review: John L. Pollock, Mathematical Proof

Grandy, Richard E.

Project Euclid

Review: Andrzej Mostowski, On Various Degrees of Constructivism

Boolos, George S.

p. 575-576

Project Euclid

Review: J. F. Staal, Negation and the Law of Contradiction in Indian Thought: A Comparative Study

Project Euclid

Review: J. F. Staal, Contraposition in Indian Logic

p. 574-575

Project Euclid

Review: J. F. Staal, The Theory of Definition in Indian Logic

p. 573-574

Project Euclid

Review: J. F. Staal, Means of Formalisation in Indian and Western Logic; J. F. Staal, Correlations Between Language and Logic in Indian Thought; J. F. Staal, Formal Structures in Indian Logic

p. 572-573

Project Euclid

Review: B. V. Birukov, The Downfall of the Metaphysical Conception of the Universality of Object Domains in Logic

Angelelli, Ignacio

p. 571-572

Project Euclid

Review: J.L. Austin, The Meaning of a Word; J. L. Austin, J. O. Urmson, G. J. Warnock, Truth; J. L. Austin, Unfair to Facts

Cargile, James

Applebaum, C. H. ; Dekker, J. C. E.

p. 569-571

Project Euclid

Partial Recursive Functions and $\omega$-Functions

p. 559-568

Project Euclid

Recursion Theory and Formal Deducibility

Kleinberg, E. M.

p. 556-558

Project Euclid

Finite Partially-Ordered Quantification

Walkoe, Wilbur John

p. 535-555

Project Euclid

An Embedding of Classical Logic in S4

Fitting, Melvin

p. 529-534

Project Euclid

Many-Valued Logics of Extended Gentzen Style II

Takahashi, Moto-O

p. 493-528

Project Euclid

Notices

p. 490-491

Project Euclid

Further Ciatations

p. 484-489

Project Euclid

Review: Robert Faure, Nicole-Sylvie Guillot LeGarff, Manue Bloch, Eléments de la Recherche Opérationnelle. Exposé succinct des méthodes, enrichi de 50 exercices et problèmes, presque tous résolus, et de 10 programmes en langage symbolique

Enderton, H. B.

Project Euclid

Review: E. J. McCluskey, H. Schorr, Essential Multiple-Output Prime Implicants

Rudeanu, S.

Project Euclid

Review: Michael A. Arbib, Brains, Machines, and Mathematics

Ullian, Joseph S.

p. 482-483

Project Euclid

Review: Michael Arbib, Turing Machines, Finite Automata and Neural Nets

Ullian, Joseph S.

Project Euclid

Review: K. de Leeuw, E. F. Moore, C. E. Shannon, N. Shapiro, Computability by Probabilistic Machines

Fischer, Patrick C.

p. 481-482

Project Euclid

Review: John McCarthy, The Inversion of Functions Defined by Turing Machines

Fischer, Patrick C.

Project Euclid

Review: M. L. Minsky, J.E. McCarthy, C.E. Shannon, Some Universal Elements for Finite Automata

Fischer, Patrick C.

p. 480-481

Project Euclid

Review: Michael Anderson, Approximation to a Decision Procedure for the Halting Problem

Hooper, Philip K.

Project Euclid

Review: Paul Axt, Relativization of a Primitive Recursive Hierarchy

Project Euclid

Review: Helmut Schwichtenberg, Rekursionszahlen und die Grzegorczyk-Hierarchie

Project Euclid

Review: Paul Axt, Iteration of Relative Primitive Recursion

Project Euclid

Review: Paul Axt, Iteration of Primitive Recursion

Project Euclid

Review: G. S. Cejtin, N. A. Sanin, Eine Darstellungsweise der Theorie der Algorithmen und der Rekursiv Aufzahlbaren Mengen

Schreiber, P.

p. 478-479

Project Euclid

Review: A. H. Lachlan, Some Notions of Reducibility and Productiveness

Jockusch, Carl G.

Project Euclid

Review: Patrick C. Fischer, A Note on Bounded-Truth-Table Reducibility

Young, Paul R.

Project Euclid

Review: Paul R. Young, An Effective Operator, Continuous but not Partial Recursive

Lachlan, A. H.

p. 477-478

Project Euclid

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

Miller, Charles F.

Project Euclid

Review: A. Wlodzimierz Mostowski, On the Decidability of Some Problems in Special Classes of Groups; A. Wlodzimierz Mostowski, Computational Algorithms for Deciding Some Problems for Nilpotent Groups

Cannonito, F. B.

p. 476-477

Project Euclid

Review: Julia Robinson, Recursive Functions of One Variable

Davis, Martin

Project Euclid

Review: Julia Robinson, Gabor Szego, Charles Loewner, Stefan Bergman, Menahem Max Schiffer, Jerzy Neyman, David Gilbarg, Herbert Solomon, On the Decision Problem for Algebraic Rings

Dyson, V. H.

p. 475-476

Project Euclid

Review: Robert R. Tompkins, On Kleene's Recursive Realizability as an Interpretation for Intuitionistic Elementary Number Theory

Vesley, R. E.

Project Euclid

Review: R. W. Ritchie, A Rudimentary Definition of Addition

Bennett, James H.

Project Euclid

Review: H. W. Lenstra, A Definition of the System of Natural Numbers, Equivalent to that of Peano

Gershuni, B.

p. 474-475

Project Euclid

Review: Wolfram Schwabhauser, Yehoshua Bar-Hillel, Metamathematical Methods in Foundations of Geometry

Szczerba, Leslaw W.

Project Euclid

Review: H. L. Royden, Remarks on Primitive Notions for Elementary Euclidean and Non-Euclidean Plane Geometry

Szczerba, Leslaw W.

p. 473-474

Project Euclid

Review: C. C. Chang, Maximal $n$-Disjointed Sets and the Axiom of Choice

Levy, Azriel

Review: Azriel Levy, On a Spectrum of Set Theories; A. Levy, R. Vaught, Principles of Partial Reflection in the Set Theories of Zermelo and Ackermann; Azriel Levy, Ernest Nagel, Patrick Suppes, Alfred Tarski, On the Principles of Reflection in Axiomatic Set Theory

Project Euclid

Shoenfield, J. R.

Project Euclid

Review: R. B. Jensen, John N. Crossley, Concrete Models of Set Theory

Drake, Frank R.

p. 472-473

Project Euclid

[Omnibus Review]

Mostowski, Andrzej

p. 470-472

Project Euclid

Review: G. H. Matthews, Discontinuity and Asymmetry in Phrase Structure Grammars; G. H. Matthews, A Note on Asymmetry in Phrase Structure Grammars

Shamir, Eliahu

Project Euclid

Review: Haskell B. Curry, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Basic Verifiability in the Combinatory Theory of Restricted Generality

Orgass, Richard J.

p. 469-470

Project Euclid

Review: Haskell B. Curry, The Deduction Theorem in the Combinatory Theory of Restricted Generality

Orgass, Richard J.

p. 468-469

Project Euclid

Review: Ludwik Borkowski, Kilka uwag o pojęciu definicji (Some Remarks About the Notion of Definition)

Materna, Pavel

Project Euclid

Review: E. G. K. Lopez-Escobar, A Complete, Infinitary Axiomatization of Weak Second-Order Logic

Schwabhauser, Wolfram

Project Euclid

Review: Hugues Leblanc, A Simplified Account of Validity and Implication for Quantificational Logic

Trew, A.

p. 466-467

Project Euclid

Review: Paul Strauss, Some Systems of Natural Deduction

Prawitz, Dag

Review: Kiyoshi Iséki, An Algebra Related with a Propositional Calculus; Yoshinari Arai, Kiyoshi Iséki, Shôtarô Tanaka, Characterizations of BCI, BCK-Algebras; Kiyoshi Iséki, Algebraic Formulation of Propositional Calculi with General Detachment Rule

Project Euclid

Angell, R. B.

p. 465-466

Project Euclid

Review: Eugen Mihailescu, Formele Normale ale Functorilor Logicei Clasice

Rudeanu, S.

Project Euclid

Review: Miroslav Mleziva, K axiomatisaci trojhodnotové výrokové logiky (On the Axiomatization of Three-Valued Propositional Logic)

Ferebee, Ann S.

Project Euclid

Review: R. B. Angell, A Propositional Logic with Subjunctive Conditionals

Belnap, Nuel D.

p. 464-465

Project Euclid

Review: A. N. Prior, Notes on a Group of New Modal Systems; R. A. Bull, An Axiomatization of Prior's Modal Calculus $\mathbf{Q}$; A. N. Prior, Axiomatisations of the Modal Calculus $\mathbf{Q}$

Cresswell, M. J.

Project Euclid

Review: G. H. von Wright, Deontic Logics

Hanson, William H.

p. 462-463

Project Euclid

Review: G. H. von Wright, A Note on Entailment

Smiley, Timothy

Project Euclid

Review: Georg Henrik Von Wright, Logical Studies

Smiley, Timothy

p. 460-462

Project Euclid

Review: Georg Henrik von Wright, "And Next."; G. H. von Wright, "And Then."; G. H. von Wright, Quelques Remarques sur la Logique du Temps et les Systemes Modales

Kamp, Hans

p. 459-460

Project Euclid

Review: Richard T. Garner, Bernard Rosen, A Systematic Introduction to Normative Ethics and Meta-Ethics

Segerberg, Krister

Project Euclid

Review: B. Meltzer, The Third Possibility; B. Meltzer, I. J. Good, Two Forms of the Prediction Paradox; William H. Halberstadt, In Defence of Euclid: A Reply to B. Meltzer

Anderson, Alan Ross

p. 458-459

Project Euclid

Review: Isabel C. Hungerland, Contextual Implication

Bacon, John

Project Euclid

Review: B. L. Blose, Synonymy

Harman, Gilbert

p. 457-458

Project Euclid

Review: William P. Alston, The Quest for Meanings; William P. Alston, Meaning and Use

Harman, Gilbert

p. 456-457

Project Euclid

Review: C. B. Daly, Ian Ramsey, Metaphysics and the Limits of Language

Wedberg, Anders

Project Euclid

Review: G. J. Warnock, Metaphysics in Logic

Wedberg, Anders

p. 455-456

Project Euclid

Review: Jaakko Hintikka, Patrick Suppes, A Two-Dimensional Continuum of Inductive Methods

Hacking, Ian

Project Euclid

Review: Jaakko Hintikka, On a Combined System of Inductive Logic

Hacking, Ian

p. 454-455

Project Euclid

Review: Jaakko Hintikka, Yehoshua Bar-Hillel, Towards a Theory of Inductive Generalization

Hacking, Ian

Project Euclid

Review: Marguerite H. Foster, Michael L. Martin, Probability, conformation, and simplicity. Readings in the philosophy of inductive logic

Miller, David

p. 451-454

Project Euclid

Review: William of Sherwood, Norman Kretzmann, Treatise on Syncategorematic Words

Tweedale, Martin

p. 450-451

Project Euclid

Review: G. B. Keene, The Relational Syllogism. A Systematic Approach to Relational Logic

Massey, Gerald J.

p. 448-450

Project Euclid

Review: David Wiggins, Identity and Spatio-Temporal Continuity

Perry, John

p. 447-448

Project Euclid

Review: Rosaria Egidi, Ontologia e Conoscenza Matematica. Un Saggio su Gottlob Frege

Barbò, Francesca Rivetti

p. 446-447

Project Euclid

Review: Storrs McCall, Polish Logic 1920-1939

Pogorzelski, Witold A.

p. 442-446

Project Euclid

Review: Ladislav Rieger, Zu den Strukturen der klassischen Prädikatenlogik; Ladislav Rieger, Michal Basch, Algebraic Methods of Mathematical Logic; M. Katetov, Preface

Monk, Donald

p. 440-441

Project Euclid

Review: Hans Hermes, Eine Termlogik mit Auswahloperator

Muller, Gert Heinz

Project Euclid

Review: Stephen Cole Kleene, Mathematical Logic

Yasugi, Mariko

p. 438-440

Project Euclid

The Decidability of the Kreisel-Putnam System

Gabbay, Dov M.

Enderton, H. B. ; Putnam, Hilary

p. 431-437

Project Euclid

A Note on the Hyperarithmetical Hierarchy

p. 429-430

Project Euclid

Strong Partition Properties for Infinite Cardinals

Kleinberg, E. M.

p. 410-428

Project Euclid

Construction of Models for Algebraically Generalized Recursive Function Theory

Strong, H. R.

p. 401-409

Project Euclid

Admissible Ordinals and Intrinsic Consistency

Machtey, Michael

p. 389-400

Project Euclid

A Cornucopia of Minimal Degrees

Sasso, Leonard P.

p. 383-388

Project Euclid

A Coding Theorem for Isols

Ellentuck, Erik

p. 378-382

Project Euclid

The Strong Homogeneity Conjecture

Feiner, L.

p. 375-377

Project Euclid

Hiearchies of Boolean Algebras

Feiner, Lawrence

p. 365-374

Project Euclid

Notice of the 1971 International Congress for Logic, Methodology and Philosophy of Science

Project Euclid

Meeting of the Association for Symbolic Logic

Feibleman, James K. ; Smullyan, R. M. ; Vaught, R. L.

p. 352-363

Project Euclid

Further Citations

p. 347-351

Project Euclid

Review: M. J. Maczynski, T. Traczyk, The $\mathfrak{m}$-Amalgamation Property for $\mathfrak{m}$-Distributive Boolean Algebra

Yaqub, F. M.

p. 346-347

Project Euclid

Review: M. J. Maczynski, Generalized free $\mathfrak{m}$-Products of $\mathfrak{m}$-Distributive Boolean Algebras with an $\mathfrak{m}$-amalgamated Subalgebra

Yaqub, F. M.

Project Euclid

Review: John Myhill, Variations on a Theme of Bernays

Bernays, Paul

p. 345-346

Project Euclid

Review: Carol Karp, A Proof of the Relative Consistency of the Continuum Hypothesis

Tharp, Leslie H.

p. 344-345

Project Euclid

Review: Jens Erik Fenstad, A Note on Standard versus Non-Standard Topology

Luxemburg, W. A. J.

Project Euclid

Review: R. L. Vaught, Models of Complete Theories

Keisler, H. Jerome

Project Euclid

[Omnibus Review]

Keisler, H. Jerome

p. 342-344

Project Euclid

Review: Gebhard Furhken, J. W. Addison, Leon Henkin, Alfred Tarski, Languages with Added Quantifier There Exist at Least $\aleph_\alpha$

Slomson, A. B.

Project Euclid

Review: Kenneth Kunen, Implicit Definability and Infinitary Languages

Lopez-Escobar, E. G. K.

p. 341-342

Project Euclid

Review: Akiko Kino, On Definability of Ordinals in Logic with Infinitely Long Expressions; Akiko Kino, Correction to a Paper on Definability of Ordinals in Infinite Logic

Karp, Carol

Project Euclid

Review: C. R. J. Clapham, An Embedding Theorem for Finitely Generated Groups

Shepherdson, J. C.

p. 340-341

Project Euclid

Review: A. V. Gladkij, O raspoznavanii zaméščaémosti v rékursivnyh ázykah; A. V. Gladkij, M. Greendlinger, On the Recognition of Replaceability in Recursive Languages

Salomaa, Arto

Project Euclid

[Omnibus Review]

Salomaa, Arto

p. 339-340

Project Euclid

Review: B. A. Trahtenbrot, Complexity of Algorithms and Computations (Special Course for Students of the Novosibirsk Government University)

Becvar, Jiri

Review: A.I. Mal'cev, Polno numerovannye mnozestva (Complete Enumeration of a Set); A. I. Mal'cev, K teorii vycislimyh semejstv obektov (On the Theory of Computable Families of Objects); A. I. Mal'cev, Pozitivnye i negativnye numeracii (Positive and Negative Numerations)

p. 337-339

Project Euclid

Mendelson, Elliott

p. 336-337

Project Euclid

Review: John N. Crossley, Kurt Schutte, Non-Uniqueness at $\omega^2$ in Kleene's O

Hensel, Gustav B.

Project Euclid

Review: Paul R. Young, A Note on Pseudo-Creative Sets and Cylinders; Paul R. Young, On Semi-Cylinders, Splinters, and Bounded Truth-Table Reducibility; Paul R. Young, On Pseudo-Creative Sets, Splinters, and Bounded-Truth-Table Reducibility

Martin, Donald A.

Project Euclid

Review: M. Machover, The Theory of Transfinite Recursion

Barwise, Jon

Project Euclid

Review: R. L. Goodstein, J. Hooley, On Recursive Transcendence

Staples, John

Project Euclid

Review: G. Kreisel, Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchy

Moschovakis, Yiannis N.

Project Euclid

Review: G. Kreisel, The Axiom of Choice and the Class of Hyperarithmetic Functions

Moschovakis, Yiannis N.

Review: Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Jean van Heijenoort, On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mengelberg, On the Domains of Definition of Functions; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Intuitionistic Reflections on Formalism

p. 333-334

Project Euclid

Moschovakis, Joan Rand

p. 332-333

Project Euclid

Review: Saul A. Kripke, J. N. Crossley, M. A. E. Dummett, Semantical Analysis of Intuitionistic Logic I

Kreisel, G.

p. 330-332

Project Euclid

Review: Paul Lorenzen, Einfuhrung in die Operative Logik und Mathematik

Smith, Perry

Review: F.I. Andon, Ob odnom podhode k minimizacii sistem buleoyh funkcij (On One Approach to the Minimization of Systems of Boolean Functions); F. I. Andon, Algoritm uproscenia d.n.f. bulevyh funckij (A Simplification Alogorithm of a Disjunctive Normal Form of the Boolean Functions)

Project Euclid

Adam, A.

Project Euclid

Review: W. V. Quine, On Cores and Prime Implicants of Truth Functions

Rudeanu, S.

p. 329-330

Project Euclid

Review: Eugen Mihailescu, Generalization of Some Normal Forms

Iseki, Kiyoshi

Project Euclid

Review: Henri Moscovici, Dan Radu, Application de la Theorie des Categories dans la Logique Formelle

Preller, Anne

Project Euclid

Review: Vladimir Devidé, Matematička logika. Prvi dio (Klasična logika sudova). (Mathematical Logic. Part I (The Classical Logic of Propositions).)

Boh, Ivan

p. 326-329

Project Euclid

Review: Richard L. Call, A Minimal Canonically Complete M-Valued Proper Logic for Each M

Graham, R. L.

Project Euclid

Review: William H. Hanson, On Some Alleged Decision Procedures for S4

Bayart, A.

Project Euclid

Review: Masao Ohnishi, Kazuo Matsumoto, A System for Strict Implication

Thomas, Ivo

Project Euclid

Review: H. Hiz, Inferential Equivalence and Natural Deduction

Johnstone, Henry W.

Project Euclid

Review: Shoji Maehara, Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types which Admits Quantifications on Types

Takahashi, Moto-o

Project Euclid

Review: G. E. Minc, Téoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional'nymi simvolami; G. E. Minc, Leo F. Boron, Herbrand's Theorem for the Predicate Calculus with Equality and Functional Symbols

van Heijenoort, J.

Project Euclid

Review: G. E. Minc, Priložénié. Téoréma Erbrana (Appendix. Herbrand's Theorem)

van Heijenoort, J.

p. 323-325

Project Euclid

Review: A. V. Idél'son, G. E. Minc, Matématičéskaá téoriá logičéskogo vyvoda

van Heijenoort, J.

Project Euclid

Review: D. Hilbert, P. Bernays, Grundlagen der Mathematik I

Kneebone, G. T.

p. 321-323

Project Euclid

Review: R. J. Plymen, A Model of the Arithmetic of Alephs in the Equation Calculus

Vuckovic, V.

Project Euclid

Review: Gerold Stahl, Ideas Generales de la Lógica Combinatoria

Sanchis, Luis E.

Project Euclid

Review: Don Davis Roberts, The Existential Graphs and Natural Deduction

Zeman, J. Jay

p. 320-321

Project Euclid

Review: Rolf Schock, A Definition of Event and Some of Its Applications

Koslow, Arnold

p. 319-320

Project Euclid

Review: Rolf Schock, Some Definitions of Subjunctive Implication, of Counterfactual Implication, and of Related Concepts; Rolf Schock, A Note on Subjunctive and Counterfactual Implication

Koslow, Arnold

Project Euclid

[Omnibus Review]

Bennett, Jonathan

p. 314-318

Project Euclid

Review: Ladislav Tondl, Sémantika otázky v problémové situaci (Semantics of the Question in the Problem-Solving Situation)

Domotor, Zoltan

Project Euclid

Review: G. H. von Wright, On the So-Called Practical Philosophy

Kauppi, Raili

p. 313-314

Project Euclid

Review: Paul Kurtz, American Philosophy in the Twentieth Century: A Sourcebook

Church, Alonzo

p. 312-313

Project Euclid

Review: A. J. Ayer, Logical Positivism

Church, Alonzo

Project Euclid

Review: Frank Plumpton Ramsey, The Foundations of Mathematics and Other Logical Essays

Anderson, Anthony

Project Euclid

Review: John G. Kemeny, A New Approach to Semantics; Stephen Ullmann, The Principles of Semantics; Jens Erik Fenstad, Notes on Synonymy

Cohen, L. Jonathan

Craig, William ; Mates, Benson

p. 310-312

Project Euclid

Review: Paul Edwards, The Encyclopedia of Philosophy

p. 295-310

Project Euclid

Nonstandard Theories of Quantification and Identity

Trew, A.

p. 267-294

Project Euclid

Initial Segments of the Degrees of Unsolvability Part II: Minimal Degrees

Yates, C. E. M.

p. 243-266

Project Euclid

Correction to a Paper on Modal Set Theory

Fitch, Frederic B.

Project Euclid

A Note on Computable Real Fields

Madison, E. W.

p. 239-241

Project Euclid

The Craig-Lyndon Interpolation Theorem in 3-Valued Logic

Gill, R. R. Rockingham

p. 230-238

Project Euclid

The Meta-R.E. Sets, but Not the $\Pi^1_1$ Sets, Can Be Enumerated Without Repetition

Owings, James C.

p. 223-229

Project Euclid

A Model Theoretic Characterization of Effective Operations

Lob, M. H.

p. 217-222

Project Euclid

The Decision Problem for Formulas in Prenex Conjunctive Normal Form with Binary Disjunctions

Martin, D. A. ; Pour-El, M. B.

p. 210-216

Project Euclid

Axiomatizable Theories with Few Axiomatizable Extensions

p. 205-209

Project Euclid

On Analytic Well-Orderings

Tanaka, Hisao

p. 198-204

Project Euclid

On Initial Segments of Hyperdegrees

p. 189-197

Project Euclid

Meeting of the Association for Symbolic Logic

Hintikka, Jaakko ; Bouvere, Karel De ; Levi, Isaac

p. 179-187

Project Euclid

Further Citations

p. 168-178

Project Euclid

Review: Lewis White Beck, Can Kant's Synthetic Judgements be made Analytic?

Anderson, Anthony

p. 167-168

Project Euclid

Review: Noam Chomsky, Aspects of the Theory of Syntax

Ferebee, Ann S.

Project Euclid

Review: Martin Davis, Lecture Notes on Mathematical Logic

Lightstone, A. H.

Project Euclid

Review: Willard Van Orman Quine, Elementary Logic

Stanley, Robert L.

p. 166-167

Project Euclid

Review: Irving M. Copi, Introduction to Logic

Borgers, Alfons

Project Euclid

[Omnibus Review]

Wisdom, William A.

p. 165-166

Project Euclid

Review: Newton P. Stallknecht, Robert S. Brumbaugh, The Compass of Philosophy. An Essay in Intellectual Orientation

Copi, Irving M.

p. 164-165

Project Euclid

Review: Newton P. Stallknecht, Robert S. Brumbaugh, The Spirit of Western Philosophy. A Historical Interpretation Including Selections from the Major European Philosophers

Copi, Irving M.

Project Euclid

Review: Layman E. Allen, Toward More Clarity in Business Communication by Modern Logical Methods; Layman E. Allen, Toward a Procedure for Logically Cataloguing Knowledge

Barnes, Robert F.

p. 162-164

Project Euclid

Review: U. I. Zuravlev, Set-Theoretical Methods in the Algebra of Logic

Adam, A.

Project Euclid

Review: G. N. Povarov, On the Group Invariance of Boolean Functions

Adam, A.

p. 161-162

Project Euclid

[Omnibus Review]

Kuntzmann, J.

p. 160-161

Project Euclid

Review: H. H. Loomis, R. H. Wyman, On Complete Sets of Logic Primitives

Enderton, H. B.

Project Euclid

Review: Eric Foxley, The Construction of Scale-of-two Mechanisms from Universal Decision Elements

Rose, A.

Project Euclid

Review: Eric Foxley, Determination of the Set of all Four-Variable Formulae Corresponding to Universal Decision Elements using a Logical Computer

Rose, A.

Project Euclid

Review: Peter B. Andrews, Resolution with Merging

Luckham, David

p. 159-160

Project Euclid

Review: R. Frejvald, Complexity of Recognition of Symmetry on Turing Machines with Input; A. M. Barzdin, Complexity of Recognition of Symmetry on Turing Machines

Mullin, Albert A.

Project Euclid

Review: R. M. Baer, Certain Directed post Systems and Automata

Elgot, Calvin C.

p. 158-159

Project Euclid

Review: R. O. Gandy, John N. Crossley, Computable Functionals of Finite Type I

Platek, Richard A.

p. 157-158

Project Euclid

Review: Joseph Barback, An md-Class of Sets Indexed by a Regressive Function

Project Euclid

Review: Joseph Barback, Regressive Upper Bounds

p. 156-157

Project Euclid

Review: Joseph Barback, Double Series of Isols

Project Euclid

Review: Joseph Barback, A Note on Regressive Isols

Project Euclid

Review: Dieter Titgemeyer, Untersuchungen Uber die Struktur des Kleene-Postschen Halbverbandes der Grade der Rekursiven Unlosbarkeit

p. 155-156

Project Euclid

[Omnibus Review]

Owings, James C.

p. 153-155

Project Euclid

Review: Frederic B. Fitch, Recursive Functions in Basic Logic

DiPaola, R. A.

p. 152-153

Project Euclid

Review: L. Kalmar, Uber Arithmetische Funktionen von unendlich Vielen Variablen, Welche an Jeder Stelle Bloss von Einer Endlichen Anzahl von Variabeln Abhangig sind

Clarke, D. A.

Project Euclid

Review: Julia Robinson, The Undecidability of Exponential Diophantine Equations

Rogers, Hartley

Project Euclid

Review: Martin Davis, Hilary Putnam, Julia Robinson, The Decision Problem for Exponential Diophantine Equations

Rogers, Hartley

p. 151-152

Project Euclid

Review: M. H. Lob, Concatenation as Basis for a Complete System of Arithmetic; M. H. Lob, Formal Systems of Constructive Mathematics

Parsons, Charles

Project Euclid

Review: H. A. Pogorzelski, Nonconcatenative Abstract Skolem Arithmetics

Hermes, H.

Project Euclid

Review: A. Robinson, Model Theory and Non-Standard Arithmetic

Reinhardt, William N.

Project Euclid

Review: A. H. Lightstone, A. Robinson, On the Representation of Herbrand Functions in Algebraically Closed Fields

Engeler, Erwin

p. 148-149

Project Euclid

Review: Raphael M. Robinson, Binary Relations as Primitive Notions in Elementary Geometry

Szczerba, L. W.

Project Euclid

Review: Waclaw Sierpinski, L'axiome du Choix

Rubin, Jean E.

Project Euclid

Review: Maarten Wicher Visser Bunder, Set Theory based on Combinatory Logic

Seldin, Jonathan P.

p. 147-148

Project Euclid

Review: Edward J. Cogan, A Formalization of the Theory of Sets from the Point of View of Combinatory Logic; Rainer Titgemeyer, Uber einen Widerspruch in Cogans Darstellung der Mengenlehre

Seldin, Jonathan P.

Project Euclid

Review: Yoemon Sampei, On the uniformization of a Set of Class $A_{\rho\sigma}$

p. 146-147

Project Euclid

Review: Yoemon Sampei, Note on the Effective Choice of a Point in the Complement of an Analytic Set

Project Euclid

Review: Yoemon Sampei, On Set Theoretical Operations

Project Euclid

Review: Satoko Titani, An Algebraic Formulation of Cut-Elimination Theorem

Takahashi, Moto-o

p. 145-146

Project Euclid

Review: Gerhard Gentzen, M. E. Szabo, Investigations into Logical Deduction; Paul Bernays, Introduction

Riser, John

p. 144-145

Project Euclid

Review: S. Ju. Maslov, G. E. Minc, V. P. Orevkov, E. Mendelson, Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variables

Kreisel, Georg

p. 143-144

Project Euclid

Review: A. Mostowski, Axiomatizability of some many Valued Predicate Calculi

Hay, Louise

Project Euclid

Review: Andrzej Mostowski, An Example of a Non-Axiomatizability Many Valued Logic

Hay, Louise

Project Euclid

Review: Alan Rose, A Formalisation of the $\aleph_0$-Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors

Scarpellini, B.

Project Euclid

Review: Alan Rose, Formalisation du Calcul Propositionnel implicatif a $\aleph_0$-Valued Lukasiewicz Propositional Calculus with Varible Functors

Scarpellini, B.

Project Euclid

Review: Rolf Schock, On Finitely Many-Valued Logics; Rolf Schock, On Denumerably Many-Valued Logics; R. Schock, Some Theorems on the Relative Strengths of Many-Valued Logics

Meyer, Robert K.

p. 140-142

Project Euclid

Review: Karl Schroter, Methoden zur Axiomatisierung Beliebiger Aussagen- und Pradikatenkalkule

Rosser, J. Barkley

Project Euclid

Review: T. Thacher Robinson, Independence of Two Nice Sets of Axioms for the Propositional Calculus

Chidgey, John R.

p. 139-140

Project Euclid

Review: Antonio Diego, Jean Porte, Luisa Iturrioz, Sur les Algebres de Hilbert

McKay, C. G.

Review: V. A. Jankov, Sue Walker, Some Superconstructive Propositional Calculi; V. A. Jankov, Elliott Mendelson, Realizable formulas of Propositional Logic; V. A. Jankov, Elliott Mendelson, The Relationship Between Deducibility in the Intuitionist Propositional calculus and Finite Implicational Structures

Project Euclid

Rose, Gene F.

p. 138-139

Project Euclid

Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation

Nelson, David

Project Euclid

Review: H. Rasiowa, R. Sikorski, An Application of Lattices to Logic

Monk, Donald

Project Euclid

Review: M. J. Cresswell, Note on a System of Aqvist; M. K. Rennie, $S3(S) = S3.5$

Segerberg, Krister

Project Euclid

Review: E. J. Lemmon, An Extension Algebra and the Modal System T; E. J. Lemmon, Algebraic Semantics for Modal Logics

Makinson, David

p. 136-137

Project Euclid

Review: D. Makinson, On Some Completeness Theorems in Modal Logic

Aqvist, Lennart

p. 135-136

Project Euclid

Review: Saul A. Kripke, Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi; R. Routley, H. Montgomery, The Inadequacy of Kripke's Semantical Analysis of D2 and D3

Makinson, David

Project Euclid

Review: Hector-Neri Castaneda, `Ought' and Assumption in Moral Philosophy

Bennett, Jonathan

p. 134-135

Project Euclid

Review: Erik Stenius, Mood and Language-Game; Lennart Aqvist, Semantic and Pragmatic Characterizability of Linguistic Usage

Vermazen, Bruce

p. 133-134

Project Euclid

Review: J. F. Staal, Some Semantic relations Between Sentoids

Harman, Gilbert H.

p. 132-133

Project Euclid

Review: Richard M. Martin, On Acting on a Belief

Zeman, J. Jay

Project Euclid

Review: Haig Khatchadourian, Frege on Concepts

Resnik, Michael D.

Project Euclid

Review: W. A. Verloren van Themaat, Raumliche Vorstellung und Mathematisches Erkenntnisvermogen. Erster Band

Freudenthal, Hans

p. 131-132

Project Euclid

Review: Patrick Suppes, Measurement, Empirical Meaningfulness, and Three-Valued Logic; Patrick Suppes, J. W. Addison, Leon Henkin, Alfred Tarski, Logics Appropriate to Empirical Theories

Causey, Robert L.

p. 129-131

Project Euclid

Review: Henry E. Kyburg, Demonstrative Induction

Krauss, Peter

Project Euclid

Review: Henry E. Kyburg, Probability and Randomness

Krauss, Peter

Project Euclid

Review: Henry E. Kyburg, Probability and the Logic of Rational Belief

Krauss, Peter

p. 127-128

Project Euclid

[Omnibus Review]

Jeffrey, Richard C.

p. 124-127

Project Euclid

Review: Ernest A. Moody, The Medieval Contribution to Logic; Ernest A. Moody, A Quodlibetal Question of Robert Holkot, O.P., on the Problem of the Objects of Knowledge and of Belief; Ernest A. Moody, Buridan and a Dilemma of Nominalism

Henry, Desmond Paul

Gandy, Robin O. ; Soare, Robert I.

p. 122-124

Project Euclid

A Problem in the Theory of Constructive Order Types

p. 119-121

Project Euclid

Tense Logic for Discrete Future Time

Schindler, Patrick

p. 105-118

Project Euclid

An Algebraic Characterization of Indistinguishable Cardinals

Slomson, A. B.

p. 97-104

Project Euclid

Bases and $\alpha$-Dimensions of Countable Vector Spaces with Recursive Operations

Hamilton, Alan G.

p. 85-96

Project Euclid

On the Cardinality of Ultraproduct of Finite Sets

Shelah, Saharon

p. 83-84

Project Euclid

On Theories $T$ Categorical in $|T|$

Shelah, Saharon

p. 73-82

Project Euclid

Almost Combinatorial Skolem Functions

Ellentuck, Erik

p. 65-72

Project Euclid

Every Analytic Set is Ramsey

Silver, Jack

Nerode, Anil ; Manaster, Alfred B.

p. 60-64

Project Euclid

A Universal Embedding Property of the RETs

p. 51-59

Project Euclid

On a Question of G. E. Sacks

Ohashi, Kempachiro

p. 46-50

Project Euclid

A Theorem on Initial Segments of Degrees

p. 41-45

Project Euclid

Turing Degrees and Many-One Degrees of Maximal Sets

Lerman, Manuel

p. 29-40

Project Euclid

On an Algebra of Sets of Finite Sequences

Monk, J. Donald

p. 19-28

Project Euclid

The Number of Countable Models

Morley, Michael

p. 14-18

Project Euclid

Algebraic Completeness Results for $R$-Mingle and Its Extensions

Dunn, J. Michael