J. Symbolic Logic, Tome 31 (1966) no. 1

p. 633-640

Project Euclid

Syntactical and Semantical Properties of Generalized Quantifiers

Yasuhara, Mitsuru

p. 617-632

Project Euclid

MIPC as the Formalisation of an Intuitionist Concept of Modality

Bull, R. A.

p. 609-616

Project Euclid

The Theory of Truth Tabular Connectives, both Truth Functional and Modal

Massey, Gerald J.

p. 593-608

Project Euclid

Finite Models for Inequations

Gladstone, M. D.

p. 581-592

Project Euclid

Pure Denumerable Lukasiewiczian Implication

Meyer, R. K.

p. 575-580

Project Euclid

A Note on Universal Sets

Lachlan, A. H.

p. 573-574

Project Euclid

Non-Null Implication

Nelson, David

p. 562-572

Project Euclid

Logical Truth and Logical Implication

Hatcher, William S.

Project Euclid

Functions of Propositions

Cresswell, M. J.

p. 545-560

Project Euclid

A Theorem on Minimal Degrees

Shoenfield, J. R.

p. 539-544

Project Euclid

Constructive Order Types, II

Crossley, John N.

p. 525-538

Project Euclid

Further Citations

p. 517-524

Project Euclid

Review: A. Mostowski, Roczniki Polskiego Towarzystwa Matematycznego

Project Euclid

Review: , Mathematics in the USSR during the Forty Years 1917-1957. Vol. 2. Biobibliography

p. 516-517

Project Euclid

Review: A. A. Lapunov, Mathematical Investigations Connected with the Operation of Electronic Computing Machines

Singletery, Ann M.

Project Euclid

Review: Laszlo Kalmar, A New Principle of Construction of Logical Machines

Project Euclid

Review: John Alan Robinson, On Automatic Deduction

Luckham, David

Project Euclid

Review: J. A. Robinson, A Machine-Oriented Logic based on the Resolution Principle

Luckham, David

p. 515-516

Project Euclid

Review: J. A. Robinson, Theorem-Proving on the Computer

Luckham, David

p. 514-515

Project Euclid

Review: H. Gelernter, A Note on Syntactic Symmetry and the Manipulation of Formal Systems by Machine

Project Euclid

Review: Z. A. Melzak, An Informal Arithmetical Approach to Computability and Computation; Joachim Lambek, How to Program an Infinite Abacus

Project Euclid

Review: Hartley Rogers, On Universal Functions

Project Euclid

Review: Hartley Rogers, The Present Theory of Turing Machine Computability

Project Euclid

Review: Shih-Chao Liu, On Many-One Degrees

Sacks, Gerald E.

p. 512-513

Project Euclid

Review: Shih-Chao Liu, A Note on Many-One Reducibility

Sacks, Gerald E.

Project Euclid

Review: G. Kreisel, J. Shoenfield, Hao Wang, Number Theoretic Concepts and Recursive Well-Orderings

p. 511-512

Project Euclid

Review: John Myhill, Recursive Equivalence Types and Combinatorial Functions

Dekker, J. C. E.

p. 510-511

Project Euclid

Review: W. W. Tait, Functionals Defined by Transfinite Recursion

Vesley, R. E.

p. 509-510

Project Euclid

Review: B. van Rootselaar, Algebraische Kennzeichnung Freier Wortarithmetiken

Vuckovic, Vladeta

Project Euclid

Review: Roman Sikorski, Algebra of Formalized Languages

Monk, Donald

p. 508-509

Project Euclid

Review: Donald Monk, On Representable Relation Algebras

Frayne, Thomas

Project Euclid

Review: H. Jerome Keisler, Reduced Products and Horn Classes

Oberschelp, Arnold

Project Euclid

Review: T. Frayne, A. C. Morel, D. S. Scott, Reduced Direct Products

Oberschelp, Arnold

p. 506-507

Project Euclid

Review: Lars Svenonius, Some Problems in Logical Model-Theory

Hanf, William

p. 505-506

Project Euclid

Review: Lars Svenonius, A Theorem on Permutations in Models

Hanf, William

Project Euclid

Review: C. Ryll-Nardzewski, On the Categoricity in Power $\leqslant \aleph_0$

Project Euclid

