J. Symbolic Logic, Tome 24 (1959) no. 1

p. 225-226

Project Euclid

Review: Paul Bernays, Axiomatic Set Theory

Mendelson, Elliott

p. 224-225

Project Euclid

Review: Heinz Bachmann, Transfinite Zahlen

Addison, J. W.

p. 223-224

Project Euclid

Review: Karl Menger, Calculus, a Modern Approach

Orey, Steven

p. 222-223

Project Euclid

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

Skolem, Th.

Project Euclid

Review: John G. Kemeny, Hazleton Mirkill, J. Laurie Snell, Gerald L. Thompson, Finite Mathematical Structures

Borgers, Alfons

p. 221-222

Project Euclid

Review: Edith Watson Schipper, Edward Schuh, A First Course in Modern Logic

Leblanc, Hugues

p. 220-221

Project Euclid

Review: I. M. Bochenski, Grundriss der Logistik

Project Euclid

Review: Willard Van Orman Quine, Methods of Logic

Smullyan, Raymond M.

p. 219-220

Project Euclid

Review: R. M. Martin, Truth & Denotation. A Study in Semantical Theory

Montague, Richard

p. 217-219

Project Euclid

Review: William C. Schutz, FIRO, A Three-Dimensional Theory of Interpersonal Behavior

p. 216-217

Project Euclid

Review: Robert Edouard Moritz, On Mathematics and Mathematicians

Project Euclid

Review: Dagobert D. Runes, Pictorial History of Philosophy

Project Euclid

Review: A. Korcik, Les Lois Principales du Raisonnement et les Relations Entre Elles

Thomas, Ivo

Project Euclid

Review: Antoni Korcik, Contribution to the History of the Classic Theory of Opposition of Assertoric Propositions

Thomas, Ivo

p. 215-216

Project Euclid

Review: Antoni Korcik, Couturat's Method of Solving the Problem of Leibniz Concerning the Number of Subjects and Predicates in a Proposition

Czezowski, Tadeusz

Project Euclid

Review: Antoni Korcik, Leibniz's Method of Interpreting Aristotelian Logic

Czezowski, Tadeusz

Project Euclid

Review: A. Korcik, B. Bolzano's Notion of Inference

Poznanski, Edward

p. 214-215

Project Euclid

Review: Gustav Bergmann, Intentionality

Rossi-Landi, Ferruccio

p. 213-214

Project Euclid

Review: Ugo Cassina, Storia ed Analisi del "Formulario Completo" di Peano

Rossi-Landi, Ferruccio

p. 212-213

Project Euclid

Review: Ferruccio Rossi-Landi, Materiale per lo Studio di Vailati

Parisi, Domenico

Project Euclid

Review: Max H. Fisch, Daniel C. Haskell, Appendix V. Some Additions to Morris R. Cohen's Bibliography of Peirce's Published Writings

Review: Max H. Fisch, Jackson I. Cope, Peirce at the Johns Hopkins University; Max H. Fisch, Jackson I. Cope, Appendix III. Peirce's Courses at the Johns Hopkins University; Max H. Fisch, Jackson I. Cope, Appendix IV. The Metaphysical Club at the Johns Hopkins University

p. 211-212

Project Euclid

Project Euclid

Review: Frederic Harold Young, Charles Sanders Peirce: 1839-1914

Project Euclid

Review: George D. W. Berry, Philip P. Wiener, Frederic H. Young, Peirce's Contribution to the Logic of Statements and Quantifiers

p. 209-211

Project Euclid

Review: A. E. Heath, Studies in Logic and Probability

Dummett, Michael

p. 203-209

Project Euclid

Extendible Sentential Calculus

Hiz, H.

p. 193-202

Project Euclid

Further Citations

p. 189-192

Project Euclid

Review: Iu. I. Zhuravlev, On the Separability of Subsets of the Vertices of an n-Dimensional Unit Cube

Jeffrey, Richard C.

p. 188-189

Project Euclid

Review: G. N. Povarov, Concerning the Method of Analysis of Symmetrical Contact Circuits

Pawlak, Zdzislaw

Project Euclid

