J. Symbolic Logic, Tome 21 (1956) no. 1

p. 415-426

Project Euclid

Further Citations

p. 413-414

Project Euclid

Review: Clifford Spector, Recursive Well-Orderings

p. 412-413

Project Euclid

Review: S. C. Kleene, Hierarchies of Number-Theoretic Predicates

p. 411-412

Project Euclid

Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals (Second Paper)

p. 410-411

Project Euclid

Review: S. C. Kleene, Arithmetical Predicates and Function Quantifiers

p. 409-410

Project Euclid

Review: I. D. Zaspavskij, Disproof of Some Theorems of Classical Analysis in Constructive Analysis

Cogan, F. J.

Project Euclid

Review: G. S. Cejtin, On Cauchy's Theorem in Constructive Analysis

Cogan, F. J.

p. 408-409

Project Euclid

Review: V. K. Detlovs, Normal Algorithms and Recursive Functions

Ehrenfeucht, Andrzej

Project Euclid

Review: S. C. Kleene, Emil L. Post, The Upper Semi-Lattice of Degrees of Recursive Unsolvability

Rogers, Hartley

p. 407-408

Project Euclid

Review: B. S. Sodnomov, Consistency of the Projective Evaluation of Non-Effective Sets

p. 406-407

Project Euclid

Review: Chen-Chung Chang, Some General Theorems on Direct Products and Their Applications in the Theory of Models

Cogan, E. J.

Project Euclid

Review: Alfred Tarski, Contributions to the Theory of Models

Cogan, E. J.

p. 405-406

Project Euclid

Review: G. Kreisel, Hao Wang, Some Applications of Formalized Consistency Proofs

Hasenjaeger, G.

p. 404-405

Project Euclid

Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II

Hasenjaeger, G.

p. 403-404

Project Euclid

Review: Hao Wang, Arithmetic Translations of Axiom Systems

Montague, Richard

p. 402-403

Project Euclid

Review: Kurt Schutte, Die Eliminierbarkeit des Bestimmten Artikels in Kodifikaten der Analysis

Project Euclid

Review: Yoemon Sampei, Some Remarks Concerning Identity

Project Euclid

Review: Yoemon Sampei, On the Orthogonal Expansion of the Boolean Polynomial and Its Applications I; Yoemon Sampei, On the Orthogonal Expansion of the Boolean Polynomial and Its Applications

p. 401-402

Project Euclid

Review: D. P. Henry, Tautology Tessellations

Rose, Alan

Project Euclid

Review: Alan Rose, A Formalisation of Post's m-Valued Propositional Calculus

Parry, William T.

p. 400-401

Project Euclid

Review: Giuseppe Vaccarino, Le Logiche Polivalenti e Non Aristoteliche

Project Euclid

Review: David H. Schaefer, A Rectifier Algebra

Project Euclid

Review: S. V. Ablonskij, I. A. Cegis, On Tests for Electric Circuits

Cogan, E. J.

p. 399-400

Project Euclid

Review: V. I. Sestakov, An Algebra of Two-Terminal Circuits Constructed Exclusively of Two- Terminal Components (Algebra of A-Circuits)

Project Euclid

Review: Gr. C. Moisil, Application of Galois Fields in the Theory of Automata. II. Circuits with Two Intermediate Elements

p. 398-399

Project Euclid

Review: Gr. C. Moisil, Application of Galois Fields in the Theory of Automata. I. On Circuits with Rectifiers

Project Euclid

Review: Aleksy Kolpinski, Analysis of Relay-Contact Networks

Project Euclid

Review: Jacques Riguet, Sur l'Extension du Calcul des Relations Binaires au Calcul des Matrices a Elements dans une Algebre de Boole Complete

Fraisse, Roland

Anderson, Alan Ross ; Moore, Omar Khayyam

p. 397-398

Project Euclid

Review: Eugene H. Galanter, An Axiomatic and Experimental Study of Sensory Order and Measure