Review: Lars Svenonius, $\aleph_0$-Categoricity in First-Order Predicate Calculus

Project Euclid

Review: Erwin Engeler, Aquivalenzklassen von n-Tupeln

Project Euclid

Review: M. R. Krom, Separation Principles in the Hierarchy Theory of Pure First-Order Logic

p. 503-504

Project Euclid

Review: A. Grzegorczyk, A Note on the Theory of Propositional Types

Andrews, Peter

p. 502-503

Project Euclid

[Omnibus Review]

Salomaa, Arto

p. 501-502

Project Euclid

Review: Waclaw Sadowski, A Proof of Axiomatizability of Certain $n$-Valued Sentential Calculi

Kirin, V. G.

Project Euclid

Review: Federico M. Sioson, Further Axiomatizations of the Lukasiewicz Three-Valued Calculus

p. 500-501

Project Euclid

Review: Boleslaw Sobocinski, A Contribution to the Axiomatization of Lewis' System $S_5$; Ivo Thomas, Ten Modal Models

Belnap, Nuel D.

p. 498-500

Project Euclid

Review: M. J. Cresswell, On the Logic of Incomplete Answers

Stahl, Gerold

Project Euclid

Review: N. L. Wilson, The Indestructibility and Immutability of Substances

p. 497-498

Project Euclid

Review: Paul Henle, Mysticism and Semantics

Project Euclid

Review: W. V. Quine, Logic as a Source of Syntactical Insights

p. 496-497

Project Euclid

Review: Wolfgang Stegmuller, Das Wahrheitsproblem und die Idee der Semantik. Eine Einfuhrung in die Theorien von A. Tarski und R. Carnap

Martin, R. M.

Project Euclid

Review: David Greenwood, Quantitative Inductive Procedures; David Greenwood, Causality and the Counterfactual Conditional; David Greenwood, The Problem of Real Numbers

Dawson, Edward E.

p. 494-496

Project Euclid

Review: Herbert Meschkowski, Wandlungen des Mathematischen Denkens. Eine Einfuhrung in die Grundlagenprobleme der Mathematik

Brown, J.

Project Euclid

Review: Roy Dubisch, Lattices to Logic

Hohn, Franz E.

Project Euclid

Review: Martin Davis, The Undecidable Basic Papers on Undecidable Basic Propositions, Unsolvable propositions and Unsolvable Problems and Computable Funtions

Bauer-Mengelberg, Stefan

p. 484-494

Project Euclid

Review: Benson Mates, Elementary Logic

Kneebone, G. T.

p. 483-484

Project Euclid

Review: Andrzej Grzegorczyk, Fonctions Recursives

Peter, Rozsa

p. 481-483

Project Euclid

Testing Singly Quantified Tautologies

Standley, Gerald

p. 478-480

Project Euclid

On Formalizing the Distinction between Logical and Factual Truth

Hanson, William H.

p. 460-477

Project Euclid

A Generalisation of Productive Set

Mitchell, R.

p. 455-459

Project Euclid

The Impossibility of finding Relative Complements for Recursively Enumerable Degrees

Lachlan, A. H.

p. 434-454

Project Euclid

Connexive Implication

McCall, Storrs

p. 415-433

Project Euclid

Short Definitions of the Ordinals

Brown, Kenneth R. ; Wang, Hao

p. 409-414

Project Euclid

There are Infinitely many Diodorean Modal Functions

Makinson, D. C.

p. 406-408

Project Euclid

Pure Three-Valued Lukasiewiczian Implication

McCall, Storrs ; Meyer, R. K.

p. 399-405

Project Euclid

A Supplement to Herbrand

Dreben, Burton ; Denton, John

p. 393-398

Project Euclid

Hierarchies of Computable Groups and the Word Problem

Cannonito, Frank B.

p. 376-392

Project Euclid

On Definability of Ordinals in Logic with Infinitely Long Expressions

Kino, Akiko

p. 365-375

Project Euclid

Pseudo-Complements and Ordinal Logics based on Consistency Statements

Paola, Robert A. Di

p. 359-364

Project Euclid

Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis

Howard, W. A. ; Kreisel, G.

p. 325-358

Project Euclid

Finite Nest Structures and Propositional Logic

Smullyan, Raymond M.

p. 322-324