Review: G. C. Moisil, Sur la Theorie Algebrique des Mecanismes Automatiques: Synthese des Schemas a Relais Polarises

Project Euclid

Review: Gr. C. Moisil, Sur un Theoreme d'Existence dans la Theorie Algebrique des Mecanismes Automatiques Discrets

Project Euclid

Review: P. Naslin, Circuits a Relais et Automatismes a Sequences; Pierre Naslin, Introduction a L'Etude des Automatismes a Sequences

Martin, Norman M.

p. 187-188

Project Euclid

Review: J. C. H. Gerretsen, The Number Concept

Borgers, Alfons

Project Euclid

Review: J. C. H. Gerretsen, Mathematical Logic. Axiomatic Theory and Method

Borgers, Alfons

Project Euclid

Review: Joseph Gerard Brennan, A Handbook of Logic

Fitch, Frederic B.

Project Euclid

Review: Daya, Symmetry, Transitivity and Reflexivity; S. Bhattacharyya, Symmetry, Transitivity and Reflexivity

Hailperin, Theodore

p. 185-186

Project Euclid

Review: Albert E. Avey, Recent Schools of Logic; Gustav Bergmann, Logical Positivism; Gustav Bergmann, Semantics

Turquette, Atwell R.

p. 184-185

Project Euclid

Review: Herbert Hochberg, The Ontological Operator; Richard L. Cartwright, Comments on Dr. Hochberg's Paper; Herbert Hochberg, Professor Quine, Pegasus, and Dr. Cartwright

p. 183-184

Project Euclid

Review: Gustav Bergmann, Logical Atomism, Elementarism, and the Analysis of Value

Project Euclid

Review: Karel Lambert, On Naming and Claiming

Kaminsky, Jack

p. 182-183

Project Euclid

Review: Paul Diderichsen, Semantic Problems in Logic and Linguistics

Wedberg, Anders

p. 181-182

Project Euclid

Review: Arthur Pap, Necessary Propositions and Linguistic Rules; Arthur Pap, Proposizioni Necessarie e Regole Linguistiche

Martin, R. M.

Project Euclid

Review: Nicholas Rescher, Nicholas Rescher, An Axiom System for Deontic Logic

p. 180-181

Project Euclid

Review: Jaakko Hintikka, Necessity, Universality, and Time in Aristotle

Project Euclid

Review: Jaakko Hintikka, Modality as Referential Multiplicity

Project Euclid

Review: K. Jaakko, J. Hintikka, Quantifiers in Deontic Logic

p. 178-179

Project Euclid

Review: Alan Ross Anderson, Omar Khayyam Moore, The Formal Analysis of Normative Concepts; Alan Ross Anderson, A Reduction of Deontic Logic to Alethic Modal Logic; Alan Ross Anderson, The Logic of Norms

p. 177-178

Project Euclid

Review: Alan Rose, A Single Axiom for a Partial System of the Propositional Calculus

Project Euclid

Review: J. Ridder, Formalistische Betrachtungen Uber Intuitionistische und Verwandte Logische Systeme

Schmidt, H. Arnold

p. 175-176

Project Euclid

Review: Paul Lorenzen, Zur Begrundung der Zweiwertigen Aussagenlogik

Schmidt, H. Arnold

Project Euclid

Review: Paul Lorenzen, Zur Begrundung der Modallogik

Schmidt, H. Arnold

p. 174-175

Project Euclid

Review: Laszlo Kalmar, Recent Results Concerning the Foundations of Mathematics; Alfred Renyi, Gyorgy Alexits, Janos Aczel, Remarks Concerning the Lecture of Laszlo Kalmar; Laszlo Kalmar, Laszlo Kalmar's Reply

Kemeny, John G.

Project Euclid

Review: Laszlo Kalmar, A Direct Proof of the Unsolvability of the Decision Problem by Means of a General Recursive Algorithm

Kemeny, John G.

p. 173-174

Project Euclid

Review: Jean Porte, La Methode Formelle en Mathematique

Orey, Steven

Project Euclid

Review: Leon Henkin, A Generalization of the Concept of $\omega$-Completeness

Tait, William W.

p. 172-173

Project Euclid

Review: Azriel Levy, A Note on Definitions of Finiteness

