229 found
Order:
  1.  23
    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   94 citations  
  2.  63
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays - 1970 - Journal of Philosophy 67 (4):109-110.
  3.  9
    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  
  4.  8
    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   34 citations  
  5.  33
    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   23 citations  
  6.  46
    A System of Axiomatic Set Theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.
  7.  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   27 citations  
  8.  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.
  9.  9
    Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  10.  8
    Axiomatic Set Theory.Foundations of Set Theory.Paul Bernays, Abraham A. Fraenkel & Yehoshua Bar-Hillel - 1962 - Philosophical Review 71 (2):268-269.
  11.  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   15 citations  
  12.  44
    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  
  13.  22
    Mathematische Existenz Und Widerspruchsfreiheit.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  14.  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  
  15. 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  
  16.  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   9 citations  
  17.  12
    Logical Calculus.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (4):162-163.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  18.  35
    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  
  19.  9
    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   8 citations  
  20.  38
    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  
  21.  9
    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  
  22.  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  
  23.  11
    Uber Eine Naturliche Erweiterung des Relationenkalkuls.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  48
    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.
  25.  12
    Zum begriff der dialektik.Paul Bernays - 1947 - Dialectica 1 (2):172-175.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  26.  8
    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  
  27.  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.
  28.  11
    Ü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  
  29.  6
    Probleme der Theoretischen Logik.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):147-148.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  30.  14
    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  
  31. 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  
  32.  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  
  33.  1
    A System of Axiomatic Set Theory.Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):74-75.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  20
    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  
  35.  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  
  36.  5
    Zur frage der anknüpfung an die kantische erkenntnistheorie: Eine kritische erörterung.Paul Bernays - 1955 - Dialectica 9 (1-2):23-65.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  37.  3
    Myhill John. Creative sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 97–108.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (1):73-76.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  38.  51
    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  
  39.  19
    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.
  40.  3
    Grundsätzliches zur philosophie ouverte.Paul Bernays - 1948 - Dialectica 2 (2):273-279.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  41.  2
    Zum Symposium über die Grundlagen der Mathematik1.Paul Bernays - 1971 - Dialectica 25 (3‐4):171-195.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  42.  24
    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.
  43.  19
    Review: Albert Lautman, Essai sur Les Notions de Structure et D'Existence en Mathematiques. [REVIEW]Paul Bernays - 1940 - Journal of Symbolic Logic 5 (1):20-22.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  44.  14
    Gentzen Gerhard. Die Widerspruchsfreiheit der reinen Zahlentheorie, Mathematische Annalen, vol. 112 , pp. 493–565.Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):75-75.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  45.  14
    Gödel Kurt. Russell's Mathematical Logic. The Philosophy of Bertrand Russell, Edited by Schilpp Paul Arthur, Northwestern University, Evanston and Chicago 1944, Pp. 123–153. [REVIEW]Paul Bernays - 1946 - Journal of Symbolic Logic 11 (3):75-79.
  46.  14
    Quine W. V.. A Reinterpretation of Schönfinkel's Logical Operators. Bulletin of the American Mathematical Society, Vol. 42 , Pp. 87–89. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (1):42-43.
  47.  16
    Betrachtungen zu Ludwig Wittgensteins "Bemerkungen uber die Grundlagen der Mathematik".Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150-150.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  48.  12
    Betrachtungen zum Paradoxon von Thoralf Skolem.K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  49.  14
    Review: Kurt Godel, Russell's Mathematical Logic. [REVIEW]Paul Bernays - 1946 - Journal of Symbolic Logic 11 (3):75-79.
  50.  2
    Bemerkungen zu Lorenzen's stellungnahme in der philosophie der mathematik.Paul Bernays - 1978 - In Kuno Lorenz (ed.), Konstruktionen Versus Positionen: Beiträge Zur Diskussion Um Die Konstruktive Wissenschaftstheorie. Bd 1: Spezielle Wissenschaftstheorie. Bd 2: Allgemeine Wissenschaftstheorie. Paul Lorenzen Zum 60. Geburtstag. De Gruyter. pp. 3-16.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 229