Project Euclid

Trees and Nest Structures

Smullyan, Raymond M.

p. 303-321

Project Euclid

Meeting of the Association for Symbolic Logic

Crossley, J. N.

p. 290-302

Project Euclid

Further Citations

p. 287-289

Project Euclid

Review: Rudolf Carnap, Introduction to Symbolic Logic and Its Applications

Hermes, H.

Project Euclid

Review: Gerd Harbeck, Einfuhrung in die Formale Logik

Borgers, Alfons

Project Euclid

Review: William Tuthill Parry, Comments on a Variant Form of Natural Deduction

Kalish, Donald

Project Euclid

Review: Rupert Schreiber, Logik des Rechts

Vonneuman, Nicholas A.

Project Euclid

Review: Marcel Boll, Jacques Reinhart, Histoire de la Logique

Angelelli, Ignacio

p. 285-286

Project Euclid

Review: Jan Lukasiewicz, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic

Project Euclid

Review: Jan Lukasiewicz, Elements of Mathematical Logic

Project Euclid

Review: Witold A. Pogorzelski, Jerzy Slupecki, On Mathematical Proof

Project Euclid

Review: Alfred Tarski, Il Concetto di Verita nei Linguaggi Formalizzati; Francesca Rivetti Barbo, Prefazione; Alfred Tarski, Der Wahrheitsbegriff in den Formalisierten Sprachen

Conte, Amedeo G.

Project Euclid

Review: Francesca Rivetti Barbo, L'antinomia del Mentitore nel Pensiero Contemporaneo, da Peirce a Tarski. Studi - testi - Bibliografia

Conte, Amedeo G.

p. 283-284

Project Euclid

Review: Ralph Monroe Eaton, Symbolism and Truth. An Introduction to the Theory of Knowledge

Baylis, Charles A.

p. 281-283

Project Euclid

Review: Soren Hallden, On the Logic of `Better.'; Lennart Aqvist, Deontic Logic Based on a Logic of `Better.'; Mark Fisher, A Three-Valued Calculus for Deontic Logic

Dawson, E. E.

p. 278-281

Project Euclid

Review: Saul A. Kripke, The Undecidability of Monadic Modal Quantification Theory

Bayart, Arnould

p. 277-278

Project Euclid

Review: Saul A. Kripke, A Completeness Theorem in Modal Logic

Bayart, Arnould

p. 276-277

Project Euclid

Review: E. J. Lemmon, Quantifiers and Modal Operators

Bayart, Arnould

p. 275-276

Project Euclid

Review: Hector-Neri Castaneda, A Note on S5

Project Euclid

Review: Akira Nakamura, On the Many-valued Logics and an Axiomatic System for them

Sugihara, Takeo

p. 274-275

Project Euclid

Review: Waclaw Sadowski, A Proof of Completeness of the Two-valued Propositional Calculus

Kirin, V. G.

Project Euclid

Review: Wilson E. Singletary, A Complex of Problems Proposed by Post

p. 273-274

Project Euclid

Review: William C. Nemitz, Implicative Semi-Lattices

Gratzer, George

Project Euclid

Review: F. M. Sioson, Equational Bases of Boolean Algebras

Wernick, William

Project Euclid

[Omnibus Review]

Lercher, Bruce

Project Euclid

Review: Henry A. Pogorzelski, Commutative Recursive word Arithmetic in the Alphabet of Prime Numbers

Vuckovic, V.

Project Euclid

Review: H. A. Pogorzelski, Primitive Words in an Infinite Abstract Alphabet; H. A. Pogorzelski, Skolem Arithmetics on Certain Concrete Word Systems

Vuckovic, V.

Project Euclid

Review: Stephen A. Kiss, An Introduction to Algebraic Logic

Pierce, Richard S.

p. 270-271

Project Euclid

Review: Robert McNaughton, Undefinability of addition from one Unary Operator

Robinson, Julia

Project Euclid

Review: S. Feferman, Arithmetization of Metamathematics in a General Setting

Orey, Steven

p. 269-270

Project Euclid

Review: H. J. Keisler, A Complete First-Order Logic with Infinitary Predicates

Karp, Carol

Project Euclid

Review: G. Hasenjaeger, Ein Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der ersten Stufe

Project Euclid