Project Euclid

Review: John R. Gregg, The Language of Taxonomy. An Application of Symbolic Logic to the Study of Classificatory Systems

Hempel, Carl G.

p. 396-397

Project Euclid

Review: Hans Reichenbach, The Rise of Scientific Philosophy

Project Euclid

Review: I. M. Bochenski, Philosophie et Sciences

Bennett, Jonathan

p. 395-396

Project Euclid

Review: Erik Gotlind, Vacuous Variants and Truth by Convention

Bennett, Jonathan

Project Euclid

Review: D. G. Brown, What the Tortoise Taught Us

Bennett, Jonathan

p. 394-395

Project Euclid

Review: Jonathan Bennett, Meaning and Implication

p. 393-394

Project Euclid

Review: Arthur Pap, Strict Implication, Entailment, and Modal Iteration

Project Euclid

Review: A. J. Baker, Incompatible Hypotheticals and the Barber Shop Paradox

p. 392-393

Project Euclid

Review: G. P. Henderson, Causal Implication

Project Euclid

Review: Roman Ingarden, Du Jugement Hypothetique

Rand, Rose

p. 390-392

Project Euclid

Review: Albert Menne, Logik und Existenz. Eine Logistische Analyse der Kategorischen Syllogismusfunktoren und das Problem der Nullklasse

Turquette, A. R.

p. 389-390

Project Euclid

Review: Marian W. Heitzman, The Philosophical Foundations of the Aristotelian Logic and the Origin of the Syllogism

Project Euclid

Review: G. E. M. Anscombe, Aristotle and the Sea Battle

p. 388-389

Project Euclid

Review: Daniel H. H. Ingalls, The Comparison of Indian and Western Philosophy

p. 387-388

Project Euclid

Review: Y. Bar-Hillel, Bolzano's Propositional Logic

p. 386-387

Project Euclid

Review: R. M. Martin, On the Berkeley-Russell Theory of Proper Names

p. 385-386

Project Euclid

Review: Virgil C. Aldrich, Mr. Quine on Meaning, Naming, and Purporting to Name

p. 384-385

Project Euclid

Review: Avrum Stroll, A Problem Concerning the Analysis of Belief Sentences; W. W. Mellor, Believing the Meaningless

Project Euclid

Review: R. Harre, A Note on Existence Propositions

Rescher, Nicholas

Project Euclid

Review: N. L. Wilson, Existence Assumptions and Contingent Meaningfulness

Rescher, Nicholas

p. 383-384

Project Euclid

Review: D. S. Shwayder, Mind

Project Euclid

Review: Joseph Dopp, La Formalisation de la Logique

Project Euclid

Review: Margaret MacDonald, Antony Flew, The Philosopher's Use of Analogy; Martin Shearn, Russell's Analysis of Existence; Alan Donagan, Recent Criticisms of Russell's Analysis of Existence

p. 382-383

Project Euclid

Review: Arthur Pap, Propositions, Sentences, and the Semantic Definition of Truth

p. 381-382

Project Euclid

Review: E. W. Beth, Le Paradoxe du "Sorite" d'Eubulide de Megare

Project Euclid

Review: K. R. Popper, Self-Reference and Meaning in Ordinary Language; Ellis Evans, On Some Semantic Illusions; Avrum Stroll, Is Everyday Language Inconsistent

Project Euclid

Review: Thomas Storer, The Notion of "Tautology."

Project Euclid

Review: Alfred Tarski, Het Semantisch Waarheidsbegrip en de Grondslagen der Semantiek

Borgers, Alfons

Project Euclid

Review: Shen Yuting, Two Semantical Paradoxes

Muller, Gert Heinz

Project Euclid

Review: Richard Montague, On the Paradox of Grounded Classes

Muller, Gert Heinz

Project Euclid

Review: R. N. McLaughlin, Further Problems of Derived Obligation

p. 379-380

Project Euclid

Review: A. N. Prior, A Note on the Logic of Obligation

