J. Symbolic Logic, Tome 28 (1963)

Project Euclid

Review: Raili Kauppi, Freedom and Imperatives

Lemmon, E. J.

Project Euclid

Review: J. W. Addison, Some Consequences of the Axiom of Constructibility

Levy, Azriel

Project Euclid

Review: Toshio Nishimura, On a Certain System with Infinite Induction

Parsons, Charles

Project Euclid

Review: William W. Boone, Partial Results Regarding Word Problems and Recursively Enumerable Degrees of Unsolvability

Pour-El, Marian Boykan

Project Euclid

Review: Gunter Asser, Funktionen-Algorithmen und Graphschemata

Fels, E. M.

Project Euclid

Review: R. L. Goodstein, Models of Propositional Calculi in Recursive Arithmetic

Mostowski, Andrzej

Project Euclid

Review: Alan Ross Anderson, Nuel D. Belnap, A Simple Treatment of Truth Functions

Parry, William T.

Project Euclid

Review: Sheldon B. Akers, A Truth Table Method for the Synthesis of Combinational Logic

McCluskey, E. J.

Ducasse, C. J. ; Curry, Haskell B.

Project Euclid

Addendum to Early History of the Association for Symbolic Logic

Project Euclid

Review: Gerold Stahl, Fragenfolgen

Harrah, David

Project Euclid

Review: C. L. Hamblin, C. F. Presley, Australian Journal of Philosophy

Harrah, David

Project Euclid

Review: Gerold Stahl, Preguntas y Premisas

Castaneda, Hector-Neri

Project Euclid

Review: S. Jaskowski, Example of a Class of Systems of Ordinary Differential Equations Having no Decision Method for Existence Problems

Grzegorczyk, A.

Project Euclid

Review: Hugues Leblanc, Nuel D. Belnap, Intuitionism Reconsidered

Heyting, A.

Project Euclid

Review: Grigore C. Moisil, Development in the R.P.R. of the Algebraic Theory of Contact and Relay Circuits

Moore, Edward F.

Project Euclid

Review: A. S. Bloh, About Canonical Method of Synthesis of Contact Circuits

Szeptycki, Pawel

Project Euclid

Review: Gonzalo Zubieta R., Definiciones formales de Numerabilidad

van Heijenoort, John

Project Euclid

Review: Johann Mokre, Zu den Logischen Paradoxien

Project Euclid

Review: Hao Wang, Many-Sorted Predicate Calculi

Ore, Steven

Project Euclid

Review: Hao Wang, The Predicate Calculus

Project Euclid

Review: Raili Kauppi, Intension and Extension of Concepts

Salomaa, Arto

Project Euclid

Review: Paul Bernays, Zur Rolle der Sprache in Erkenntnistheoretischer Hinsicht

Hempel, Carl G.

Project Euclid

Review: Eric Foxley, The Determination of all Sheffer Functions in 3-Valued Logic, Using a Logical Computer

Turquette, Atwell R.

Project Euclid

Review: Gr. C. Moisil, Rapport sur le Developpement dans La R.P.R. de la Theorie Algebrique des Mecanismes Automatiques

Moore, Edward F.

Project Euclid

Review: Hao Wang, Eighty Years of Foundational Studies

Project Euclid

Review: Gaisi Takeuti, An Example on the Fundamental Conjecture of GLC

Schutte, Kurt

Project Euclid

Review: K. Jaakko, J. Hintikka, On the Logical Study of Language

Salomaa, Arto

Project Euclid

Review: S. Mrowka, Fundamenta mathemattcae; Bernhard Banaschewski, On Some Theorems Equivalent with the Axiom of Choice

Levy, Azriel

Project Euclid

Review: Benson Mates, Stoic Logic

Project Euclid

Review: David Perlman, A Milestone in Math--Professor's New Concept

Project Euclid

Review: Norwood Russell Hanson, A Note on the Godel Theorem

Project Euclid

Recursive Real Numbers

Lachlan, A. H.

p. 1-16

Project Euclid

Functions which Remain Partial Recursive Under all Similarity Transformations

Shapiro, Norman

p. 17-19