Mostowski, Andrzej

Project Euclid

Review: G. Hasenjaeger, On Definability and Derivability

Frayne, Thomas

p. 171-172

Project Euclid

Review: Richard Friedberg, Un Contre-Exemple Relatif aux Fonctionnelles Recursives

Pour-El, Marian Boykan

Project Euclid

Review: Raphael M. Robinson, Arithmetical Representation of Recursively Enumerable Sets

Putnam, Hilary

p. 170-171

Project Euclid

Review: A. Frohlich, J. C. Shepherdson, On the Factorisation of Polynomials in a Finite Number of Steps; A. Frohlich, J. C. Shepherdson, Effective Procedures in Field Theory

Rabin, Michael O.

p. 169-170

Project Euclid

Review: Alfred Tarski, Undecidable Theories

Davis, Martin

p. 167-169

Project Euclid

On Ackermann's Set Theory

Levy, Azriel

p. 154-166

Project Euclid

On Logics Intermediate between Intuitionistic and Classical Predicate Logic

Umezawa, Toshio

p. 141-153

Project Euclid

Der Pradikatenkalkul mit Limitierten Variablen Grundlegung Einer Naturlichen Exakten Logik

Behmann, Heinrich

Anderson, Alan Ross ; Belnap, Nuel D.

p. 112-140

Project Euclid

Modalities in Ackermann's "Rigorous Implication"

p. 107-111

Project Euclid

A Propositional Calculus with Denumerable Matrix

Dummett, Michael

p. 97-106

Project Euclid

Further Citations

p. 93-96

Project Euclid

Review: Charles W. Morris, Fundamentos de la Teoria de los Signos

Mora, Jose Ferrater

p. 92-93

Project Euclid

Review: Arthur Pap, Once more: Colors and the Synthetic a Priori; Hilary Putnam, Red and Green all over Again: A Rejoinder to Arthur Pap; Peter Glassen, Reds, Greens, and the Synthetic a Priori

Watling, John

p. 91-92

Project Euclid

Review: Alice Ambrose, Linguistic Approaches to Philosophical Problems; Roderick M. Chisholm, Comments on the "Proposal Theory" of Philosophy

Baylis, Charles A.

Project Euclid

[Omnibus Review]

Clark, Romane

p. 89-91

Project Euclid

Review: Hector Neri Castaneda, Are Conditionals Principles of Inference?

p. 88-89

Project Euclid

Review: Hector Neri Castaneda, A Theory of Morality

Project Euclid

Review: Hector Neri Castaneda, A Note on Imperative Logic

p. 87-88

Project Euclid

Review: Hector Neri Castaneda, Nota Sobre la Logica de los Fines y Medios

Stahl, Gerold

Project Euclid

Review: Ulrich Klug, Juristische Logik

Muller, Gert Heinz

Project Euclid

Review: Walter A. Coole, Do we need a Logic Course for Freshmen?

Bausch, A. F.

p. 86-87

Project Euclid

[Omnibus Review]

Project Euclid

Review: Omar Khayyam Moore, Nominal Definitions of `Culture.'; T. Foster Lindley, Moore's Nominal Definitions of `Culture.'; Omar Khayyam Moore, Dr. Lindley and "Nominal Definitions of `Culture'

p. 85-86

Project Euclid

Review: Omar K. Moore, Donald J. Lewis, Learning Theory and Culture

Project Euclid

Review: Andrew H. Bachhuber, Introduction to Logic

p. 83-84

Project Euclid

Review: Francis C. Wade, John of St. Thomas, Outline of Formal Logic

p. 81-83

Project Euclid

Review: A. Korcik, Verification of Aristotle's Theory of Syllogism by Means of Gergonne's Method

Faris, J. A.

Project Euclid

Review: Paul Lorenzen, Uber die Syllogismen als Relationenmultiplikationen

Hartig, Klaus

p. 80-81

Project Euclid

Review: Jurgen V. Kempski, Relationen- und Pradikatenlogische Untersuchungen zur Syllogistik

Hartig, Klaus

p. 79-80

Project Euclid

Review: Martin Gardner, Logic Machines and Diagrams