Project Euclid

Review: Naoto Yonemitsu, A Note on Modal Systems, von Wright's M and Lewis's SI

Project Euclid

Review: Masumi Honke, A Study of Analytic Truth and Empirical Knowledge in C. I. Lewis

Project Euclid

Review: Shigeo Nagai, On Carnap's Empiricism

Project Euclid

Review: Masaharu Sawai, Logical Analysis--Its Nature and Its Limits

p. 378-379

Project Euclid

Review: Arata Ishimoto, Problems of Modal Logic; Seizi Uyeda, Logical Positivism, Essays in Philosophical Analysis I

Project Euclid

Review: Zyoiti Suetuna, Foundations of Mathematics

Project Euclid

Review: Haskell B. Curry, La Theorie des Combinateurs; Haskell B. Curry, La Logique Combinatoire et les Antinomies

Rosser, J. Barkley

Project Euclid

Review: H. B. Curry, A New Proof of the Church-Rosser Theorem

Rosser, J. Barkley

p. 377-378

Project Euclid

[Omnibus Review]

p. 374-377

Project Euclid

Review: Ernest Nagel, James R. Newman, Godel's Proof

Project Euclid

Review: Th. Skolem, Sobre La Naturaleza del Razonamiento Matematico; Th. Skolem, Consideraciones Sobre Los Fundamentos de la Matematica

R., G. Zubieta

Review: A. Mostowski, A. Grzegorczyk, S. Jaskowski, J. Los, S. Mazur, H. Rasiowa, R. Sikorski, Der Gegenwartige Stand der Grundlagenforschung in der Mathematik; Andrzej Mostowski, A. Grzegorczyk, S. Jaskowski, J. Los, S. Mazur, H. Rasiowa, R. Sikorski, The Present State of Investigations on the Foundations of Mathematics; A. Mostowski, A. Grzegorczyk, J. Los, S. Mazur, H. Rasiowa, R. Sikorski, S. Jaskowski, Sovremennoe Sostoanie Issledovanij po Osnovaniam Matematiki

p. 373-374

Project Euclid

p. 372-373

Project Euclid

Review: B. U. Pil'cak, On the Calculus of Problems

Rasiowa, Helena

Project Euclid

Review: A. Heyting, Intuitionism. An Introduction

Kuroda, Sigekatu

p. 367-371

Project Euclid

The Independence of a Weak Axiom of Choice

Mendelson, Elliott

p. 350-366

Project Euclid

Alternative Postulate Sets for Lewis's S5

p. 347-349

Project Euclid

Recursive Functions in Basic Logic

Fitch, Frederic B.

p. 337-346

Project Euclid

Further Citations

Project Euclid

Review: J. A. Postley, A Method for the Evaluation of a System of Boolean Algebraic Equations

Project Euclid

Review: F. J. Murray, Mechanisms and Robots

p. 334-335

Project Euclid

Review: Arthur W. Burks, Robert McNaughton, Carl H. Pollmar, Don W. Warren, Jesse B. Wright, The Folded Tree

Project Euclid

Review: Henryk Greniewski, Krystyn Bochenek, Romuald Marczynski, Application of Bi-Elemental Boolean Algebra to Electronic Circuits

p. 333-334

Project Euclid

Review: V. I. Ivanov, Cyclic Relay Networks and Analytical Relations in Them

Project Euclid

Review: B. A. Trahtenbrot, The Synthesis of Schemata Without Repetitions

p. 332-333

Project Euclid

Review: G. N. Povarov, Mathematical Theory of the Synthesis of $(1, k)$-Terminal Relay-Contact Networks

Project Euclid

Review: G. N. Povarov, On the Synthesis of n-Terminal Relay-Contact Networks

p. 331-332

Project Euclid

Review: M. A. Gavrilov, Theory of Relay-Contact Networks. Analysis and Synthesis of the Structure of Relay-Contact Networks

Project Euclid