Project Euclid

A Method of Modelling the Formalism of Set Theory in Axiomatic Set Theory

Kruse, A. H.

p. 20-34

Project Euclid

A Note on Many-One Reducibility

Liu, Shih-Chao

p. 35-42

Project Euclid

A Weak Completeness Theorem for Infinite Valued First-Order Logic

Belluce, L. P. ; Chang, C. C.

p. 43-50

Project Euclid

What is Strict Implication?

Hacking, Ian

p. 51-71

Project Euclid

Some Remarks Concerning Theories with Recursively Enumerable Complements

Cobham, Alan

p. 72-74

Project Euclid

Remark on a System of Bernays

Myhill, John

p. 75-76

Project Euclid

Axiomatization of the Infinite-Valued Predicate Calculus

Hay, Louise Schmir

p. 77-86

Project Euclid

The System $C\Delta$ of Combinatory Logic

Fitch, Frederic B.

p. 87-97

Project Euclid

Review: R. L. Goodstein, Mathematical Logic

Anderson, Alan Ross

p. 98-99

Project Euclid

Review: J. Richard Buchi, Weak Second-Order Arithmetic and Finite Automata; J. Richard Buchi, On a Decision Method in Restricted second Order Arithmetic

McNaughton, Robert

p. 100-102

Project Euclid

Review: A. Grzegorczyk, A Theory Without Recursive Models

Frayne, Thomas

p. 102-103

Project Euclid

Review: W. W. Tait, Nested Recursion

Peter, Rozsa

p. 103-104

Project Euclid

Review: B. A. Trakhtenbrot, Algorithms and Automatic Computing Machines

p. 104-105

Project Euclid

Review: Rolf Schock, Some Remarks on Russell's Treatment of Definite Descriptions

p. 105-106

Project Euclid

Review: Alonzo Church, Mathematics and Logic

Lemmon, E. J.

p. 106-107

Project Euclid

Review: John Tucker, Constructivity and Grammar

Thomson, J. F.

p. 107-109

Project Euclid

Further Citations

p. 109-111

Project Euclid

Notices

p. 111-112

Project Euclid

Relative Necessity

Smiley, Timothy

p. 113-134

Project Euclid

A Logical Analysis of Some Value Concepts

Fitch, Frederic B.

p. 135-142

Project Euclid

On Many-One Degrees

Liu, Shih-Chao

p. 143-153

Project Euclid

An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms

Kleene, S. C.

p. 154-156

Project Euclid

Descriptive Completeness and Inductive Methods

Lehrer, Keith

p. 157-160

Project Euclid

On N-Adic Representation of Numbers

Patton, Thomas E.

p. 161-163

Project Euclid

Review: Marian Przelecki, Theoretical Concepts and Experience

Kokoszynska, Maria

p. 164-165

Project Euclid

Review: Francis C. Oglesby, An Examination of a Decision Procedure; F. C. Oglesby, Report: An Examination of a Decision Procedure

Robinson, Abraham

p. 165-166

Project Euclid

Review: S. C. Kleene, Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms

Robinson, T. Thacher

p. 166-167

Project Euclid

Review: Michael O. Rabin, On Recursively Enumerable and Arithmetic Models of Set Theory

Shepherdson, J. C.

p. 167-168

Project Euclid

Review: Abraham A. Fraenkel, Abstract set theory

p. 168-169

Project Euclid

Review: Alice Ambrose, Morris Lazerowitz, Logic: The Theory of Formal Inference

Kalish, Donald

p. 169-171

Project Euclid

Review: Ettore Carruccio, Corso di Storia delle Matematiche. Matematica e Logica nella Storia e nel Pensiero Contemporaneo; Ettore Carruccio, Matematica e Logica nella Storia e nel Pensiero Contemporaneo

Pasquinelli, Alberto

p. 171-172

Project Euclid

Review: William S. Hatcher, La Notion D'Equivalence Entre Systemes Formels et une Generalisation Inductive du Systeme dit "New Foundations" de Quine

p. 172-173

Project Euclid

Review: A. Nerode, Linear Automaton Transformations

McNaughton, Robert