Review: Setsuo Saito, Truth Value Assignment in Predicate Calculus of First Order

Oglesby, F. C.

Project Euclid

Review: Jaakko Hintikka, J. N. Crossley, M. A. E. Dummett, Distributive Normal Forms in First-Order Logic; Jaakko Hintikka, Distributive Normal Forms and Deductive Interpolation

Oglesby, F. C.

p. 267-268

Project Euclid

Review: J. Richard Buchi, Regular Canonical Systems

Elgot, Calvin C.

p. 265-267

Project Euclid

Review: R. E. Stearns, J. Hartmanis, Regularity Preserving Modifications of Regular Expressions

McNaughton, Robert

Project Euclid

Review: Vladeta Vuckovic, Two Theorems on Partial Automata

Blikle, Andrzej

p. 264-265

Project Euclid

Review: Hao Wang, Logic and Computers

Elgot, Calvin C.

Project Euclid

Review: V. A. Uspenskij, (Lekcii o vycislimyh funkciah)Lectures on Computable Functions

Mendelson, Elliott

p. 263-264

Project Euclid

Review: Herbert Enderton, David Luckham, Hierarchies Over Recursive Well-Orderings

Hensel, Gustav

Project Euclid

Review: H. B. Enderton, Hierarchies in Recursive Function Theory

Hensel, Gustav

p. 262-263

Project Euclid

Review: G. Kriesel, D. Lacombe, J. Shoenfield, Effective Operations and Partial Recursive Functionals; G. Kreisel, D. Lacombe, J. R. Shoenfield, Partial Recursive Functionals and Effective Operations

Moschovakis, Yiannis N.

p. 261-262

Project Euclid

Review: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments; S. C. Kleene, A Formal System of Intuitionistic Analysis

Kreisel, Georg

p. 258-261

Project Euclid

Review: A. A. Markov, On Constructive Functions

Fels, E. M.

Project Euclid

Review: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments

Fels, E. M.

Review: Raphael M. Robinson, The Undecidability of Pure Transcendental Extensions of Real fields; Raphael M. Robinson, M. A. Tajclin, The Undecidability of the Elementary Theory of the Field of Rational Functions of One Variable with Rational Coefficients

p. 255-258

Project Euclid

Wells, Benjamin Franklin

p. 254-255

Project Euclid

Review: Hans Hermes, Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit. Einfuhrung in die Theorie der Rekursiven Funktionen

Schutte, Kurt

Project Euclid

Review: Paul R. Halmos, Lectures on Boolean Algebras

Pierce, R. S.

p. 253-254

Project Euclid

Review: Roman Sikorski, Boolean Algebras

Monk, Donald

p. 251-253

Project Euclid

Review: Tadeusz Batog, A Contribution to Axiomatic Phonology

Kuroda, S.-Y.

Project Euclid

[Omnibus Review]

Staal, J. F.

p. 245-251

Project Euclid

Une Generalisation de L'Ultraproduit

Fraisse, Roland

p. 235-244

Project Euclid

The Undecidability of the Turing Machine Immortality Problem

Hooper, Philip K.

p. 219-234

Project Euclid

Algebraic Semantics for Modal Logics II

Lemmon, E. J.

p. 191-218

Project Euclid

Decision Problems for Multiple Successor Arithmetics

Thatcher, J. W.

Elgot, Calvin C. ; Rabin, Michael O.

p. 182-190

Project Euclid

Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor

p. 169-181

Project Euclid

A Minimal Pair of Recursively Enumerable Degrees

p. 159-168

Project Euclid

The Aristotelian Sociey: Essay Prize-Result

Project Euclid

Notebooks on Emil Post

p. 157-158

Project Euclid

Notice: Fellowship and Research Opportunites in Mathematics

Project Euclid

Meeting of the Association for Symbolic Logic

p. 147-157

Project Euclid

Further Citations

p. 141-146

Project Euclid

Review: Yu. I. Zuravlev, E. Mendelson, On Simplification Algorithms for Disjunctive Normal Forms

Rowicki, Andrzej

Project Euclid

Review: U. I. Zuravlev, On Constructing Minimal Disjunctive normal Forms for Functions of the Algebra of Logic

Rowicki, Andrzej

p. 140-141

Project Euclid