Review: Raymond J. Nelson, Weak Simplest Normal Truth Functions

McNaughton, Robert

p. 330-331

Project Euclid

Review: Raymond J. Nelson, Simplest Normal Truth Functions; W. V. Quine, A Way to Simplify Truth Functions

McNaughton, Robert

p. 328-330

Project Euclid

Review: Boleslaw Sobocinski, Note on a Problem of Paul Bernays

Rose, Alan

Project Euclid

Review: Naoto Yonemitsu, Note on Completeness of m-valued Propositional Calculi

Rose, Gene F.

Project Euclid

Review: Alan Rose, The Degree of Completeness of the $\aleph_0$-valued Lukasiewicz Propositional Calculus

Rose, Gene F.

Project Euclid

Review: Alan Rose, The Degree of Completeness of the m-Valued Lukasiewicz Propositional Calculus

Rose, Gene F.

p. 327-328

Project Euclid

Review: Naoto Yonemitsu, A Note on Systems of Logical Implication

Project Euclid

Review: Naoto Yonemitsu, A Decision Method and a Topological Interpretation for Systems of Logical Implication

p. 326-327

Project Euclid

Review: Boleslaw Sobocinski, Studies in Lesniewski's Mereology

Prior, A. N.

p. 325-326

Project Euclid

Review: Boleslaw Sobocinski, Z Badan nad Aksjomatyka Prototetyki Stanislawa Lesniewskiego

Lejewski, Czeslaw

Project Euclid

Review: Toshio Umezawa, Uber die Zwischensysteme der Aussagenlogik

p. 324-325

Project Euclid

Review: D. van Dantzig, Mathematique Stable et Mathematique Affirmative

Gilmore, P. C.

p. 323-324

Project Euclid

Review: Robert L. Stanley, Simplified Foundations for Mathematical Logic

p. 322-323

Project Euclid

Review: Curt Christian, A Proof of the Inconsistency of Quine's System "Mathematical Logic (1951)."

Project Euclid

Review: Curt Christian, Zwei Theoreme Uber Die Einerklasse

Project Euclid

Review: Francois Moch, On Peut Eviter les Antinomies Classiques Sans Restreindre la Notion d'Ensemble

Project Euclid

Review: Irving M. Copi, Frank Harary, Some Properties of n-Adic Relations

Aubert, Karl Egil

Project Euclid

Review: Kurt Bing, On Arithmetical Classes Not Closed Under Direct Union

Robinson, Abraham

Project Euclid

Review: U. T. Medvedev, Degrees of Difficulty of Mass Problems

p. 320-321

Project Euclid

Review: A. A. Markov, On the Continuity of Constructive Functions

Ehrenfeucht, Andrzej

p. 319-320

Project Euclid

Review: John Myhill, A System Which can Define Its Own Truth

Project Euclid

Review: Ellis Evans, On the Language of Converse Relations

p. 318-319

Project Euclid

Review: S. Korner, Individuals and Properties

Project Euclid

Review: A. N. Prior, Entities

Project Euclid

Review: Hugues Leblanc, Positions and Propositions on Universals

Project Euclid

Review: Ivo Thomas, Kilwardby on Conversion; Ivo Thomas, Maxims in Kilwardby

p. 316-317

Project Euclid

Review: Ivo Thomas, Boethius' Locus a Repugnantibus

p. 315-316

Project Euclid

Review: Ivo Thomas, Introductory Remarks to Modern Logic

Project Euclid

Review: Ivo Thomas, A New Decision Procedure for Aristotle's Syllogistic

Project Euclid

Review: Ivo Thomas, Farrago Logica

p. 314-315

Project Euclid

Review: Bela Fogarasi, Samuel Szemere, Logik

Project Euclid

[Omnibus Review]

p. 313-314

Project Euclid

Review: Luitgard Wundheiler, Alex Wundheiler, William N. Locke, A. Donald Booth, Some Logical Concepts for Syntax