Mays, W.

p. 78-79

Project Euclid

Review: W. L. Van Der Poel, Some Selected Topics on Switching Algebra

Project Euclid

Review: Edward F. Moore, Table of Four-Relay Contact Networks

Seshu, S.

Project Euclid

Review: Rene A. Higonnet, Rene A. Grea, Logical Design of Electrical Circuits

Seshu, S.

p. 77-78

Project Euclid

Review: V. M. Ostianu, On the Synthesis of Switching Circuits with Selector Switches

p. 76-77

Project Euclid

Review: O. B. Lupanov, On the Possibilities of Designing Circuits out of Various Elements; O. B. Lupanov, On the Synthesis of Contact Circuits; O. B. Lupanov, On the Synthesis of Contact Networks

Project Euclid

Review: S. V. Ablonskij, On Classes of Functions of the Algebra of Logic Admitting a Simple Network Realization

p. 75-76

Project Euclid

Review: A. I. Mekler, Transient Process in Relay-Contact Circuits

Pawlak, Zdzislaw

p. 74-75

Project Euclid

Review: Gene W. Arant, A Time-Sequential Tabular Analysis of Flip-Flop Logical Operation

Project Euclid

Review: Gr. C. Moisil, Sur la Theorie Algebrique de Certains Circuits Electriques

Project Euclid

Review: Makoto Itoh, Fundamental Equation for Sequential Switching Circuits

Ono, Katuzi

Project Euclid

Review: Makoto Itoh, On the Boolean Equation with many Variables and the Extended Poretsky Formula

Ono, Katuzi

Project Euclid

Review: Makoto Itoh, On the General Topological Boolean Lattice

Ono, Katuzi

p. 73-74

Project Euclid

Review: Setsuya Seki, Introduction to set Theory

Takeuti, Gaisi

Project Euclid

Review: Setsuya Seki, Foundations of Mathematics

Takeuti, Gaisi

Project Euclid

Review: N. Bourbaki, Theorie des Ensembles

p. 71-73

Project Euclid

Review: Robert Blanche, Introduction a la Logique Contemporaine

Heijenoort, John Van

Project Euclid

Review: Jean Chauvineau, La Logique Moderne

Fischer, F. H.

p. 70-71

Project Euclid

Index of Reviews

p. 345-374

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

p. 327-344

Project Euclid

Twenty-Fourth Annual Meeting of the Association for Symbolic Logic

p. 312-326

Project Euclid

Enumeration of Recursive Sets

Suzuki, Yoshindo

Project Euclid

Horn Sentences in Identity Theory

Appel, K. I.

p. 306-310

Project Euclid

Axioms for the "Gergonne"-Relations

Thomas, Ivo ; Orth, Don

Project Euclid

On the Construction of Venn Diagrams

More, Trenchard

Anderson, Alan Ross ; Belnap, Nuel D.

p. 303-304

Project Euclid

A Simple Treatment of Truth Functions

p. 301-302

Project Euclid

On the Axiom of Extensionality, Part II

p. 287-300

Project Euclid

Summer Meeting of the Association for Symbolic Logic

p. 281-286

Project Euclid

Further Citations

p. 273-280

Project Euclid

Review: Newton Costa, Leo Barsotti, Kurt Godel e os Problemas da Matematica Atual

Project Euclid

Review: Newton Carneiro Affonso da Costa, Consideracoes Sobre o Calculo de Heyting

Project Euclid

Review: Leonidas H. B. Hegenberg, Tabela das Propriedades do Simbolo $\vdash$ ("Acarreta")

Project Euclid

Review: Newton Carneiro Affonso da Costa, O Estado Atual da Filosofia da Matematica; Newton Carneiro Affonso da Costa, Sobre a Teoria Logica da Linguagem

p. 272-273

Project Euclid

Review: Rudolf Carnap, Wolfgang Stegmuller, Induktive Logik und Wahrscheinlichkeit

Hempel, Carl G.

Project Euclid

Review: J. J. C. Smart, Incompatible Colors

Watling, J.

p. 271-272

Project Euclid

Review: Zbigniew Czerwinski, On the Paradox of Implication

Lejewski, Czeslaw

