J. Symbolic Logic, Tome 30 (1965)

Project Euclid

Review: Hao Wang, IBM Journal of Research and Development: Toward Mechanical Mathematics

Project Euclid

Review: Arto Salomaa, Some Completeness Criteria for Sets of Functions Over a Finite Domain. II

Turquette, Atwell R.

Project Euclid

Review: Hao Wang, Ordinal Numbers and Predicative Set Theory

Project Euclid

Review: A. I. Mekler, Simplified Algebraic Synthesis of Relay Circuits

Project Euclid

Review: A. N. Radcenko, V. I. Filippov, Shift Registers with Logic Feedback and their Application as Computers and Code Devices

Harland, Andrzej

Project Euclid

Review: P. H. Nidditch, Propositional Calculus

Jaeger, G. Hasen

Project Euclid

Review: P. H. Nidditch, The Development of Mathematical Logic

HasenJaeger, G.

Project Euclid

Review: A. Levy, Principles of Reflection in Axiomatic Set Theory

Shoenfield, J. R.

Project Euclid

Review: A. Levy, Axioms of Multiple Choice

Shoenfield, J. R.

Project Euclid

Review: C. C. Chang, On the Representation of $\alpha$-Complete Boolean Algebras

Karp, Carol R.

Project Euclid

Review: R. C. Lyndon, Existential Horn Sentences

Hinman, Peter G.

Project Euclid

Review: V. F. Kostyrko, On a Mistake in the Paper of Zegalkin "On the Decision Problem in Finite Classes"

Mostowski, Andrzej

Project Euclid

Review: Jan Lukasiewicz, Olgierd Wojtasiewicz, Elements of Mathematical Logic

Borgers, Alfons

Project Euclid

Review: A. H. Lachlan, Recursive Real Numbers

Axt, Paul

Project Euclid

Modus Ponens Under Hypothesis

Bausch, A. F.

Project Euclid

An Incorrect Theorem

Hailperin, Theodore

Project Euclid

Review: A. I. Mal'cev, Undecidability of the Elementary Theory of Finite Groups

Project Euclid

Review: Carol R. Karp, A Note on the Representation of $\alpha$-Complete Boolean Algebras

Pierce, R. S.

Project Euclid

Review: R. Sikorski, Representation and Distributivity of Boolean Algebras

Pierce, R. S.

Project Euclid

Review: Akiko Kino, A Consistency-Proof of a Formal Theory of Ackermann's Ordinal Numbers

Guard, J. R.

Mostowski, A. Wlodzimierz

Project Euclid

Review: S. I. Adan, Unsolvability of Certain Algorithmic Problems in the Theory of Groups

Project Euclid

Review: A. Nerode, A Decision Method for p-Adic Integral Zeros of Diophantine Equations

Robinson, Julia

Project Euclid

Review: Richard Goldberg, On the Solvability of a Subclass of the Suranyi Reduction Class

Andrews, Peter

Project Euclid

Review: A. A. Mucnik, Solution of Post's Reduction Problem and of Certain Other Problems in the Theory of Algorithms. I

Rogers, Hartley

Project Euclid

Review: Andrzej Grzegorczyk, On the Validation of the Sets of Axioms in Mathematical Theories

Project Euclid

Review: Laszlo Kalmar, Another Proof of the Godel-Rosser Incompletability Theorem

Project Euclid

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

Muller, Gert H.

Project Euclid

Review: P. Andrews, Fundamenta Mathematicae: A Reduction of the Axioms for the Theory of Propositional Types

Guard, J. R.

Project Euclid

Review: L. Henkin, Fundamenta Mathematicae: A Theory of Propositional Types

Guard, J. R.

Project Euclid

Review: G. W. Patterson, What Is a Code?

Jeffrey, Richard C.

Project Euclid

Review: Heinz Zemanek, Automaten und Denkprozesse

Project Euclid

Review: Dana Scott, Alfred Tarski, The Sentential Calculus with Infinitely Long Expressions

Project Euclid

Review: Frederic B. Fitch, (Sintez cifrovyh avtomatov):Representation of Sequential Circuits in Combinatory Logic

McNaughton, Robert

Project Euclid