Review: V. I. Sestakov, Punched Card Synthesis of Sequential Switching Systems of Multi-Position Relays

Harland, Andrzej

Project Euclid

Review: Gene F. Rose, Output Completeness in Sequential Machines

McNaughton, Robert

Project Euclid

Review: Corrado Bohm, On a Family of Turing Machines and the Related Programming Language

Project Euclid

Review: Dov Tamari, Une Contribution aux Theories de Communication: Machines de Turing et Problemes de Mot

p. 139-140

Project Euclid

Review: Donald A. Martin, A Theorem on Hyperhypersimple Sets

Pour-El, Marian Boykan

Project Euclid

Review: J. S. Ullian, Splinters of Recursive Functions

Pour-El, Marian Boykan

p. 138-139

Project Euclid

Review: Clifford Spector, Recursive Ordinals and Predicative Set Theory

Project Euclid

Review: Martin Davis, A Program for Presburger's Algorithm

Project Euclid

Review: J. W. Addison, Hierarchies and the Axiom of Constructibility

p. 137-138

Project Euclid

Review: C. Spector, Hyperarithmetical Quantifiers; Shih-Chao Liu, Recursive Linear Orderings and Hyperarithmetical Functions

Hensel, Gustav

Project Euclid

Review: Hilary Putnam, On Hierarchies and Systems of Notations

Richter, Wayne

p. 136-137

Project Euclid

Review: Hilary Putnam, Uniqueness Ordinals in Higher Constructive Number Classes

Richter, Wayne

p. 135-136

Project Euclid

Review: D. L. Kreider, Hartley Rogers, Constructive Versions of Ordinal Number Classes

Richter, Wayne

p. 134-135

Project Euclid

Review: Daniel Lacombe, Quelques Procedes de Definition en Topologie Recursive

Moschovakis, Yiannis N.

p. 133-134

Project Euclid

Review: Georg Kreisel, Daniel Lacombe, Ensembles Recursivement Mesurable et Ensembles Recursivement Ouverts ou Fermes

Moschovakis, Yiannis N.

Project Euclid

Review: A. H. Kruse, A Method of Modelling the Formalism of Set Theory in Axiomatic Set Theory

Levy, Azriel

p. 132-133

Project Euclid

Review: R. L. Vaught, Sentences True in all Constructive Models

Feferman, S.

Project Euclid

Review: K. I. Appel, Horn Sentences in Identity Theory

Keisler, H. Jerome

p. 131-132

Project Euclid

Review: J. Slominski, Theory of Models with Infinitary Operations and Relations

Karp, Carol R.

Project Euclid

Review: R. Sikorski, On a Generalization of Theorems of Banach and Cantor-Bernstein; Shin'ichi Kinoshita, A Solution of a Problem of R. Sikorski

p. 130-131

Project Euclid

Review: Chen Chung Chang, Anne C. Morel, Some Cancellation Theorems for Ordinal Products of Relations; Chen Chung Chang, Cardinal and Ordinal Multiplication of Relation Types; C. C. Chang, Ordinal Factorization of Finite Relations

p. 129-130

Project Euclid

Review: G. Kreisel, Mathematical Significance of Consistency Proofs

Robinson, Abraham

Project Euclid

Review: Leon Henkin, G. Kreisel, Sums of Squares

Robinson, Abraham

p. 128-129

Project Euclid

Review: Georg Kreisel, Some Concepts Concerning Formal Systems of Number Theory

Muller, Gert H.

Project Euclid

Review: Theodore Hailperin, An Incorrect Theorem

Project Euclid

Review: E. J. Lemmon, Quantifier Rules and Natural Deduction

Fitch, Frederic B.

Project Euclid

Association for Symbolic Logic

p. 707-737

Project Euclid

Meeting of the Association for Symbolic Logic

Morgenbesser, Sidney ; Mendelson, Elliott

p. 697-706

Project Euclid

Annual Meeting of the Association for Symbolic Logic

p. 682-696

Project Euclid

Notice: Fellowship and Research Opportunities in Mathematics

Project Euclid

Further Citations

p. 677-681

Project Euclid

Review: John Tucker, The Formalisation of Set Theory

Montague, Richard

p. 676-677

Project Euclid

Review: Max Black, Philosophical Analysis, Collection of Essays