p. 312-313

Project Euclid

Review: Janina Kotarbinska, Definicja; Janina Kotarbinska, Logiceskoe Opredelenie; Janina Kotarbinska, On Definition

Sobocinski, Boleslaw

Project Euclid

Review: Kazimierz Ajdukiewicz, Classification of Reasonings

Sobocinski, Boleslaw

p. 311-312

Project Euclid

Review: Henryk Stonert, Report on the First Conference of Logicians (Warsaw, December 1952)

Sobocinski, Boleslaw

Project Euclid

Review: Rozsa Peter, Das Spiel mit dem Unendlichen. Mathematik fur AuBenstehende

p. 310-311

Project Euclid

Review: Heinrich Scholz, Der Klassische und der Moderne Begriff Einer Mathematischen Theorie

Borgers, Alfons

Project Euclid

Review: F. Gonseth, G. H. Muller, Philosophie Mathematique

Borgers, Alfons

p. 309-310

Project Euclid

Review: Robert Feys, Logistique

Project Euclid

On Completely Recursively Enumerable Classes and Their Key Arrays

Rice, H. G.

p. 304-308

Project Euclid

Some Proofs of Independence in Axiomatic Set Theory

Mendelson, Elliott

p. 291-303

Project Euclid

On the Relative Consistency of Set Theory

p. 280-290

Project Euclid

Unification of Universes in Set Theory

Quine, W. V.

p. 267-279

Project Euclid

A Note on Transfinite Iteration

Schwarz, Gideon

p. 265-266

Project Euclid

Note on a System of Myhill

Shepherdson, J. C.

p. 261-264

Project Euclid

The Representations of S5

Bergmann, Gustav

p. 257-260

Project Euclid

Independent Axiom Schemata for S5

p. 255-256

Project Euclid

On Simplifying Truth-Functional Formulas

Bing, Kurt

p. 253-254

Project Euclid

On $\omega$-Consistency and Related Properties

p. 246-252

Project Euclid

Identity, Variables, and Impredicative Definitions

Jaakko, K. ; Hintikka, J.

p. 225-245

Project Euclid

Twentieth Meeting of the Association for Symbolic Logic

Berry, G. D. W.

p. 216-224

Project Euclid

Solutions to Problems

Project Euclid

Problems

Project Euclid

Further Citations

p. 211-214

Project Euclid

Review: S. Okada, Topology Applied to Switching Circuits

p. 210-211

Project Euclid

Review: Arthur W. Burks, Robert McNaughton, Carl H. Pollmar, Don W. Warren, Jesse B. Wright, Complete Decoding Nets: General Theory and Minimality

Project Euclid

Review: Franz Hohn, Some Mathematical Aspects of Switching

p. 209-210

Project Euclid

Review: Calvin C. Elgot, On Single vs. Triple Address Computing Machines

p. 208-209

Project Euclid

Review: B. A. Trahtenbrot, Matrix Representation of Recursive Operators

p. 207-208

Project Euclid

Review: R. A. Rosenbaum, Remark on Equivalence Relations

Project Euclid

Review: W. T. Guy, On Equivalence Relations

Project Euclid

Review: L. J. Russell, A Problem of Lewis Carroll

Project Euclid

Review: Tadeusz Czezowski, On Certain Peculiarities of Singular Propositions

Review: Max Black, Report on Analysis Problem No. 3; Arnold Kapp, Does the Logical Truth $(\exists x)(Fx v \thicksim Fx)$ Entail that at Least One Individual Exists; Neil Cooper, Does the Logical Truth $(x\exists)(Fx v \thicksim Fx)$ Entail that at Least one Individual Exists

Project Euclid

Clark, Romane

p. 206-207

Project Euclid

Review: Arthur Pap, Logic, Existence, and the Theory of Descriptions; Donald Kalish, Mr. Pap on Logic, Existence, and Descriptions

Clark, Romane

Project Euclid