Review: Frantisek Svoboda, (postroenii pereklucatel'nyh shem opytnym putem):On the Construction of Switching Circuits by the Experimental Method

Project Euclid

Review: M. A. Gavrilov, (Postroenie signalov teleupravlenia s kombinirovannym ispol'zovaniem impul'snyh priznakov):Construction of Remote Control Signals with Combined Use of Pulse Indications

Review: U.I. Zuralev, O nevozmoznosti postroenia minimal'nyh dizunktivnyh normal'nyh form funkcij algebry logiki v odnom klasse algoritmov; Yu I. Zuravlev, On the Impossibility of Constructing Minimal Disjunctive Normal Forms for Functions of the Algebra of Logic in a Single Class of Algorithms

Project Euclid

Project Euclid

Review: Leo Apostel, Game Theory and the Interpretation of Deontic Logic

Lemmon, E. J.

Project Euclid

Review: Daniel Ponasse, Structure Prebooleienne. Ensemble Prebooleien Universel Associe a un Ensemble Quelconque

Fuhrken, G.

Project Euclid

Review: John A. Carpenter, Omar K. Moore, Charles R. Snyder, Edith S. Lisansky, Alcohol and Higher-Order Problem Solving

Project Euclid

Review: A. I. Mal'cev, K. A. Hirsch, On Free Soluble Groups

Project Euclid

Review: Gerald B. Standley, Two Arithmetical Techniques with Numbered Classes

Thomas, Ivo

Project Euclid

Review: Hao Wang, Process and Existence in Mathematics

Mendelson, Elliott

Project Euclid

Review: Jean W. Butler, On Complete and Independent Sets of Truth Functions in Multi-Valued Logics; Jean W. Butler, On Complete and Independent Sets of Operations in Finite Algebras

Turquette, Atwell R.

Project Euclid

Review: A. Cobham, R. Fridshal, J. H. North, An Application of Linear Programming to the Minimization of Boolean Functions

Mott, Thomas H.

Project Euclid

Review: E. N. Gilbert, N-Terminal Switching Circuits

Project Euclid

Review: Paul Lorenzen, Die Allgemeingultigkeit der Logischen Regeln

Project Euclid

Review: Arthur W. Burks, Hao Wang, A Survey of Mathematical Logic

Project Euclid

Review: Robert Blanche, Axiomatics

LeBlanc, Hugues

Project Euclid

Review: Layman E. Allen, Wff 'n Proof. The Game of Modern Logic; Layman E. Allen, Wff. The Beginner's Game of Modern Logic

Oglesby, F. C.

Project Euclid

Review: N. L. Wilson, Psychologism, Logic, and Mr. Myhill

Leblanc, Hugues

Project Euclid

Transcendence of Cardinals

Takeuti, Gaisi

p. 1-7

Project Euclid

A Generalization of Nelson's Algorithm for Obtaining Prime Implicants

House, R. W. ; Rado, T.

p. 8-12

Project Euclid

Satisfaction for $n$-th Order Languages Defined in $n$-th Order Languages

Craig, William

p. 13-25

Project Euclid

Limiting Recursion

Gold, E. Mark

p. 28-48

Project Euclid

Trial and Error Predicates and the Solution to a Problem of Mostowski

Putnam, Hilary

p. 49-57

Project Euclid

An Algebraic Study of Diodorean Modal Systems

Bull, R. A.

p. 58-64

Project Euclid

On the Logic of Incomplete Answers

Cresswell, M. J.

Hensel, Gustav ; Putnam, Hilary

p. 65-68

Project Euclid

On the Notational Independence of Various Hierarchies of Degrees of Unsolvability

p. 69-86

Project Euclid

Review: Milton Fisk, A Modern Formal Logic

Bacon, John

p. 87-88

Project Euclid

Review: Raymond M. Smullyan, Theory of Formal Systems

Pour-El, Marian Boykan

p. 88-90

Project Euclid

Review: Paul Axt, Enumeration and the Grzegorczyk Hierarchy

Peter, Rozsa

p. 90-91

Project Euclid

Review: Jean Ladriere, Expression de la Recursion Primitive dans le Calcul-$\lambda-\mathbf{K}$

Bernays, Paul

p. 91-94

Project Euclid

Review: A. Tarski, Remarks on Predicate Logic with Infinitely Long Expressions

p. 94-95

Project Euclid

Review: Alfred Tarski, Some Problems and Results relevant to the Foundations of Set Theory; W. Hanf, Incompactness in Languages with Infinitely Long Expressions

p. 95-96

Project Euclid

Review: L. Henkin, Some Remarks on Infinitely Long Formulas; Carol R. Karp, Independence Proofs in Predicate Logic with Infinitely Long Expressions

p. 96-97

Project Euclid

Review: Gaisi Takeuti, Akiko Kino, On Predicates with Constructive Infinitely Long Expressions

p. 97-98

Project Euclid

Review: Leon Henkin, An Extension of the Craig-Lyndon Interpolation Theorem

Taitslin, M. A.

Hasenjaeger, G. ; Orey, Steven

p. 98-99

Project Euclid

Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae

p. 99-101

Project Euclid

[Omnibus Review]

Bennett, Jonathan

Review: David Kaplan, Richard Montague, Notre Dame Journal of Formal Logic: A Paradox Regained; Martin Gardner, The British Journal of Philosophy of Science: A New Prediction Paradox; K. R. Popper, The British Journal of Philosophy of Science:A Comment on the New Prediction Paradox

p. 101-102

Project Euclid

Cargile, James

p. 102-103

Project Euclid

Review: Karel Lambert, Existential Import Revisited

p. 103-104

Project Euclid

Review: Aleksandr Sergeyevich Yesenin-Volpin, Svobodny filosofskij traktat: A Free Philosophical Treatise

p. 104-105

Project Euclid

Review: Robert E. Clay, A Standard Form for Lukasiewicz Many-Valued Logics

Salomaa, Arto

p. 105-106

Project Euclid

Review: M. J. Ghazala, IBM Journal of Research and Development: Irredundant Disjunctive and Conjunctive Forms of a Boolean Function; T. Rado, IBM Journal of Research and Development: Comments on the Presence Function of Gazale

Mott, Thomas H.

p. 106-109

Project Euclid

Further Citations

Anderson, Daniel E. ; Cleaver, Frank L.

p. 109-112

Project Euclid

Venn-Type Diagrams for Arguments of N Terms

p. 113-118

Project Euclid

Comments on a Variant Form of Natural Deduction

Parry, William Tuthill

p. 119-122

Project Euclid

Analytic Natural Deduction

Smullyan, Raymond M.

p. 123-139

Project Euclid

Interpretations of Kleene's Metamathematical Predicate $\Gamma\mid$A in Intuitionistic Arithmetic

Robinson, T. Thacher

p. 140-154

Project Euclid

Functionals Defined by Transfinite Recursion

Tait, W. W.

p. 155-174

Project Euclid

The Substitution Method

Tait, W. W.

p. 175-192

Project Euclid

Extensions of the Constructive Ordinals

Richter, Wayne

p. 193-211

Project Euclid

Limit Ultraproducts

Keisler, H. Jerome

p. 212-234

Project Euclid

Review: Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

Henkin, Leon

p. 235-236

Project Euclid

Review: Alfred Tarski, Introduction a la Logique

Borgers, Alfons

p. 236-237

Project Euclid

Review: Alfred North Whitehead, Bertrand Russell, Principia Mathematica to $^\ast56$

Parsons, Charles

p. 237-238

Project Euclid

Review: Ferruccio Rossi-Landi, Il penstero americano contemporaneo

Pasquinelli, Alberto

p. 238-240

Project Euclid

Review: T. J. Smiley, Entailment and Deducibility; Alan Ross Anderson, Nuel D. Belnap, The Pure Calculus of Entailment

Bennett, Jonathan

p. 240-241

Project Euclid

Review: Ward Waddell, Structure of Laws as Represented by Symbolic Methods

Vonneuman, Nicholas A.

p. 242-243

Project Euclid

Review: G. Kreisel, Foundations of Intuitionistic Logic

Robinson, Abraham

p. 243-244

Project Euclid

Review: Rulon Wells, A Measure of Subjective Information

Belnap, Nuel D.

p. 244-245

Project Euclid

Review: Boleslaw Sobocinski, On the Single Axioms of Protothetic

Prior, A. N.

p. 245-246

Project Euclid

Review: U. L. Vasil'ev, Minimal Switching Circuits for Boolean Functions of Four Variables

Harland, Andrzej

p. 246-247

Project Euclid

Review: Hansi Piesch, Archiv fur Elektrotechnik

p. 247-248

Project Euclid

Review: Joyce Friedman, A Decision Procedure for Computations of Finite Automata

McNaughton, Robert

p. 248-249

Project Euclid

Review: Hao Wang, A Survey of Mathematical Logic

p. 249-250

Project Euclid

Review: Paul J. Cohen, A Minimal Model for Set Theory

Easton, William B.

p. 250-251

Project Euclid

Review: Robert Vaught, The Elementary Character of Two Notions from General Algebra

p. 252-253

Project Euclid

Review: A. D. Tajmanov, On a Class of Models, Closed with Respect to Direct Product

Hinman, Peter G.

p. 253-254

Project Euclid

Review: G. S. Cejtin, Associative Calculus with Unsolvable Equivalence Problem

Fels, E. M.

p. 254-255

Project Euclid

Review: Shih-Chao Liu, Four Types of General Recursive Well-Orderings

Hensel, Gustav

p. 255-256

Project Euclid

Further Citations

p. 256-259

Project Euclid

Annual Meeting of the Association for Symbolic Logic

Monk, Donald

p. 260-270

Project Euclid

Some Structure Results for Propositional Calculi

Harrop, Ronald

Abian, Alexander ; Lamacchia, Samuel

p. 271-292

Project Euclid

Some Consequences of the Axiom of Power-Set

p. 293-294

Project Euclid

A Formalization of the Theory of Ordinal Numbers

Takeuti, Gaisi

Kreisel, G. ; Sacks, Gerald E.

p. 295-317

Project Euclid

Metarecursive Sets

p. 318-338

Project Euclid

Some Applications of Infinitely Long Formulas

Keisler, H. Jerome

p. 339-349

Project Euclid

A Rudimentary Definition of Addition

Ritchie, R. W.

p. 350-354

Project Euclid

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

Schutte, Kurt

p. 355-356

Project Euclid

Review: P. S. Novikov, Elements of Mathematical Logic

Mostowski, Andrzej

p. 356-357

Project Euclid

Review: B. Meltzer, On Formally Undectdable Propositions of Principia Mathematica and Related Systems

p. 357-359

Project Euclid

Review: Kurt Godel, B. Meltzer, On Formally Undecidable Propositions of Principia Mathematica and Related Systems I

Bauer-Mengelberg, Stefan

p. 359-362

Project Euclid

Review: Jan Berg, Bolzano's Logic

Miller, Leon

p. 362-363

Project Euclid

Review: A. Menne, Logico-philosophical Studies

Faris, J. A.

p. 363-364

Project Euclid

Review: John Patrick Day, Inductive Probability

Stopes-Roe, Harry

p. 364-365

Project Euclid

Review: J. L. Mackie, Self-Refutation--A Formal Analysis

Bennett, Jonathan

p. 365-366

Project Euclid

Review: Gerald J. Massey, Note on Copi's System; John Thomas Canty, Completeness of Copi's Method of Deduction

Kalish, Donald

p. 366-367

Project Euclid

Review: N. I. Stazkin, Ocerki po Istorii Logiki v Rossii: (Essays in the History of Logic in Russia)

p. 367-370

Project Euclid

Review: N. I. Stazkin, V. D. Silakov, A Brief Outline of the History of General and Mathematical Logic in Russia

p. 370-371

Project Euclid

Review: P. V. Kopnin, P. V. Tavanec, B. M. Kedrov, (Dialektika i Logika Zakony Myslenia: (Dialectic and Logic.The Laws of Thought

p. 371-372

Project Euclid

Review: D. P. Gorskij, B. M. Kedrov, (Dialektika i Logika a, Formy Myslenia ): Dialetic and Logic, The Forms of Thought

Comey, David Dinsmore ; Matsuomoto, Kazuo

p. 372-373

Project Euclid

Review: A. A. Zinov'ev, (Logika vyskazyvanij i teoria vyvoda): Propositional Logic and Theory of Deduction

p. 373-374

Project Euclid

[Omnibus Review]

Salomaa, Arto

p. 374-375

Project Euclid

Review: Burton Dreben, Relation of m-Valued Quantificational Logic to 2-Valued Quantificational Logic

Turquette, Atwell R.

p. 375-376

Project Euclid

Review: Jan Lukasiewicz, Jerzy Slupecki, Panstwowe Wydawnictwo, Remarks on Nicod's Axiom and on "Generalizing Deduction"

Pogorzelski, H. A.

p. 376-377

Project Euclid

Review: Boleslaw Sobocinski, Six New sets of Independent Axioms for Distributive Lattices with O and I

Wernick, William

p. 377-378

Project Euclid

Review: A. A. Markov, On the Inversion Complexity of a System of Functions

Gilbert, E. N.

p. 378-379

Project Euclid

Review: A. S. Bloh, (Sintgz relejno-kontaktnyh shem):The Synthesis of Relay-Contact Circuits

p. 379-380

Project Euclid

Review: V. M. Gluskov, Synthesis of Digital Automata

Becvar, Jiri

p. 380-381

Project Euclid

Review: U. T. Medvedev, (O klasse sobytij dopuskaugscih predstavlenie v konecnom avtornate):On a Class of Events Representable in a Finite Automaton

Blikle, Andrzej J.

p. 381-382

Project Euclid

Review: Yehoshua Bar-Hillel, Language and Information

Lambek, J.

Review: Hubert H. Schneider, Portugatiae mathematica:Semantics of the Predicate Calculus with Identity and the Validity in the Empty Individual-Domain; Hubert H. Schneider, Portugatiae mathematica:A Syntactical Characterization of the Predicate Calculus with Identity and the Validity in all Individual-Domains

p. 382-385

Project Euclid

Hailperin, Theodore

p. 385-386

Project Euclid

Review: Heinz Gumin, Hans Hermes, Die Soundness des Pradikatenkalkuls auf der Basis der Quineschen Reglen

p. 386-387

Project Euclid

Review: Andrzej Grzegorczyk, On the Concept of Categoricity; A. Grzegorczyk, A Kind of Categoricity

p. 387-388

Project Euclid

Review: Solomon Feferman, Classifications of Recursive Functions by Means of Hierarchies

Peter, Rozsa

p. 388-389

Project Euclid

Review: J. C. Shepherdson, A Non-Standard Model for a Free Variable Fragment of Number Theory

Goodstein, R. L.

p. 389-390

Project Euclid

Review: Burton S. Dreben, Solvable Suranyi Subclasses: An Introduction to the Herbrand Theory

Andrews, Peter

p. 390-391

Project Euclid

Review: Raymond M. Smullyan, Creativity and Effective Inseparability

Cleave, J. P.

p. 391-392

Project Euclid

Review: R. Sikorski, Distributivity and Representability

Pierce, R. S.

p. 392-393

Project Euclid

Review: A. I. Mal'cev, (Ob odnorn sootvetstvii mezdu kol'cami i grupparni):On a Correspondence Between Rings and Groups

p. 393-394

Project Euclid

Review: A. I. Mal'cev, Effective Inseparability of the Set of Identically True from the Set of Finitely Refutable Formulae of Certan Elementary Theories

Review: A. I. Mal'cev, Sibirskij mathemmaticeskij:(O nerazresimosti elementarnyh teorij nekotoryh polej):On the Undecidability of the Elementary Theories of Certain Fields; A. I. Mal'cev, Sibirskij mathemmaticeskij:(Zamecanie k stat'e "O nerazreimosti elementarnyh teorij nekotoryh polej"):Remark on the Paper "On the Undecidability of the Elementary Theories of Certain Fields"

p. 394-395

Project Euclid

Wells, B. F.

p. 395-397

Project Euclid

Review: Klaus Hartig, Einbettung Elementarer Theorien in Endlich Axiomatisierbare

Craig, William

p. 397-398

Project Euclid

Review: Paul J. Cohen, The Independence of the Continuum Hypothesis

Easton, William B.

p. 398-399

Project Euclid

Further Citations

p. 399-403

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

p. 404-427

Project Euclid

Index of Reviews

p. 429-445

Project Euclid

Index of Reviews by Subjects