Project Euclid

Review: Tadeusz Kubinski, Vague Terms

Lejewski, Czeslaw

p. 270-271

Project Euclid

Review: W. Stegmuller, Sprache und Logik

Gotlind, Erik

p. 269-270

Project Euclid

Review: H. D. Dubarle, La Logique Symbolique d'Inspiration Nominaliste et sa Signification Philosophique

Gotlind, Erik

Project Euclid

Review: W. V. Quine, Speaking of Objects

Gotlind, Erik

p. 268-269

Project Euclid

Review: Beverly Robbins, Ontology and the Hierarchy of Languages

Project Euclid

Review: Israel Scheffler, Inscriptionalism and Indirect Quotation

Stegmuller, W.

Project Euclid

Review: Alonzo Church, Symposium: Ontological Commitment

Stegmuller, W.

p. 266-267

Project Euclid

Review: G. P. Henderson, On a Certain use of Quotation Marks

Thomson, J. F.

Project Euclid

Review: Nicholas Rescher, Some Comments on Two-Valued Logic; Niels E. Christensen, Further Comments on Two-valued Logic

Thompson, J. F.

Project Euclid

Review: E. M. Adams, Hall's Analysis of "Ought."; Everett W. Hall, Existential Normatives

Clark, Romane

p. 265-266

Project Euclid

Review: P. T. Geach, Imperative and Deontic Logic; Hector Neri Castaneda, Imperatives and Deontic Logic

p. 264-265

Project Euclid

Review: Soren Hallden, What is a Word?; Erik Gotlind, Some Remarks on Hallden's Paper "What is a Word?"

Project Euclid

Review: Holger Steen Sorensen, Word-Classes in Modern English

p. 263-264

Project Euclid

Review: Holger Steen Sorensen, An Analysis of "To Be" and "To Be True": A Linguist's Approach to the Problem

Project Euclid

Review: Yehoshua Bar-Hillel, Husserl's Conception of a Purely Logical Grammar

p. 261-262

Project Euclid

Review: Y. Bar-Hillel, Decision Procedures for Structure in Natural Languages

Meredith, David

Project Euclid

Review: Roderick Gould, A Note on Contact Networks for Switching Functions of Four Variables

Project Euclid

Review: Claude Cardot, Quelques Resultats sur L'Application de l'Algebre de Boole a la Synthese des Circuits a Relais

p. 260-261

Project Euclid

Review: Frederick C. Hennie, Analysis of Bilateral Iterative Networks

p. 259-260

Project Euclid

Review: V. I. Sestakov, Punched Cards Synthesis Method of Switching Systems; V. I. Shestakov, A Punched Card Method for Synthesizing Relay Systems

Project Euclid

Review: M. A. Gavrilov, V. A. Hvoscuk, Metod Casticnoj Inversii v Relejnyh Shemah; M. A. Gavrilov, V. A. Kvoshchuk, Partial Inversion Method of Relay Circuits

p. 258-259

Project Euclid

Review: P. P. Parhomenko, Switching Circuit Machine Analysis

Project Euclid

Review: B. I. Rameev, U. A. Srejder, Analysis and Synthesis of Some Discrete Contactless Circuits

p. 257-258

Project Euclid

Review: G. Ioanin, Synthesis of Systems with Step Selectors

Project Euclid

Review: Marek Greniewski, Utilisation des Logiques Trivalentes dans la Theorie des Mecanismes Automatiques. I. Realisation des Fonc;tions Fondamentales par des Circuits

Grosswald, Emil

Project Euclid

Review: John W. Carr., Languages, Logic, Learning, and Computers

p. 256-257

Project Euclid

Review: Marcel Boll, La Logique Dite Propositionnelle et la Commutation

Hailperin, Theodore

Project Euclid

Review: H. Freudenthal, Logique Mathematique Appliquee

Renno, James G.

Project Euclid

Review: Alan Rose, Sur les Elements Universels de Decision

McNaughton, Robert

Project Euclid

Review: N. A. Routledge, Logic on Electronic Computers: A Practical Method for Reducing Expressions to Conjunctive Normal Form

McNaughton, Robert

Project Euclid