p. 675-676

Project Euclid

Review: Bertrand Russell, Bertrand Russell's Dictionary of Mind, Matter and Morals

Project Euclid

Review: Hans Reichenbach, Elements of Symbolic Logic

van Heijenoort, J.

Project Euclid

Review: Dan Pedoe, Griselda El Tayeb, The Gentle Art of Mathematics

Project Euclid

Review: Alfred Tarski, Introduction to Logic and to the Methodology of Deductive Sciences

Project Euclid

Review: Richard B. Angell, Reasoning and Logic

Thomas, Ivo

Project Euclid

Review: Max Beberman, Herbert E. Vaughan, High School Mathematics. Course 2. Plane Geometry with Appendices on Logic and Solid Geometry

Hailperin, Theodore

p. 672-673

Project Euclid

Review: P. S. Novikov, Leo F. Boron, R. L. Goodstein, Elements of Mathematical Logic

Muller, Gert H.

Project Euclid

Review: Montgomery Furth, The Basic Laws of Aritmetic; Exposition of System

Hasenjaeger, G.

p. 671-672

Project Euclid

Review: David Rynin, Introduction: A treatise on language

p. 670-671

Project Euclid

Review: Robert M. W. Dixon, A Logical Statement of Grammatical Theory as Contained in Halliday's `Categories of the Theory of Grammar.'; Robert M. W. Dixon, Linguistic Science and Logic

Staal, J. F.

p. 668-670

Project Euclid

Review: Robert Abernathy, The Problem of Linguistic Equivalence

Cohen, L. Jonathan

Project Euclid

Review: M. J. Cresswell, J. N. Crossley, M. A. E. Dummett, The Logic of Interrogatives

Stahl, Gerold

Project Euclid

Review: Henry S. Leonard, Interrogatives, Imperatives, Truth, Falsity and Lies

Stahl, Gerold

p. 666-668

Project Euclid

Review: E. E. Dawson, A Model for Deontic Logic; Lennart Aqvist, On Dawson-Models for Deontic Logic

Geach, P. T.

Project Euclid

Review: A. N. Prior, The Theory of Implication; A. N. Prior, The Theory of Implication: Two Corrections; Boleslaw Sobocinski, A Note on Prior's Systems in "The Theory of Deduction."

Anderson, Alan Ross

p. 665-666

Project Euclid

Review: Akira Nakamura, On the Infinitely Many-Valued Double-Threshold Logic

Salomaa, Arto

Project Euclid

Review: Atwell R. Turquette, Independent Axioms for Infinite-Valued Logic

Hay, Louise

Project Euclid

Review: A. R. Turquette, Solution to a Problem of Rose and Rosser

Hay, Louise

p. 664-665

Project Euclid

Review: Anjan Shukla, A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implication

Bacon, John

Project Euclid

Review: A. G. Lunc, Multiterminal Networks Containing the Closing Contacts of Internal Relays

Project Euclid

Review: Roman Sikorski, A Few Problems on Boolean Algebras

LaGrange, Robert

p. 663-664

Project Euclid

Review: H. D. Sprinkle, A Development of Cardinals in "The Consistency of the Continuum Hypothesis."

Robbin, Joel W.

Project Euclid

Review: Hilary Putnam, Axioms of Class Existence

Project Euclid

Review: Dana Scott, The Notion of Rank in Set-Theory

p. 662-663

Project Euclid

Review: Richard Montague, Fraenkel's Addition to the Axioms of Zermelo

Project Euclid

Review: Azriel Levy, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Comparing the Axioms of Local and Universal Choice

p. 661-662

Project Euclid

Review: Solomon Feferman, Systems of Predicative Analysis

Schutte, Kurt

p. 660-661

Project Euclid

Review: K. Jaakko Hintikka, Reductions in the Theory of Types

Pitt, W. B.

Project Euclid

Review: Raphael M. Robinson, Restricted Set-Theoretical Definitions in Arithmetic

McNaughton, Robert

p. 659-660

Project Euclid

Review: Shoji Maehara, Remark on Skolem's Theorem Concerning the Impossibility of Characterization of the Natural Number Sequence

Engeler, Erwin

Project Euclid

Review: Shoji Maehara, Another Proof of Takeuti's Theorems on Skolem's Paradox