Review: E.Beth, Die zur Vorbereitung des Symposions vorgelegten Thesen des Grundreferates von Dr. Bruno v. Freytag-Loeringhoff und die dazu Eingegangenen Stellungnahmen

van Heijenoort, John

p. 204-206

Project Euclid

Review: Wilfrid Sellars, Inference and Meaning

p. 203-204

Project Euclid

Review: R. M. Martin, Symposium: What is a Rule of Language

Ambrose, Alice

Project Euclid

Review: N. L. Wilson, Symposium: What is a Rule of Language?

Ambrose, Alice

p. 202-203

Project Euclid

Review: Max Black, Frege on Functions

p. 201-202

Project Euclid

Review: Kazuo Matsumoto, Reduction Theorem in Lewis' Sentential Calculi

Project Euclid

Review: A. N. Prior, Diodoran Modalities

Mates, Benson

p. 199-200

Project Euclid

Review: Norman M. Martin, The Sheffer Functions of 3-Valued Logic

Wernick, William

Project Euclid

Review: Nicholas Rescher, Leibniz's Interpretation of his Logical Calculi

Dummett, Michael

p. 197-199

Project Euclid

Review: Robert Stanley, An Extended Procedure in Quantificational Logic

Project Euclid

Review: Sigekatu Kuroda, An Examination of the Foundations of Analysis

Ohnishi, M.

p. 196-197

Project Euclid

Review: Sigekatu Kuroda, Intuition and Consistency in Mathematics; Sigekatu Kuroda, On the Logic of Aristotle and the Logic of Brouwer; Sigekatu Kuroda, Intuitionistische Untersuchungen der Formalistischen Logik

Ohnishi, M.

Project Euclid

Review: D. van Dantzig, Comments on Brouwer's Theorem on Essentially-Negative Predicates

Gilmore, P. C.

Project Euclid

Review: E. W. Beth, On Padoa's Method in the Theory of Definition

Craig, William

p. 194-195

Project Euclid

Review: Juliusz Reichbach, Completeness of the Functional Calculus of First Order

Project Euclid

Review: Jerzy Los, The Algebraic Treatment of the Methodology of Elementary Deductive Systems

p. 193-194

Project Euclid

Review: Seweryna Luszczewska-Romahnowa, An Analysis and Generalization of Venn's Diagrammatic Decision Procedure

Project Euclid

Review: Jerzy Kalinowski, Teoria zdan Normatywnych; Jerzy Kalinowski, Theorie des Propositions Normatives; Jerzy Kalinowski, Teoria Normativnyh Predlozenij

Prior, Arthur N.

p. 191-192

Project Euclid

Review: Jerzy Slupecki, St. Lesniewski's Protothetics

Lejewski, Czeslaw

p. 188-191

Project Euclid

Review: Henryk Greniewski, Elementy Logiki Formalnej

Bendiek, Johannes

Project Euclid

Review: Alfred Tarski, Inleiding tot de Logica en tot de Methodeleer der Deductieve Wetenschappen

Project Euclid

Review: Susanne K. Langer, An Introduction to Symbolic Logic

Project Euclid

Arithmetical Representation of Recursively Enumerable Sets

Robinson, Raphael M.

p. 162-186

Project Euclid

A New Approach to Semantics--Part II

p. 149-161

Project Euclid

On Formulas with Valid Cases

Quine, W. V.

Project Euclid

On the Interpretation of Aristotelian Syllogistic

Shepherdson, J. C.

Montague, Richard ; Henkin, Leon

p. 137-147

Project Euclid