Review: L. K. Durst, On Certain Subsets of Finite Boolean Algebras

Project Euclid

Review: Shreeram Abhyankar, Absolute Minimal Expressions of Boolean Functions

McCluskey, E. J.

Project Euclid

Review: Shreeram Abhyankar, Minimal "Sum of Products of Sums" Expressions of Boolean Functions

McCluskey, E. J.

p. 254-255

Project Euclid

Review: Fritz Klein-Barmen, Zur Theorie der Strukturen und Algebren

Aubert, K. E.

Project Euclid

Review: Arthur H. Copeland, Frank Harary, The Extension of an Arbitrary Boolean Algebra to an Implicative Boolean Algebra

Aubert, K. E.

Project Euclid

Review: Katuzi Ono, On Some Properties of Binary Relations

Aubert, K. E.

p. 253-254

Project Euclid

Review: Chandler Davis, Modal Operators, Equivalence Relations, and Projective Algebras

Fuhrken, Gebhard

Project Euclid

Review: Oscar Varsavsky, Quantifiers and Equivalence Relations

Halmos, Paul R.

p. 252-253

Project Euclid

Review: Paul R. Halmos, Algebraic Logic IV. Equality in Polyadic Algebras

Fraisse, Roland

Project Euclid

Review: R. S. Pierce, A Note on Complete Boolean Algebras

Chang, C. C.

p. 251-252

Project Euclid

Review: R. S. Pierce, Distributivity and the Normal Completion of Boolean Algebras

Chang, C. C.

Project Euclid

Review: William Hanf, On Some Fundamental Problems Concerning Isomorphism of Boolean Algebras

Gericke, H.

Project Euclid

Review: Toshio Umezawa, On Intermediate Many-valued Logics

Ackermann, W.

Project Euclid

Review: Alan Rose, Sur les Definitions de L'Implication et de la Negation dans Certains Systemes de Logique dont les Valeurs Forment des Treillis

Project Euclid

Review: Kazuo Matsumoto, On a Lattice Relating to Intuitionistic Logic

Fitch, Frederic B.

Project Euclid

Review: Trevor Evans, P. B. Schwartz, On Slupecki T-Functions

Rose, Alan

p. 249-250

Project Euclid

Review: Alan Rose, J. Barkley Rosser, Fragments of Many-valued Statement Calculi

Turquette, Atwell R.

p. 248-249

Project Euclid

Review: Jens Erik Fenstad, Notes on Normative Logic

p. 247-248

Project Euclid

Review: J. Porte, Deux Systems Simples Pour le Calcul des Propositions

Project Euclid

Review: Czeslaw Lejewski, On Implicational Definitions

p. 246-247

Project Euclid

Review: H. Hiz, A Warning about Translating Axioms

L'Abbe, Maurice

Project Euclid

Review: R. L. Goodstein, Logic-free Formalisations of Recursive Arithmetic

Peter, Rozsa

p. 245-246

Project Euclid

Review: A. H. Lightstone, A. Robinson, Syntactical Transforms

Vaught, Robert L.

p. 244-245

Project Euclid

Review: William Craig, Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem; William Craig, Three uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory

Dreben, Burton

p. 243-244

Project Euclid

Review: Juliusz Reichbach, Some Definition of the Proper Prime Ideal

Frayne, Thomas

Project Euclid

Review: Ludwik Borkowski, Systems of the Propositional and of the Functional Calculus Based on One Primitive Term

p. 242-243

Project Euclid

Review: W. V. Quine, Interpretations of Sets of Conditions

Bernays, Paul

Project Euclid

Review: Joyce Friedman, Some Results in Church's Restricted Recursive Arithmetic

McNaughton, Robert

p. 241-242

Project Euclid

Review: Thomas Eichholz, Semantische Untersuchungen zur Entscheidbarkeit im Pradikatenkalkul mit Funktionsvariablen

Reichbach, J.

Project Euclid

Review: Andrzej Mostowski, Concerning a Problem of H. Scholz

Ackermann, W.

Project Euclid

Review: Gerold Stahl, Les Univers du Discours et les Calculs Correspondants

Porte, J.

Project Euclid