Engeler, Erwin

Project Euclid

Review: Burton Dreben, Peter Andrews, Stal Aanderaa, False Lemmas in Herbrand

Bernays, Paul

p. 657-659

Project Euclid

Review: W. V. Quine, A Proof Procedure for Quantification Theory

Andrews, Peter

Project Euclid

Review: Michael O. Rabin, Real Time Computation

Becvar, Jiri

Project Euclid

Review: Hisao Yamada, Real-Time Computation and Recursive Functions not Real-Time Computable

Becvar, Jiri

p. 656-657

Project Euclid

Review: V. S. Cernavskij, On the Reversibility of Algorithms

Fels, E. M.

p. 655-656

Project Euclid

Review: M. L. Minsky, Size and Structure of Universal Turing Machines using Tag Systems

Project Euclid

Review: Marvin L. Minsky, Recursive Unsolvability of Post's Problem of "Tag" and other Topics in the Theory of Turing Machines

p. 654-655

Project Euclid

Review: Robert W. Ritchie, Classes of Recursive Functions based on Ackermann's Function

Axt, Paul

Project Euclid

Review: A. H. Lachlan, Effective Operations in a General Setting

Shoenfield, J. R.

Project Euclid

Review: Alan Cobham, Effectively Decidable Theories

Mostowski, A. Wlodzimierz

Project Euclid

Review: N. M. Nagornyj, Beispiel einer Gruppe mit Nicht Rekursivem Zentrum

Mostowski, A. Wlodzimierz

Project Euclid

Review: A. A. Markov, Zum Problem der Darstellbarkeit von Matrizen

Project Euclid

Review: Erik Ellentuck, Infinite Products of Isols

Appel, Kenneth

p. 652-653

Project Euclid

Review: J. C. E. Dekker, An Infinite Product of Isols

Appel, Kenneth

Project Euclid

Review: J. C. E. Dekker, Infinite Series of Isols

Appel, Kenneth

Project Euclid

Review: Y. N. Moschovakis, Recursive Metric Spaces

Mayoh, B. H.

p. 651-652

Project Euclid

Review: Yiannis N. Moschovakis, Notation Systems and Recursive Ordered Fields

Mayoh, B. H.

p. 650-651

Project Euclid

Review: A. I. Mal'cev, Elliott Mendelson, Strongly Related Models and Recursively Complete Algebras

Dyson, Verena H.

p. 649-650

Project Euclid

Review: A. I. Mal'cev, Lisa Rosenblatt, On Recursive Abelian Groups

Dyson, Verena H.

Project Euclid

Review: A. I. Mal'cev, K. A. Hirsch, Constructive Algebras. I

Dyson, Verena H.

p. 647-649

Project Euclid

Review: Michael Morley, On Theories Categorical in Uncountable Powers; Michael Morley, Categoricity in Power

Project Euclid

Review: A. Ehrenfeucht, On Theories Categorical in Power

Vaught, R. L.

Project Euclid

Review: A. Ehrenfeucht, A. Mostowski, Models of Axiomatic Theories Admitting Automorphisms

Vaught, R. L.

p. 644-645

Project Euclid

On some Alleged Decision Procedures for S4

Hanson, William H.

p. 641-643

Project Euclid

Review: Joseph S. Wholey, Persistence and Herbrand Expansions

Robinson, Abraham

Project Euclid

Review: Dag Prawitz, An Improved Proof Procedure

p. 126-127

Project Euclid

Review: Dag Prawitz, Hakon Prawitz, Neri Voghera, A Mechanical Proof Procedure and its Realization in an Electronic Computer

Project Euclid

Review: Martin Davis, Hilary Putnam, A Computing Procedure for Quantification Theory

p. 125-126

Project Euclid

Review: P. C. Gilmore, A Proof Method for Quantification Theory: Its Justification and Realization

p. 124-125

Project Euclid

Review: Nicholas Rescher, Many-Sorted Quantification

Schmidt, H. Arnold

p. 123-124

Project Euclid

Review: Jaakko Hintikka, Modality and Quantifications; Jaakko Hintikka, The Modes of Modality

Pitt, W. B.

p. 122-123

Project Euclid

Review: Saul A. Kripke, Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi

Kaplan, David

p. 120-122

