229 found
Order:
  1.  20
    Grundlagen der Mathematik.David Hilbert & Paul Bernays - 1934 - Springer.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   87 citations  
  2. Foundations of Geometery.David Hilbert & Paul Bernays - 1971 - Open Court.
     
    Export citation  
     
    Bookmark   39 citations  
  3.  61
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays - 1970 - Journal of Philosophy 67 (4):109-110.
  4. A System of Axiomatic Set Theory. Part V. General Set Theory Continued.Paul Bernays - 1943 - Journal of Symbolic Logic 8:89.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 1928 - Teubner.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   37 citations  
  6. Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays - 2012 - In Universal Logic: An Anthology. New York and Basel: pp. 43-58.
  7.  8
    Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone & Paul Bernays - 1977 - Philosophical Quarterly 27 (106):72.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   24 citations  
  8.  6
    Investigations Into Logical Deduction.Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144-145.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  9.  8
    Meaning and Necessity: A Study in Semantics and Modal Logic.Paul Bernays - 1950 - Journal of Symbolic Logic 14 (4):237-241.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  10.  51
    Kurt Schütte. Probleme und Methoden der Beweistheorie. Studium generale, vol. 18 , pp. 562–567.Paul Bernays - 1968 - Journal of Symbolic Logic 33 (4):604-605.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  18
    Schröder Ernst. Vorlesungen Über Die Algebra der Logik . Second Edition, Volume I. A Reprint of 427 with Schroder's Corrections. Chelsea Publishing Company, Bronx 1966, IX + 721 Pp. [REVIEW]Paul Bernays - 1975 - Journal of Symbolic Logic 40 (4):609-614.
  12.  27
    Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):148-149.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   17 citations  
  13. Grundlagen der Mathematik. [Von] D. Hilbert Und P. Bernays.David Hilbert & Paul Bernays - 1968 - Springer.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   13 citations  
  14. Sur le platonisme dans les mathématiques.Paul Bernays - 1935 - L’Enseignement Mathematique 34:52--69.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   33 citations  
  15.  43
    A System of Axiomatic Set Theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.
  16.  7
    Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  17.  8
    Axiomatic Set Theory.Foundations of Set Theory.Paul Bernays, Abraham A. Fraenkel & Yehoshua Bar-Hillel - 1962 - Philosophical Review 71 (2):268-269.
  18. A System of Axiomatic Set Theory. Part III. Infinity and Enumerability. Analysis.Paul Bernays - 1942 - Journal of Symbolic Logic 7 (2):65-89.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  13
    Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre.Paul Bernays - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem, Magnes Press, Hebrew University;. pp. 3--49.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  20.  23
    Heijenoort Jean Van. Preface. Écrits Logiques, by Herbrand Jacques, Presses Universitaires de France, Paris 1968, Pp. 1–12.Chevalley Claude and Lautman Albert. Notice Biographique Sur Jacques Herbrand. Écrits Logiques, by Herbrand Jacques, Presses Universitaires de France, Paris 1968, Pp. 13–15. , Pp. 66–68.)Chevalley Claude. Sur la Pensée de Jacques Herbrand. A Reprint of 5431 with Omissions. Écrits Logiques, by Herbrand Jacques, Presses Universitaires de France, Paris 1968, Pp. 17–20.Herbrand Jacques. Sur la Théorie de la Démonstration. A Reprint of 3821. Écrits Logiques, by Herbrand Jacques, Presses Universitaires de France, Paris 1968, Pp. 21–23.Herbrand Jacques. Non-Contradiction des Axiomes Arithmétiques. A Reprint of 3822. Écrits Logiques, by Herbrand Jacques, Presses Universitaires de France, Paris 1968, Pp. 25–26.Herbrand Jacques. Sur Quelques Propriétés des Propositions Vraies Et Leurs Applications. A Reprint of 3823. Écrits Logiques, by Herbrand Jacques, Presses Universitair. [REVIEW]Paul Bernays - 1971 - Journal of Symbolic Logic 36 (3):523-524.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  36
    A System of Axiomatic Set Theory - Part VII.Paul Bernays - 1954 - Journal of Symbolic Logic 19 (2):81-96.
    The reader of Part VI will have noticed that among the set-theoretic models considered there some models were missing which were announced in Part II for certain proofs of independence. These models will be supplied now.Mainly two models have to be constructed: one with the property that there exists a set which is its own only element, and another in which the axioms I–III and VII, but not Va, are satisfied. In either case we need not satisfy the axiom of (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  22.  14
    Solvable Cases of the Decision Problem.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (1):68-72.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  23.  18
    John Myhill. On the Interpretation of the Sign ‘⊃’. The Journal of Symbolic Logic, Vol. 18 , Pp. 60–62.Paul Bernays - 1955 - Journal of Symbolic Logic 20 (2):178-179.
  24.  16
    Peter Nidditch. A Note on the Redundant Axiom of Principia Mathematica. Mind, N.S. Vol. 69 , Pp. 251–252.Paul Bernays - 1971 - Journal of Symbolic Logic 36 (2):332-333.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  45
    Gödel Kurt. Consistency-Proof for the Generalized Continuum-Hypothesis. Proceedings of the National Academy of Sciences, Vol. 25 , Pp. 220–224. [REVIEW]Paul Bernays - 1940 - Journal of Symbolic Logic 5 (3):117-118.
  26.  19
    Mathematische Existenz Und Widerspruchsfreiheit.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  14
    Jean Ladrière. Expression de la Récursion Primitive Dans le Calcul-Λ-K. Logique Et Analyse, N.S. Vol. 4 , Pp. 23–54.Paul Bernays - 1965 - Journal of Symbolic Logic 30 (1):91-94.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  6
    Zur Frage der Unendlichkeitsschemata in der Axiomatischen Mengenlehre.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (3):353-354.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  29.  8
    Die schematische Korrespondenz und die idealisierten Strukturen.Paul Bernays - 1970 - Dialectica 24 (1‐3):53-66.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  30.  45
    Zur Rolle der Sprache in erkenntnistheoretischer Hinsicht.Paul Bernays - 1961 - Synthese 13 (3):185-200.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  31.  13
    Hugues Leblanc. Études Sur les Règles d'Inférence Dites Règles de Gentzen. Deuxième Partie. Dialogue, Vol. 1 No. 4 , Pp. 355–367. [REVIEW]Paul Bernays - 1967 - Journal of Symbolic Logic 32 (2):256-258.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  29
    A System of Axiomatic Set Theory—Part II.Paul Bernays - 1941 - Journal of Symbolic Logic 6 (1):1-17.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  10
    Logical Calculus.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (4):162-163.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  34.  44
    Die Mathematik als ein zugleich Vertrautes und Unbekanntes.Paul Bernays - 1955 - Synthese 9 (1):465-471.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  37
    A System of Axiomatic Set Theory: Part IV. General Set Theory.Paul Bernays - 1942 - Journal of Symbolic Logic 7 (4):133-145.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  36. Über eine natürliche Erweiterung des Relationenkalkuls.Paul Bernays - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 1--14.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  37.  9
    John Myhill. Variations on a Theme of Bernays. Notre Dame Journal of Formal Logic, Vol. 4 No. 4 , Pp. 274–282.Paul Bernays - 1970 - Journal of Symbolic Logic 35 (2):345-346.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  8
    Reviews. Oiva Ketonen. Untersuchungen Zum Prädikatenkalkul. Annales Academiae Scientiarum Fennicae, Series A, I. Mathematica-Physica 23. Helsinki 1944, 71 Pp. [REVIEW]Paul Bernays - 1945 - Journal of Symbolic Logic 10 (4):127-130.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  39.  19
    Review: Oiva Ketonen, Untersuchungen zum Pradikatenkalkul. [REVIEW]Paul Bernays - 1945 - Journal of Symbolic Logic 10 (4):127-130.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  40.  23
    Gedanken Zu Dem Buch Bildung and Mathematik (Mathematik Als Exemplarisches Gymnasialfach) von Alexander Israel Wittenberg1).Paul Bernays - 1966 - Dialectica 20 (1):27-42.
    Zusanznzenfassung – Das Buch von Alexander Wittenberg, « Bildung and Mathematik », ist ein Beitrag zu der aktuellen Diskussion über die geeignete Gestaltung des mathematischen Unterrichts auf den Mittelschulen, an welcher sich Wittenberg schon vordem mit verschiedenen Publikationen beteiligte Das Buch war als erster Teil eines umfassenderen Werkes gedacht, dessen Vollendung ihm leider durch seinen frühzeitigen Tod versagt wurde. Wittenberg setzt sich vor allem dafür ein, dass der Mathematikunterricht wie überhaupt der Unterricht an der Mittelschule nicht vornehmlich als Vorbereitung auf (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  21
    Rosser Barkley. On the Consistency of Quine's New Foundations for Mathematical Logic. [REVIEW]Paul Bernays - 1940 - Journal of Symbolic Logic 5 (1):32-33.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    Von der Syntax der Sprache Zur Philosophie der Wissenschaften.Paul Bernays - 1957 - Dialectica 11 (3-4):233-246.
    ZusammenfassungAn Hand der Betrachtung einiger Hauptzüge in der neueren Entwicklung der Philosophie des logischen Empirismus und nahestehender Richtungen wird dargelegt, wie die Korrektur der zu simplifizierenden Thesen in dem ursprünglichen Programm der Wiener Schule auf eine Auseinandersetzung mit den traditionellen erkenntnistheoretischen Problemen zurückführt. — P.B.RésuméCe travail prend en considération certains développements récents de l'empirisme logique et des points de vues apparentés. Ces développements tendent sinon à un abandon, du moins à une revision de certaines positions par trop simplificatrices, tout d'abord (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  10
    Uber Eine Naturliche Erweiterung des Relationenkalkuls.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  54
    Problems.Paul Bernays - 1953 - Journal of Symbolic Logic 18 (4):350.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  45.  7
    Mathematische Existenz und Widerspruchfreiheit.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  46.  12
    Zum begriff der dialektik.Paul Bernays - 1947 - Dialectica 1 (2):172-175.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  47.  17
    Carnap Rudolf. Meaning and Necessity. A Study in Semantics and Modal Logic. The University of Chicago Press, Chicago 1947, Viii + 210 Pp. [REVIEW]Paul Bernays - 1950 - Journal of Symbolic Logic 14 (4):237-241.
  48.  13
    Lautman Albert. Essai sur les notions de structure et d'existence en mathématiques. Actualités scientifiques et industrielles 590–591. Hermann & Cie, Paris 1938, 159 pp. [REVIEW]Paul Bernays - 1940 - Journal of Symbolic Logic 5 (1):20-22.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  49.  6
    Probleme der Theoretischen Logik.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):147-148.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  50.  7
    On the Original Gentzen Consistency Proof for Number Theory.Paul Bernays, A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (1):95-95.
1 — 50 / 229