Review: Jacques Riguet, Le Calcul des Relations en Tant Qu'outil Methodologique

Project Euclid

Review: Frederic B. Fitch, Self-Referential Relations

Project Euclid

Review: Jean Porte, Systemes de Post, Algorithmes de Markov

p. 239-240

Project Euclid

Review: William W. Boone, An Analysis of Turing's "The Word Problem in Semi-groups with Cancellation

Project Euclid

Review: J. R. Shoenfield, The Class of Recursive Functions

Axt, Paul

p. 238-239

Project Euclid

Review: P. C. Rosenbloom, Konstruktive Aquivalente fur Satze aus der Klassischen Analysis

Muller, Gert H.

Project Euclid

[Omnibus Review]

Craig, William

p. 236-238

Project Euclid

Review: L. Nolin, Sur L'algebre des Predicats; A. Mostowski, J. Porte, A. Tarski, J. Riguet, Interventions

Henkin, Leon

Project Euclid

Review: Andrzej Mostowski, Quelques Observations sur l'Usage des Methodes non Finitistes dans la Meta- Mathematiques

Henkin, Leon

p. 234-235

Project Euclid

Review: N. I. Stazkin, On Logical Paradoxes and Their Relation to Dialectical Contradictions

Kline, George L.

Review: A. A. Zinov'ev, Rasirat tematiku logiceskih issledovanij (Broaden the subject matter of logical investigations); A. A. Zinov'ev, Rabote seminara po logike v Institute Filosofii AN SSSR(On the Work of the Seminar on Logic in the Institute of Philosophy of the Academy of Sciences of the USSR

Project Euclid

Comey, David D. ; Kline, George L.

p. 232-233

Project Euclid

Review: D. G. Lahuti, N. I. Stazkin, Various Views of Contemporary Mathematical Logic

Kline, George L.

Project Euclid

Review: Newton Carneiro Affonso da Costa, A Natureza dos Juizos Matematicos

p. 231-232

Project Euclid

Review: Marc Krasner, Theorie de la Definition

Kreisel, G.

p. 230-231

Project Euclid

Review: Daniel Lacombe, Roger Apery, Maurice Frechet, Daniel Lacombe, Andre Lalande, Jean Porte, Jean Ullmo, Maurice Frechet, Les Idees Actuelles sur la Structure des Mathematiques; Daniel Lacombe, Expose Complementaire sur le Theoreme de Godel

Rosser, J. Barkley

p. 228-229

Project Euclid

Review: Raymond M. Smullyan, Languages in Which Self Reference is Possible

Shoenfield, J. R.

Project Euclid

Review: Robert Blanche, Sur la Structuration du Tableau des Connectifs Interpropositionnels Binaries

van Heijenoort, John

Project Euclid

Review: Vaclav Edvard Benes, On the Consistency of an Axiom of Enumerability

Shoenfield, J. R.

p. 227-228

Project Euclid

Review: Katuzi Ono, A Set Theory Founded on Unique Generating Principle

Fraenkel, Abraham A.

Project Euclid

Review: Ernst Specker, Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom)

Orey, Steven

p. 226-227

Project Euclid

Review: J. Porte, La Logique Mathematique et le Calcul Mecanique

Project Euclid

Review: Hartley Rogers, Theory of Recursive Functions and Effective Computability

Spector, Clifford

Project Euclid

Review: N. A. Routledge, Concerning Definable Sets

Spector, Clifford

Project Euclid

Review: N. A. Routledge, Ordinal Recursion

Spector, Clifford

Project Euclid

Review: Th. Skolem, A Version of the Proof of Equivalence Between Complete Induction and the Uniqueness of Primitive Recursion

Peter, Rozsa

Project Euclid

Review: J. Porte, Une Propriete du Calcul Propositionnel Intuitionniste

Robinson, T. Thacher

p. 68-69

Project Euclid

Review: Trevor Evans, Lane Hardy, Sheffer Stroke Functions in Many-Valued Logics

Martin, Norman M.

p. 67-68

Project Euclid

Review: Gaisi Takeuti, On the Theory of Ordinal Numbers

Project Euclid

Review: Gaisi Takeuti, On the Theory of Ordinal Numbers

