229 found
Order:
  1.  28
    Grundlagen der Mathematik.David Hilbert & Paul Bernays - 1934 - Springer.
    Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   108 citations  
  2. Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 1928 - Teubner.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   51 citations  
  3. Foundations of Geometery.David Hilbert & Paul Bernays - 1971 - Open Court.
     
    Export citation  
     
    Bookmark   39 citations  
  4.  66
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays - 1970 - Journal of Philosophy 67 (4):109-110.
  5. Sur le platonisme dans les mathématiques.Paul Bernays - 1935 - L’Enseignement Mathematique 34:52--69.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   46 citations  
  6. Grundlagen der Mathematik. [Von] D. Hilbert Und P. Bernays.David Hilbert & Paul Bernays - 1968 - Springer.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   20 citations  
  7.  40
    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   30 citations  
  8.  14
    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   36 citations  
  9.  10
    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
    A System of Axiomatic Set Theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.
  11.  9
    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   30 citations  
  12.  21
    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.
  13.  10
    Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  14.  11
    Axiomatic Set Theory.Foundations of Set Theory.Paul Bernays, Abraham A. Fraenkel & Yehoshua Bar-Hillel - 1962 - Philosophical Review 71 (2):268-269.
  15.  14
    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   17 citations  
  16.  46
    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   12 citations  
  17.  26
    Mathematische Existenz Und Widerspruchsfreiheit.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  18. Ü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   8 citations  
  19.  15
    Solvable Cases of the Decision Problem.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (1):68-72.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  20. 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  
  21.  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   10 citations  
  22.  9
    Die schematische Korrespondenz und die idealisierten Strukturen.Paul Bernays - 1970 - Dialectica 24 (1‐3):53-66.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  23.  14
    Logical Calculus.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (4):162-163.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  24.  36
    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  
  25.  39
    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   7 citations  
  26.  10
    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  
  27.  11
    Uber Eine Naturliche Erweiterung des Relationenkalkuls.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  8
    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.
  29.  15
    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  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  6
    Probleme der Theoretischen Logik.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):147-148.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  31.  20
    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  
  32. Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays - 2012 - In Universal Logic: An Anthology. New York and Basel: pp. 43-58.
  33.  51
    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.
  34.  52
    Zur Rolle der Sprache in erkenntnistheoretischer Hinsicht.Paul Bernays - 1961 - Synthese 13 (3):185-200.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  35.  12
    Zum begriff der dialektik.Paul Bernays - 1947 - Dialectica 1 (2):172-175.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  36.  9
    Extensions of Some Theorems of Godel and Church.Paul Bernays & Barkley Rosser - 1937 - Journal of Symbolic Logic 2 (1):52.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  1
    A System of Axiomatic Set Theory.Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):74-75.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  38.  12
    Über die Ausdehnung des Begriffes der Komplementarität auf die Philosophie.Paul Bernays - 1948 - Synthese 7 (1):66 - 70.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  39. A System of Axiomatic Set Theory--Part I.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (1):49-49.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  54
    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  
  41. 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  
  42.  17
    Uber den Platonismus in der Mathematik.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):149-149.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  43.  14
    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  
  44.  21
    A System of Axiomatic Set Theory—Part VI.Paul Bernays - 1948 - Journal of Symbolic Logic 13 (2):65-79.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  25
    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  
  46.  23
    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  
  47.  46
    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  
  48.  8
    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  
  49.  17
    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  
  50. A System of Axiomatic Set Theory--Part VI.Paul Bernays - 1948 - Journal of Symbolic Logic 13 (4):220-221.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 229