p. 173-174

Project Euclid

Review: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique

Henkin, Leon

p. 174-175

Project Euclid

Further Citations

p. 175-176

Project Euclid

Tensor Products of Polyadic Algebras

Daigneault, Aubert

p. 177-200

Project Euclid

An Extension of the Craig-Lyndon Interpolation Theorem

Henkin, Leon

p. 201-216

Project Euclid

Independent Axioms for Infinite-Valued Logic

Turquette, Atwell R.

p. 217-221

Project Euclid

Separation Principles in the Hierarchy Theory of Pure First-Order Logic

Krom, M. R.

p. 222-236

Project Euclid

On the Solvability of a Subclass of the Suranyi Reduction Class

Goldberg, Richard

p. 237-244

Project Euclid

Review: Heinrich Scholz, Gisbert Hasenjaeger, Grundzuge der Mathematischen Logik

Muller, Gert Heinz

p. 245-249

Project Euclid

Review: Hiroshi Nagai, The Concept of Formality in Mathematics

Schutte, Kurt

p. 249-250

Project Euclid

Review: Julio Rey Pastor, Apuntes de Teoria de los Conjuntos Abstractos

p. 250-251

Project Euclid

Review: Vladeta Vuckovic, Partially Ordered Recursive Arithmetics; Vladeta Vuckovi, Einfuhrung von $\sum_f(x)$ und $\Pi_f(x)$ in der Rekursiven Gitterpunktarithmetik

Goodstein, R. L.

p. 251-252

Project Euclid

Review: Robert W. Ritchie, Classes of Predictably Computable Functions

Elgot, C. C.

p. 252-253

Project Euclid

Review: Guido Kung, I. M. Bochenski, Bibliography of soviet Work in the Field of Mathematical Logic and the Foundations of Mathematics, from 1917-1957

Fels, E. M.

p. 253-254

Project Euclid

Review: B. A. Trahtenbrot, (Sintez logiceskih setej operatory kotoryh opisany sredstvami iscislenia odnomestnyh predikatov):Synthesis of Logical Nets whose Operators are Described by Means of the Calculus of One-Place Predicates

Blikle, Andrzej

p. 254-255

Project Euclid

Review: A. A. Zinov'ev, Philosophical Problems of Many-Valued Logic

Comey, David Dinsmore

p. 255-256

Project Euclid

Review: Naoto Yonemitsu, Systems of Weak Implication

Parry, W. T.

p. 256-257

Project Euclid

Review: Tadeusz Kubinski, An Essay in Logic of Questions

Harrah, David

p. 258-259

Project Euclid

Review: Henry S. Leonard, The Logic of Existence

p. 259-261

Project Euclid

Meeting of the Association for Symbolic Logic

Lemmon, E. J. ; Dummett, M. A. E. ; Crossley, J. N.

p. 262-272

Project Euclid

A Theorem on Hyperhypersimple Sets

Martin, Donald A.

p. 273-278

Project Euclid

Persistence and Herbrand Expansions

Wholey, Joseph S.

Kreisel, G. ; Scholz, Heinrich

p. 280-282

Project Euclid

Review: H. Hermes, F. Hambartel, J. Ritter, Mathesis universalis abhandlungen zur philosophie ats strenger wissenschaft

p. 283-288

Project Euclid

Review: Hao Wang, A survey of Mathematical logic

p. 288-289

Project Euclid

Review: Alonzo Church, Application of Recursive Arithmetic to the Problem of Circuit Synthesis

Friedman, Joyce

p. 289-290

Project Euclid

Review: Vladeta Vuckovic, Rekursive Modelle Einiger Nichtklassischen Aussagenkalkule

Mostowski, Andrzej

p. 291-292

Project Euclid

Review: W. H. Werkmeister, An Introduction to Critical Thinking. A Beginner's Text in Logic

Miller, James Wilkinson

p. 294-295

Project Euclid

Further Citations

p. 295-296

Project Euclid

Twenty-Eighth Annual Meeting of the Association for Symbolic Logic

Karp, Carol R.

p. 297-308

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

p. 309-332

Project Euclid

Index of Reviews