% Reviews by Bernays in JSL from JSTOR
% 8/7/01

@Article{re:Bernays36a,
  author = {Paul Bernays},
  title = {{Review of: A Reinterpretation of Sch\"onfinkel's Logical Operators.
     W. V. Quine}},
journal= JSL,
volume = 1,
number = 1,
month = {Mar},
year = 1936,
pages = {42-43}
}


@Article{re:Bernays36b,
  author = {Paul Bernays},
  title = {{Review of: Review of Saarnio's Untersuchungen zur Symbolischen
Logik I, Kritik des Nominalismus und Grundlegung der
Logistischen Zeichentheorie (Symbologie)
     G. Mannoury
Le Congres International de Philosophie (du 15 au 23 septembre 1935).
     Albert Lautman
Beitrage zum Entscheidungsproblem der mathematischen
Logik.
     Wilhelm Ackermann}},
journal= JSL,
volume = 1,
number = 1,
month = {Mar},
year = 1936,
pages = {43-44}
}


@Article{re:Bernays36c,
  author = {Paul Bernays},
  title = {{Review of: On the Independence of Hilbert and Ackermann's
Postulates for the Calculus of Propositional Functions.
     J. C. C. McKinsey}},
journal= JSL,
volume = 1,
number = 2,
month = {Jun},
year = 1936,
pages = {64-65}
}


@Article{re:Bernays36d,
  author = {Paul Bernays},
  title = {{Review of: An Unsolvable Problem of Elementary Number Theory.
     Alonzo Church}},
journal= JSL,
volume = 1,
number = 2,
month = {Jun},
year = 1936,
pages = {73-74}
}


@Article{re:Bernays36e,
  author = {Paul Bernays},
  title = {{Review of: A Note on the Entscheidungs-Problem.
     Alonzo Church}},
journal= JSL,
volume = 1,
number = 2,
month = {Jun},
year = 1936,
pages = {74}
}


@Article{re:Bernays36f,
  author = {Paul Bernays},
  title = {{Review of: Some Properties of Conversion.
     Alonzo Church, J. B. Rosser}},
journal= JSL,
volume = 1,
number = 2,
month = {Jun},
year = 1936,
pages = {74-75}
}


@Article{re:Bernays36g,
  author = {Paul Bernays},
  title = {{Review of: Die Widerspruchsfreiheit der reinen Zahlentheorie.
     Gerhard Gentzen}},
journal= JSL,
volume = 1,
number = 2,
month = {Jun},
year = 1936,
pages = {75}
}


@Article{re:Bernays37a,
  author = {Paul Bernays},
  title = {{Review of: Set-Theoretic Foundations for Logic.
     W. V. Quine}},
journal= JSL,
volume = 2,
number = 1,
month = {Mar},
year = 1937,
pages = {51-52}
}


@Article{re:Bernays37b,
  author = {Paul Bernays},
  title = {{Review of: Extensions of some Theorems of G\"odel and Church.
     Barkley Rosser}},
journal= JSL,
volume = 2,
number = 1,
month = {Mar},
year = 1937,
pages = {52-53}
}


@Article{re:Bernays37c,
  author = {Paul Bernays},
  title = {{Review of: Beitrage zur Reduktionstheorie des logischen
Entscheidungsproblems.
     Jozef Pepis}},
journal= JSL,
volume = 2,
number = 2,
month = {Jun},
year = 1937,
pages = {84-85}
}


@Article{re:Bernays37d,
  author = {Paul Bernays},
  title = {{Review of: New Foundations for Mathematical Logic.
     W. V. Quine}},
journal= JSL,
volume = 2,
number = 2,
month = {Jun},
year = 1937,
pages = {86-87}
}


@Article{re:Bernays37e,
  author = {Paul Bernays},
  title = {{Review of: The Theory of Classes. A Modification of von Neumann's
System.
     Raphael M. Robinson}},
journal= JSL,
volume = 2,
number = 4,
month = {Dec},
year = 1937,
pages = {168}
}


@Article{re:Bernays37f,
  author = {Paul Bernays},
  title = {{Review of: Directions nouvelles de la Logistique aux Etats-Unis.
     R. Feys}},
journal= JSL,
volume = 2,
number = 4,
month = {Dec},
year = 1937,
pages = {175}
}