Project Euclid

Review: Gaisi Takeuti, Construction of the Set Theory from the Theory of Ordinal Numbers

p. 66-67

Project Euclid

Review: Gaisi Takeuti, Remark on my Paper: On Skolem's Theorem

Project Euclid

Review: Gaisi Takeuti, On Skolem's Theorem

Project Euclid

Review: Gaisi Takeuti, A Metamathematical Theorem on Functions

p. 65-66

Project Euclid

Review: Gaisi Takeuti, On the Formal Theory of the Ordinal Diagrams

Project Euclid

Review: Gaisi Takeuti, Ordinal Diagrams

p. 64-65

Project Euclid

Review: Takakazu Shimauti, Proof of a Special Case of the Fundamental Conjecture of Takeuti's GLC

Project Euclid

Review: Gaisi Takeuti, On the Fundamental Conjecture of GLC

p. 62-64

Project Euclid

Review: Gaisi Takeuti, A Metamathematical Theorem on the Theory of Ordinal Numbers

Project Euclid

Review: Juliusz Reichbach, On the First-Order Functional Calculus and the Truncation of Models

Fuhrken, Gebhard

Project Euclid

Review: R. S. Pierce, Distributivity in Boolean Algebras

Chang, Chen Chung

Project Euclid

Review: Dana Scott, The Independence of Certain Distributive Laws in Boolean Algebras

Chang, Chen Chung

p. 60-61

Project Euclid

Review: E. C. Smith, Alfred Tarski, Higher Degrees of Distributivity and Completeness in Boolean Algebras

Chang, Chen Chung

p. 59-60

Project Euclid

Review: W. Szmielew, Elementary Properties of Abelian Groups

Project Euclid

Review: Robert L. Vaught, Remarks on Universal Classes of Relational Systems

p. 58-59

Project Euclid

Review: Leon Henkin, On a Theorem of Vaught

Project Euclid

Review: Robert L. Vaught, Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability

Project Euclid

Review: A. I. Mal'cev, Subdirect Products of Models

Mostowski, Andrzej

p. 57-58

Project Euclid

Review: A. I. Mal'cev, Quasi-Primitive Classes of Abstract Algebras

Mostowski, Andrzej

Henkin, Leon ; Mostowski, Andrzej

Project Euclid

Review: A. Mal'cev, On a General Method for Obtaining Local Theorems in Group Theory

p. 55-57

Project Euclid

Review: N. A. Sanin, Einige Fragen der Analysis im Lichte der Konstruktiven Logik

Lacombe, Daniel

Project Euclid

Review: Daniel Lacombe, Quelques Proprietes d'Analyse Recursive

p. 53-54

Project Euclid

Review: Daniel Lacombe, Les Ensembles Recursivement Ouverts ou Fermes, et Leurs Applications a L'Analyse Recursive

Project Euclid

Review: Daniel Lacombe, Extension de la Notion de Fonction Recursive aux Fonctions d'une ou Plusieurs Variables Reelles; Daniel Lacombe, Remarques sur les Operateurs Recursifs et sur les Fonctions Recursives

Project Euclid

Review: Daniel Lacombe, Classes Recursivement Fermees et Fonctions Majorantes

p. 52-53

Project Euclid

Review: Richard M. Friedberg, 4-Quantifier Completeness: A Banach-Mazur Functional not Uniformly Partial Recursive

Project Euclid

Review: S. C. Kleene, A Note on Computable Functionals

Kreisel, G.

p. 51-52

Project Euclid

Review: A. Grzegorczyk, Computable Functionals

Kreisel, G.

p. 50-51

Project Euclid

Constructive Definition of Certain Analytic Sets of Numbers

Lorenzen, P. ; Myhill, J.

p. 37-49

Project Euclid

On Intermediate Propositional Logics

Umezawa, Toshio

p. 20-36

Project Euclid

The Problem of Simplifying Logical Expressions

Dunham, B. ; Fridshal, R.

p. 17-19

Project Euclid

A Counterexample to a Conjecture of Scott and Suppes

Tait, W. W.

p. 15-16

Project Euclid

A Completeness Theorem in Modal Logic

Kripke, Saul A.