On the Definition of `Formal Deduction'

p. 129-136

Project Euclid

Begrundung Einer Strengen Implikation

Copi, Irving M. ; Wilder, R. L.

p. 113-128

Project Euclid

Nineteenth Meeting of the Association for Symbolic Logic

p. 109-112

Project Euclid

Further Citations

p. 107-108

Project Euclid

Review: Miguel Sanchez-Mazas, Un Intento de Expresion Matematica de la Logica Modal Clasica: El Grupo de Matrices Modales y el Sistema de Coordenadas Modales

p. 106-107

Project Euclid

Review: Miguel Sanchez-Mazas, Las Recientes Investigaciones de Historia de la Logica Antigua: La Escuela de Lukasiewicz

Project Euclid

Review: P. Fevrier-Destouches, Applications des Logiques Modales en Physique Quantique

Project Euclid

Review: Paul Bernays, Zur Beurteilung der Situation in der Beweistheoretischen Forschung

Project Euclid

Review: Miguel Sanchez-Mazas, La Teoria del Silogismo Desarrollada en Forma de Algebra

p. 105-106

Project Euclid

Review: Antonio Millan Puelles, Sobre el Concepto de Existencia en Matematicas; Miguel Sanchez-Mazas, Los Juicios de la Matematica y el Modo de Existencia de sus Objetos

Project Euclid

Review: Miguel Sanchez-Mazas, Notas Preliminares para la Fundamentacion de una Logica Matematica Comprehensiva (I)

Project Euclid

Review: Miguel Sanchez-Mazas, Sobre la Esencia de lo Formal

Project Euclid

Review: Franz E. Hohn, L. Robert Schissler, Boolean Matrices and the Design of Combinational Relay Switching Circuits

p. 104-105

Project Euclid

Review: A. G. Lunc, The Application of Boolean Matrix Algebra to the Analysis and Synthesis of Relay-Contact Networks

Project Euclid

Review: B. I. Aranovic, The Use of Matrix Methods in Problems of the Structural Analysis of Relay- Contact Networks

p. 103-104

Project Euclid

Review: R. Duncan Luce, A Note on Boolean Matrix Theory

p. 102-103

Project Euclid

Review: S. V. Ablonskij, Realization of a Linear Function in the Class of II-Circuits

Project Euclid

Review: G. N. Povarov, On Functional Decomposability of Boolean Functions

Project Euclid

Review: U. T. Medvedev, On Non-Isomorphic Recursively Enumerable Sets

p. 101-102

Project Euclid

Review: A. Janiczak, Some Remarks on Partially Recursive Functions

Peter, Rozsa

Project Euclid

Review: A. Janiczak, On the Reducibility of Decision Problems

Peter, Rozsa

p. 100-101

Project Euclid

Review: J. C. E. Dekker, A Theorem on Hypersimple Sets

Shapiro, Norman

Project Euclid

Review: J. C. E. Dekker, Productive Sets

Shapiro, Norman

p. 99-100

Project Euclid

Review: Th. Skolem, Some Considerations Concerning Recursive Functions

Davis, Martin

p. 98-99

Project Euclid

Review: Th. Skolem, A Remark on a Set Theory Based on Positive Logic

Fitch, Frederic B.

p. 97-98

Project Euclid

Review: Franz von Krbek, Wohlordnung

Fraenkel, Abraham A.

p. 96-97

Project Euclid

Review: Kinjiro Kungui, On the theorem of Skolem-Lowenheim; Arnaud Denjoy, L'Enumeration Transfinie

Rosser, J. Barkley

p. 95-96

Project Euclid

Review: Kiyoshi Ito, Set Theory as Foundation of Mathematics

Project Euclid

Review: Zen Murata, Sets and their Completedness--Relation of the Concepts, Set and Time--

Project Euclid

Review: Zyoiti Suetuna, On the Notion of Totality in Mathematics

Project Euclid

Review: Zyoiti Suetuna, On the Notion of Totality

Project Euclid

Review: Zyoiti Suetuna, On the Notion of the Totality of Natural Numbers

Project Euclid

Review: Zyoiti Suetuna, Uber die Grundlagen der Mathematik. (Dritte Mitteilung)

p. 94-95

Project Euclid

Review: Zyoiti Suetuna, Uber die Grundlagen der Mathematik. (Zweite Mitteilung.)

Project Euclid

Review: Zyoiti Suetuna, Uber die Grundlagen der Mathematik

Project Euclid

Review: P. C. Gilmore, Griss' Criticism of the Intuitionistic Logic and the Theory of Order

Nelson, David

p. 93-94

Project Euclid

Review: P. G. J. Vredenduin, The Logic of Negationless Mathematics

Nelson, David

p. 92-93

Project Euclid

Review: Paul Carl Gilmore, The Effect of Griss' Criticism of the Intuitionistic Logic on Deductive Theories Formalized Within the Intuitionistic Logic

Nelson, David

p. 91-92

Project Euclid

Review: Paul Bernays, Logique et Science

Project Euclid

Review: Hans Freudenthal, Meaningful Interpretations in Formal Logic

Project Euclid

Review: A. Heyting, G. F. C. Griss and his Negationaless Intuitionistic Mathematics

Project Euclid

Review: R. M. Martin, On Non-Translational Semantics

Berry, George D. W.

p. 90-91

Project Euclid

Review: R. M. Martin, On Truth and Multiple Denotation

Berry, George D. W.

p. 89-90

Project Euclid

Review: Karl Durr, Lehrbuch der Logistik

p. 88-89

Project Euclid

Review: Jerzy Slupecki, Uber die Regeln des Aussagenkalkuls

p. 87-88

Project Euclid

Review: Juliusz Reichbach, Uber den auf Alternative und Negation Aufgebauten Aussagenkalkul

Project Euclid

Review: Wolfram Schwabhauser, Zur Definition des Geordneten Paares im Einstelligen Stufenkalkul

Craig, William

Project Euclid

Review: Gunter Asser, Die Endlichwertigen Lukasiewiczschen Aussagenkalkule

Turquette, A. R.

Project Euclid

Review: Roderick M. Chisholm, Law Statements and Counterfactual Inference

p. 86-87

Project Euclid

[Omnibus Review]

p. 85-86

Project Euclid

Review: Beryl Lake, Necessary and Contingent Statements; Peter G. Winch, Necessary and Contingent Truths

Project Euclid

Review: Friedrich Waismann, Analytic--Synthetic

p. 84-85

Project Euclid

Review: Yehoshua Bar-Hillel, Mr. Weiss on the Paradox of Necessary Truth

Project Euclid

Review: Paul Weiss, The Paradox of Necessary Truth

Project Euclid

Review: S. Korner, Truth as a Predicate

Turquette, A. R.

Project Euclid

Review: L. J. Cohen, A. C. Lloyd, Assertion-Statements

p. 82-83

Project Euclid

Review: Carl G. Hempel, Nelson Goodman, Philosophy and Analysis

Robinson, Richard E.

p. 78-82

Project Euclid

Review: Willard V. Quine, Notes on Existence and Necessity

p. 77-78

Project Euclid

Review: Alfred Tarski, The Semantic Conception of Truth and the Foundations of Semantics; C. I. Lewis, The Modes of Meaning; Nelson Goodman, On Likeness of Meaning

p. 76-77

Project Euclid

Review: Leonard Linsky, Sematics and the Philosophy of language

Project Euclid

Formal Systems of Constructive Mathematics

Lob, M. H.

p. 63-75

Project Euclid

Modality and Quantification in S5

Prior, A. N.

p. 60-62

Project Euclid

Reduction to a Symmetric Predicate

Cobham, Alan

p. 56-59

Project Euclid

Another Variant of Natural Deduction

Copi, Irving M.

p. 52-55

Project Euclid

Solution of a Problem of Tarski

Myhill, John

p. 49-51

Project Euclid

On the Axiom of Extensionality--Part I

Gandy, R. O.

p. 36-48

Project Euclid

Note on a Problem of L. Henkin

Robinson, Abraham

p. 33-35

Project Euclid

Two Concepts From the Theory of Models

p. 28-32

Project Euclid

A New Approach to Semantics--Part I