@Article{re:Bernays38a,
  author = {Paul Bernays},
  title = {{Review of: Mengentheoretische Begrundung der Logik.
     Wilhelm Ackermann}},
journal= JSL,
volume = 3,
number = 2,
month = {Jun},
year = 1938,
pages = {85}
}


@Article{re:Bernays38b,
  author = {Paul Bernays},
  title = {{Review of: A Purely Topological Form of Non-Aristotelian Logic.
     Carl G. Hempel}},
journal= JSL,
volume = 3,
number = 2,
month = {Jun},
year = 1938,
pages = {91-92}
}


@Article{re:Bernays38c,
  author = {Paul Bernays},
  title = {{Review of: Discontinu et Continu.
     A. Fraenkel}},
journal= JSL,
volume = 3,
number = 2,
month = {Jun},
year = 1938,
pages = {94}
}


@Article{re:Bernays38d,
  author = {Paul Bernays},
  title = {{Review of: Untersuchungen uber das Entscheidungsproblem der
Mathematischen Logik.
     Jozef Pepis}},
journal= JSL,
volume = 3,
number = 4, 
note ={Including an
Update to A Bibliography of Symbolic Logic},
month ={Dec},
year =1938, 
pages ={160-161}
}


@Article{re:Bernays38e,
  author = {Paul Bernays},
  title = {{Review of: Ein Verfahren der Mathematischen Logik.
     Jozef Pepis}},
journal= JSL,
volume = 3,
number = 4,
note={Including an
Update to A Bibliography of Symbolic Logic},
month={Dec},
year=1938,
pages={161-162}
}


@Article{re:Bernays39a,
  author = {Paul Bernays},
  title = {{Review of: The Consistency of the Ramified Principia.
     Frederic B. Fitch}},
journal= JSL,
volume = 4,
number = 2,
month = {Jun},
year = 1939,
pages = {97-98}
}


@Article{re:Bernays40a,
  author = {Paul Bernays},
  title = {{Review of: Essai sur Les Notions de Structure et D'Existence en
Mathematiques.
     Albert Lautman}},
journal= JSL,
volume = 5,
number = 1,
month = {Mar},
year = 1940,
pages = {20-22}
}


@Article{re:Bernays40b,
  author = {Paul Bernays},
  title = {{Review of: Essai sur L'Unite des Sciences Mathematiques dans Leur
Developpement Actuel.
     Albert Lautman}},
journal= JSL,
volume = 5,
number = 1,
month = {Mar},
year = 1940,
pages = {22}
}


@Article{re:Bernays40c,
  author = {Paul Bernays},
  title = {{Review of: On the Consistency of Quine's New Foundations for
Mathematical Logic.
     Barkley Rosser}},
journal= JSL,
volume = 5,
number = 1,
month = {Mar},
year = 1940,
pages = {32-33}
}


@Article{re:Bernays40d,
  author = {Paul Bernays},
  title = {{Review of: Definition by Indication in Quine's New Foundations for
Mathematical Logic.
     Barkley Rosser}},
journal= JSL,
volume = 5,
number = 1,
month = {Mar},
year = 1940,
pages = {33}
}