Project Euclid

Review: Lennart Aqvist, Interpretations of Deontic Logic

Lemmon, E. J.

Project Euclid

Review: Arto Salomaa, On Infinitely Generated Sets of Operations in Finite Algebras

p. 119-120

Project Euclid

Review: Arto Salomaa, Some Analogues of Sheffer Functions in Infinite-Valued Logics

Martin, Norman M.

p. 118-119

Project Euclid

Review: Boleslaw Sobocinski, On the Propositional System A of Vuckovic and its Extension

Project Euclid

Review: Mary Katherine Yntema, A Detailed Argument for the Post-Linial Theorems

Gladstone, M. D.

p. 117-118

Project Euclid

Review: Boleslaw Sobocinski, A Note Concerning the Many-Valued Propositional Calculi

Project Euclid

Review: Leon Gumanski, Jedynkowe Systemy Aksjomatyczne

Materna, Pavel

p. 115-117

Project Euclid

Review: Z. Pawlak, New Method of Parenthesis-Free Notations of Formulae

Fitch, Frederic B.

Project Euclid

Review: Wolfgang Yourgrau, Donald Livingstone, On the Matter of Mathematical Constants

Schmidt, H. Arnold

Project Euclid

Review: Jerzy Giedymin, A Generalization of the Refutability Postulate

Poznanski, Edward

p. 113-114

Project Euclid

Review: A. J. Ayer, Truth

Thomson, James

Project Euclid

Review: A. J. Ayer, Names and Descriptions

Thomson, James

p. 112-113

Project Euclid

Review: Luis Washington Vita, Miguel Reale, Introducao a Filosofia

Ribeiro, Hugo

Project Euclid

Review: Max Beberman, Herbert E. Vaughan, High School Mathematics. Course 1

Hailperin, Theodore

p. 111-112

Project Euclid

Review: Herbert Meschkowski, Wandlungen des Mathematischen Denkens. Eine Einfuhrung in die Grundlagenprobleme der Mathematik

Project Euclid

Review: M. A. Ajzerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, A. A. Tal, Logic, Automata, Algorithms

Becvar, Jiri

p. 109-111

Project Euclid

Review: J. A. Faris, Quantification Theory

Kalish, Donald

p. 108-109

Project Euclid

Review: J. A. Faris, Truth-Functional Logic

Rose, Gene F.

Project Euclid

Review: A. H. Lightstone, The Axiomatic Method. An Introduction to Mathematical Logic

Andrews, Peter

p. 106-108

Project Euclid

Review: Paul Lorenzen, Metamathematik

Robinson, Julia

Project Euclid

Review: Alfred North Whitehead, On Mathematical Concepts of the Material World

Jaskowski, S.

p. 105-106

Project Euclid

Review: George Boole, Armando Asti Vera, Analisis Matematico de la Logica. Ensayo de un Calculo del Razonamiento Deductivo

Ribeiro, Hugo

p. 104-105

Project Euclid

Review: Bernard Bolzano, Grundlegung der Logik. Ausgewahlte Paragraphen aus der Wissenschaftslehre, Band I und II

Project Euclid

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

Lejewski, Czeslaw

p. 102-104

Project Euclid

Review: Richard M. Martin, Intension and Decision. A Philosophy Study

Montague, Richard

p. 98-102

Project Euclid

Review: Charles Parsons, The $\omega$-Consistency of Ramified Analysis

Muller, Gert H.

Project Euclid

A Reduction Theorem for Normal Algorithms

Swanson, J. W.

p. 86-97

Project Euclid

Linear Orderings under One-One Reducibility

Young, Paul R.

p. 70-85

Project Euclid

On a Question of G. E. Sacks

Martin, Donald A.

p. 66-69

Project Euclid

Algebraic Semantics for Modal Logics I

Lemmon, E. J.

p. 46-65

Project Euclid

Extensional Interpretations of Modal Logics

Lob, M. H.

p. 23-45

Project Euclid

On the Indexing of Classes of Recursively Enumerable Sets

Lachlan, A. H.

p. 10-22

Project Euclid

Postulates for Implicational Calculi

Meredith, C. A.

p. 7-9

Project Euclid

On Formulas in which no Individual Variable occurs more than Twice

Jaskowski, Stanislaw