@Article{re:Bernays40e,
  author = {Paul Bernays},
  title = {{Review of: The Consistency of the Axiom of Choice and of the
Generalized Continuum-Hypothesis.
     Kurt G\"odel}},
journal= JSL,
volume = 5,
number = 3,
month = {Sep},
year = 1940,
pages = {116-117}
}


@Article{re:Bernays40f,
  author = {Paul Bernays},
  title = {{Review of: Consistency-Proof for the Generalized
Continuum-Hypothesis.
     Kurt G\"odel}},
journal= JSL,
volume = 5,
number = 3,
month = {Sep},
year = 1940,
pages = {117-118}
}


@Article{re:Bernays40g,
  author = {Paul Bernays},
  title = {{Review of: Einkleidung der Mathematik in Schr\"oderschen
Relativkalkul.
     Leopold L\"owenheim}},
journal= JSL,
volume = 5,
number = 3,
month = {Sep},
year = 1940,
pages = {127-128}
}


@Article{re:Bernays40h,
  author = {Paul Bernays},
  title = {{Review of: On Proving Certain Properties of the Primes by Means of
the Methods of Pure Number Theory.
     T. S. Broderick}},
journal= JSL,
volume = 5,
number = 3,
month = {Sep},
year = 1940,
pages = {128-130}
}


@Article{re:Bernays41a,
  author = {Paul Bernays},
  title = {{Review of: Was Ist Philosophie? Der Erste und der Letzte Schritt
auf dem Wege zu Ihrer Selbstbestimmung.
     Heinrich Scholz}},
journal= JSL,
volume = 6,
number = 1,
month = {Mar},
year = 1941,
pages = {32-34}
}


@Article{re:Bernays41b,
  author = {Paul Bernays},
  title = {{Review of: The Consistency of the Axiom of Choice and of the
Generalized Continuum- Hypothesis with the Axioms of Set
Theory.
     Kurt G\"odel, George W. Brown}},
journal= JSL,
volume = 6,
number = 3,
month = {Sep},
year = 1941,
pages = {112-114}
}


@Article{re:Bernays41c,
  author = {Paul Bernays},
  title = {{Review of: Metaphysik als Strenge Wissenschaft.
     Heinrich Scholz}},
journal= JSL,
volume = 6,
number = 4,
month = {Dec},
year = 1941,
pages = {156-157}
}


@Article{re:Bernays42a,
  author = {Paul Bernays},
  title = {{Review of: Ein Unbekannter Brief von Gottlob Frege uber Hilberts
erste Vorlesung uber die Grundlagen der Geometrie.
     Max Steck}},
journal= JSL,
volume = 7,
number = 2,
month = {Jun},
year = 1942,
pages = {92-93}
}


@Article{re:Bernays42b,
  author = {Paul Bernays},
  title = {{Review of: Ein System der Typenfreien Logik I.
     Wilhelm Ackermann}},
journal= JSL,
volume = 7,
number = 2,
month = {Jun},
year = 1942,
pages = {93-95}
}


@Article{re:Bernays43a,
  author = {Paul Bernays},
  title = {{Review of: Ein Allgemeiner Kalkulbegriff.
     Karl Schroter}},
journal= JSL,
volume = 8,
number = 3,
month = {Sep},
year = 1943,
pages = {77-79}
}


@Article{re:Bernays43b,
  author = {Paul Bernays},
  title = {{Review of: Introduction to the Philosophy of Mathematics.
     Evert W. Beth}},
journal= JSL,
volume = 8,
number = 4,
month = {Dec},
year = 1943,
pages = {144-146}
}


@Article{re:Bernays43c,
  author = {Paul Bernays},
  title = {{Review of: Summulae Logicales. Supplement der Formele Logica.
     E. W. Beth}},
journal= JSL,
volume = 8,
number = 4,
month = {Dec},
year = 1943,
pages = {146-147}
}


@Article{re:Bernays44a,
  author = {Paul Bernays},
  title = {{Review of: Ein Allgemeiner Kalkulbegriff.
     Karl Schroter}},
journal= JSL,
volume = 9,
number = 1,
month = {Mar},
year = 1944,
pages = {20}
}


@Article{re:Bernays44b,
  author = {Paul Bernays},
  title = {{Review of: Axiomatisierung der Fregeschen Aussagenkalkule.
     Karl Schroter}},
journal= JSL,
volume = 9,
number = 3,
month = {Sep},
year = 1944,
pages = {69}
}


@Article{re:Bernays44c,
  author = {Paul Bernays},
  title = {{Review of: Was Will Die Formalisierte Grundlagenforschung?
     Heinrich Scholz}},
journal= JSL,
volume = 9,
number = 3,
month = {Sep},
year = 1944,
pages = {70}
}


@Article{re:Bernays44d,
  author = {Paul Bernays},
  title = {{Review of: Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der
Transfiniten Induktion in der reinen Zahlentheorie.
     Gerhard Gentzen}},
journal= JSL,
volume = 9,
number = 3,
month = {Sep},
year = 1944,
pages = {70-72}
}


@Article{re:Bernays45a,
  author = {Paul Bernays},
  title = {{Review of: Untersuchungen zum Pradikatenkalkul.
     Oiva Ketonen}},
journal= JSL,
volume = 10,
number = 4,
month = {Dec},
year = 1945,
pages = {127-130}
}


@Article{re:Bernays46a,
  author = {Paul Bernays},
  title = {{Review of: Der Kongelige Norske Videnskabers Selskab, Forhandlinger
     Th. Skolem}},
journal= JSL,
volume = 11,
number = 1,
month = {Mar},
year = 1946,
pages = {26-28}
}


@Article{re:Bernays46b,
  author = {Paul Bernays},
  title = {{Review of: Russell's Mathematical Logic.
     Kurt G\"odel}},
journal= JSL,
volume = 11,
number = 3,
month = {Sep},
year = 1946,
pages = {75-79}
}


@Article{re:Bernays47a,
  author = {Paul Bernays},
  title = {{Review of: A Propos de la Nature de la Negation en Logique.
     Antoinette Virieux-Reymond}},
journal= JSL,
volume = 12,
number = 2,
month = {Jun},
year = 1947,
pages = {58}
}


@Article{re:Bernays47b,
  author = {Paul Bernays},
  title = {{Review of: Eine Neue Gestalt der Grundlagenforschung.
     Heinrich Scholz}},
journal= JSL,
volume = 12,
number = 2,
month = {Jun},
year = 1947,
pages = {58-59}
}


@Article{re:Bernays47c,
  author = {Paul Bernays},
  title = {{Review of: Rapports Entre le Calcul des Problemes et le Calcul des
Propositions.
     Paulette Destouches-Fevrier}},
journal= JSL,
volume = 12,
number = 4,
month = {Dec},
year = 1947,
pages = {133-134}
}


@Article{re:Bernays47d,
  author = {Paul Bernays},
  title = {{Review of: Sur les Regles de Composabilite dans les Logiques de la
Complementarite de $M^{me}$ Destouches-Fevrier.
     Renaud de Bengy-Puyvallee}},
journal= JSL,
volume = 12,
number = 4,
month = {Dec},
year = 1947,
pages = {134-135}
}


@Article{re:Bernays48a,
  author = {Paul Bernays},
  title = {{Review of: Cours de Logique et Philosophie Generale. I.
Methodologie de la Physique Theorique Moderne. II.
Notions de Logistique.
     Jean-Louis Destouches, Marie-Therese Pasturaud,
     Jeannine Viard}},
journal= JSL,
volume = 13,
number = 2,
month = {Jun},
year = 1948,
pages = {118-120}
}


@Article{re:Bernays48b,
  author = {Paul Bernays},
  title = {{Review of: Les Concepts Mathematiques sont-ils Inventes ou
Decouverts? (Discours d'Ouverture du President Annuel de
la S. H. S. N.).
     Severin Bays}},
journal= JSL,
volume = 13,
number = 3,
month = {Sep},
year = 1948,
pages = {157}
}


@Article{re:Bernays48c,
  author = {Paul Bernays},
  title = {{Review of: Modalities and Quantification.
     Rudolf Carnap}},
journal= JSL,
volume = 13,
number = 4,
month = {Dec},
year = 1948,
pages = {218-219}
}


@Article{re:Bernays49a,
  author = {Paul Bernays},
  title = {{Review of: Sur les Rapports Entre la Logique et la Physique
Theorique.
     Paulette Destouches-Fevrier
Logique Adaptee aux Theories Quantiques.
     Paulette Destouches-Fevrier}},
journal= JSL,
volume = 14,
number = 2,
month = {Jun},
year = 1949,
pages = {128-129}
}


@Article{re:Bernays49b,
  author = {Paul Bernays},
  title = {{Review of: Signification Profonde du Principe de Decomposition
Spectrale.
     Paulette Destouches-Fevrier}},
journal= JSL,
volume = 14,
number = 2,
month = {Jun},
year = 1949,
pages = {129}
}


@Article{re:Bernays49c,
  author = {Paul Bernays},
  title = {{Review of: Sur la Notion D'Adequation et le Calcul Minimal de
Johansson.
     Paulette Destouches-Fevrier}},
journal= JSL,
volume = 14,
number = 2,
month = {Jun},
year = 1949,
pages = {129-130}
}


@Article{re:Bernays50a,
  author = {Paul Bernays},
  title = {{Review of: Meaning and Necessity. A Study in Semantics and Modal
Logic.
     Rudolf Carnap}},
journal= JSL,
volume = 14,
number = 4,
month = {Jan},
year = 1950,
pages = {237-241}
}


@Article{re:Bernays50b,
  author = {Paul Bernays},
  title = {{Review of: Note on an Idea of Fitch.
     John R. Myhill}},
journal= JSL,
volume = 14,
number = 4,
month = {Jan},
year = 1950,
pages = {260-261}
}


@Article{re:Bernays51a,
  author = {Paul Bernays},
  title = {{Review of: Einleitung in die Philosophie. Eine Einubung des
Geistes.
     Max Bense}},
journal= JSL,
volume = 16,
number = 1,
month = {Mar},
year = 1951,
pages = {55}
}


@Article{re:Bernays51b,
  author = {Paul Bernays},
  title = {{Review of: The Development of Logical Thought.
     R. Feys, A. Borgers}},
journal= JSL,
volume = 16,
number = 1,
month = {Mar},
year = 1951,
pages = {55-56}
}


@Article{re:Bernays51c,
  author = {Paul Bernays},
  title = {{Review of: A Reduction in the Number of Primitive Ideas of
Arithmetic.
     John R. Myhill}},
journal= JSL,
volume = 16,
number = 1,
month = {Mar},
year = 1951,
pages = {74}
}


@Article{re:Bernays51d,
  author = {Paul Bernays},
  title = {{Review of: A New Definition of Truth.
     J. C. C. McKinsey}},
journal= JSL,
volume = 16,
number = 3,
month = {Sep},
year = 1951,
pages = {218-220}
}


@Article{re:Bernays51e,
  author = {Paul Bernays},
  title = {{Review of: A Remark on the Induction Scheme.
     Th. Skolem}},
journal= JSL,
volume = 16,
number = 3,
month = {Sep},
year = 1951,
pages = {220-221}
}


@Article{re:Bernays51f,
  author = {Paul Bernays},
  title = {{Review of: Ensembles, Especes et Logique.
     Francois Moch}},
journal= JSL,
volume = 16,
number = 4,
month = {Dec},
year = 1951,
pages = {279}
}


@Article{re:Bernays52a,
  author = {Paul Bernays},
  title = {{Review of: Wie Durfen wir mit dem Unendlichen Umgehen? (Die
Grundlage des Mathematischen Intuitionismus.)
     Arnold Schimdt}},
journal= JSL,
volume = 17,
number = 1,
month = {Mar},
year = 1952,
pages = {62}
}


@Article{re:Bernays52b,
  author = {Paul Bernays},
  title = {{Review of: Uber Endliche Mengen.
     Paul Lorenzen}},
journal= JSL,
volume = 17,
number = 4,
month = {Dec},
year = 1952,
pages = {275-276}
}


@Article{re:Bernays52c,
  author = {Paul Bernays},
  title = {{Review of: Die Mehrwertigen Logiken und das Wahrheitsproblem.
     Paul F. Linke}},
journal= JSL,
volume = 17,
number = 4,
month = {Dec},
year = 1952,
pages = {276-277}
}


@Article{re:Bernays53a,
  author = {Paul Bernays},
  title = {{Review of: The System LD.
     Haskell B. Curry
On the Definition of Negation by a Fixed Proposition in
Inferential Calculus.
     Haskell B. Curry}},
journal= JSL,
volume = 18,
number = 3,
month = {Sep},
year = 1953,
pages = {266-268}
}


@Article{re:Bernays54a,
  author = {Paul Bernays},
  title = {{Review of: Relations Generalisees et Independance Logique des
Notions de Reflexivite, Symetrie et Transitivite.
     Karl Egil Aubert}},
journal= JSL,
volume = 19,
number = 4,
month = {Dec},
year = 1954,
pages = {285-286}
}


@Article{re:Bernays55a,
  author = {Paul Bernays},
  title = {{Review of: On the Interpretation of the Sign `$\supset$'.
     John Myhill}},
journal= JSL,
volume = 20,
number = 2,
month = {Jun},
year = 1955,
pages = {178-179}
}


@Article{re:Bernays57a,
  author = {Paul Bernays},
  title = {{Review of: Solvable Cases of the Decision Problem.
     W. Ackermann}},
journal= JSL,
volume = 22,
number = 1,
month = {Mar},
year = 1957,
pages = {68-72}
}


@Article{re:Bernays57b,
  author = {Paul Bernays},
  title = {{Review of: Creative Sets.
     John Myhill}},
journal= JSL,
volume = 22,
number = 1,
month = {Mar},
year = 1957,
pages = {73-76}
}


@Article{re:Bernays57c,
  author = {Paul Bernays},
  title = {{Review of: Another Variant of Natural Deduction.
     Irving M. Copi}},
journal= JSL,
volume = 22,
number = 3,
month = {Sep},
year = 1957,
pages = {298-299}
}


@Article{re:Bernays58a,
  author = {Paul Bernays},
  title = {{Review of: L'Axiomatique Intuitionniste.
     A. Heyting}},
journal= JSL,
volume = 23,
number = 3,
month = {Sep},
year = 1958,
pages = {343-344}
}


@Article{re:Bernays58b,
  author = {Paul Bernays},
  title = {{Review of: On the Axioms of Order and Succession.
     Kurt Bing}},
journal= JSL,
volume = 23,
number = 3,
month = {Sep},
year = 1958,
pages = {362}
}


@Article{re:Bernays59a,
  author = {Paul Bernays},
  title = {{Review of: Interpretations of Sets of Conditions.
     W. V. Quine}},
journal= JSL,
volume = 24,
number = 3,
month = {Sep},
year = 1959,
pages = {242}
}


@Article{re:Bernays62a,
  author = {Paul Bernays},
  title = {{Review of: Etudes sur les Regles d'Inference Dites "Regles de
Gentzen."
     Hugues Leblanc}},
journal= JSL,
volume = 27,
number = 2,
month = {Jun},
year = 1962,
pages = {248-249}
}


@Article{re:Bernays65a,
  author = {Paul Bernays},
  title = {{Review of: Expression de la Recursion Primitive dans le
Calcul-$\lambda-\mathbf{K}$.
     Jean Ladriere}},
journal= JSL,
volume = 30,
number = 1,
month = {Mar},
year = 1965,
pages = {91-94}
}


@Article{re:Bernays66a,
  author = {Paul Bernays},
  title = {{Review of: False Lemmas in Herbrand.
     Burton Dreben, Peter Andrews, Stal Aanderaa}},
journal= JSL,
volume = 31,
number = 4,
month = {Dec},
year = 1966,
pages = {657-659}
}


@Article{re:Bernays67a,
  author = {Paul Bernays},
  title = {{Review of: Etudes sur les Regles d'Inference dites Regles de
Gentzen. Deuxieme Partie.
     Hugues LeBlanc}},
journal= JSL,
volume = 32,
number = 2,
month = {Jun},
year = 1967,
pages = {256-258}
}


@Article{re:Bernays68a,
  author = {Paul Bernays},
  title = {{Review of: Probleme und Methoden der Beweistheorie.
     Kurt Sch\"utte}},
journal= JSL,
volume = 33,
number = 4,
month = {Dec},
year = 1968,
pages = {604-605}
}


@Article{re:Bernays70a,
  author = {Paul Bernays},
  title = {{Review of: Variations on a Theme of Bernays.
     John Myhill}},
journal= JSL,
volume = 35,
number = 2,
month = {Jun},
year = 1970,
pages = {345-346}
}


@Article{re:Bernays71a,
  author = {Paul Bernays},
  title = {{Review of: A Note on the Redundant Axiom of Principia Mathematica.
     Peter Nidditch}},
journal= JSL,
volume = 36,
number = 2,
month = {Jun},
year = 1971,
pages = {332-333}
}


@Article{re:Bernays72a,
  author = {Paul Bernays},
  title = {{Review of: Ein Axiomatisches System der Mengenlehre Nach Zermelo
und Fraenkel.
     Ernst-Jochen Thiele}},
journal= JSL,
volume = 37,
number = 4,
month = {Dec},
year = 1972,
pages = {767-768}
}


@Article{re:Bernays75a,
  author = {Paul Bernays},
  title = {{Review of: Vorlesungen uber die Algebra der Logik (Exacte Logik).
     Ernst Schr\"oder}},
journal= JSL,
volume = 40,
number = 4,
month = {Dec},
year = 1975,
pages = {609-614}
}