105 found
Order:
Disambiguations
Wilhelm Ackermann [79]W. Ackermann [34]Werner Ackermann [1]
  1.  82
    Begrundung Einer Strengen Implik.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21:113.
  2.  25
    Solvable Cases of the Decision Problem.W. Ackermann - 1954 - Amsterdam: North-Holland Pub. Co..
  3.  10
    Symbolic Logic. An Introduction.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (4):266-268.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   32 citations  
  4.  21
    Grundzuge der Theoretischen Logik.David Hilbert & W. Ackermann - 1928 - Springer Verlag.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  5.  5
    Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  6.  15
    Begründung Einer Strengen Implikation.Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):327-328.
  7.  2
    Review: Yoemon Sampei, Some Remarks Concerning Identity. [REVIEW]Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (4):402-402.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  28
    Widerspruchsfreier Aufbau der Logik I: Typenfreies System Ohne Tertium Non Datur.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (1):33-57.
  9.  6
    Widerspruchsfreier Aufbau der Logik I.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (1):33-57.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  10.  17
    Curry Haskell B.. A Theory of Formal Deducibility. Notre Dame Mathematical Lectures, No. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1950, Ix + 126 Seiten. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):56-58.
  11.  16
    Sampei Yoemon. Some Remarks Concerning Identity. Journal of the Faculty of Science, Hokkaido University, Series I, Bd. 11 Heft 3 , S. 109–112. [REVIEW]Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (4):402-402.
  12.  13
    Schütte Kurt. Beweistheoretische Untersuchung der verzweigten Analysis. Mathematische Annalen, Bd. 124 , S. 123–147.Wilhelm Ackermann - 1953 - Journal of Symbolic Logic 18 (1):76-76.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13.  9
    Grundlagen der Mathematik in Geschichtlicher Entwicklung.W. Ackermann - 1954 - Journal of Symbolic Logic 25 (3):268-269.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  10
    Henkin Leon. The Completeness of the First-Order Functional Calculus.W. Ackermann - 1950 - Journal of Symbolic Logic 15 (1):68-68.
  15.  12
    Mengentheoretische Begründung der Logik.Wilhelm Ackermann - 1938 - Journal of Symbolic Logic 3 (2):85-85.
  16.  8
    Widerspruchsfreier Aufbau der Logik I. Typenfreies System Ohne Tertium Non Datur.Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):72-72.
  17.  4
    Popularisation of Science for Adults.Renaud Dulong & Werner Ackermann - 1972 - Social Science Information 11 (1):113-148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  6
    Review: Haskell B. Curry, A Theory of Formal Deducibility. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):56-58.
  19.  2
    Ein System der Typenfreien Logik I.Wilhelm Ackermann - 1942 - Journal of Symbolic Logic 7 (2):93-95.
  20.  7
    Asser Günter. Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Ebd., Bd. 2 , S. 250–264. [REVIEW]Wilhelm Ackermann - 1958 - Journal of Symbolic Logic 23 (1):39-39.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  9
    Asser Günter. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 , S. 30–68.Wilhelm Ackermann - 1958 - Journal of Symbolic Logic 23 (1):39-40.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Über die Beziehung zwischen strikter und strenger Implikation.W. Ackermann - 1958 - Dialectica 12 (3):213.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  11
    Büchi J. Richard. Die Boole'sche Partialordnung und die Paarung von Gefuegen. Portugaliae mathematica, Bd. 7 Hefte 3–4 , S. 119–180. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 15 (4):283-283.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  20
    Becker Oskar. Grundlagen der Mathematik in geschichtlicher Entwicklung. Orbis, Bd. II/6. Verlag Karl Alber, Freiburg und München 1954, XI + 422 S. [REVIEW]W. Ackermann - 1960 - Journal of Symbolic Logic 25 (3):268-269.
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  5
    Church Alonzo. Special Cases of the Decision Problem. Revue Philosophique de Louvain, Bd. 49 , S. 203–221.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (1):73-74.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  7
    Curry Haskell B.. The Elimination Theorem When Modality is Present.Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (1):67-67.
  27.  8
    Der Aufbau Einer Höheren Logik.Wilhelm Ackermann - 1975 - Journal of Symbolic Logic 40 (3):458-458.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. Der Aufbau Einer Höheren Logik.Wilhelm Ackermann - 1964 - Archive for Mathematical Logic 7 (1-2):5-22.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  6
    Dienes Paul. On Ternary Logic.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (3):225-225.
  30.  4
    Erweitertes System.Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (4):295-296.
  31. Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.Wilhelm Ackermann - 1958 - Archive for Mathematical Logic 4 (1-2):3.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit II.Wilhelm Ackermann - 1961 - Archive for Mathematical Logic 5 (3-4):96-111.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Fitch Frederic B. On Natural Numbers, Integers, and Rationals.W. Ackermann - 1950 - Journal of Symbolic Logic 14 (4):258-258.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  6
    Fitch Frederic Brenton. Symbolic Logic. An Introduction. The Ronald Press Company, New York 1952, X + 238 S.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (4):266-268.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  5
    Grundgedanken Einer Typenfreien Logik.Wilhelm Ackermann, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1967 - Journal of Symbolic Logic 32 (2):259-260.
  36. H. Arnold Schmidt: "Mathematische Gesetze der Logik I". [REVIEW]Wilhelm Ackermann - 1962 - Ratio (Misc.) 4 (1):62.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  12
    Henkin Leon. An Algebraic Characterization of Quantifiers. Fundamenta Mathematicae, Bd. 37 , S. 63–74.Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (4):290-291.
  38.  7
    Halldén Sören. The Logic of Nonsense. Uppsala Universitets Årsskrift, 1949, Heft 9 , 132 S.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (3):225-226.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  16
    Issmann S.. Une Méthode de Décision Pour Certaines Formules du Calcul des Prédicats. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume Complémentaire Et Communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, Und Éditions E. Nauwelaerts, Louvain 1953, S. 35–38. [REVIEW]Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (2):132-133.
  40.  11
    A. Janiczak. Undecidability of Some Simple Formalized Theories. Nach Dem Tode des Verf., von A. Mostowski Und A. Grzegorczyk Herausgegeben. Fundamenta Mathematicae, Bd. 40 , S. 131–139. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (2):217-217.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  5
    Julia Robinson. Existential Definability in Arithmetic. Transactions of the American Mathematical Society, Bd. 72 , S. 437–449. [REVIEW]Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (2):182-183.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  7
    Jaśkowski S. Undecidability of First Order Sentences in the Theory of Free Groupoids. Fundamenta Mathematicae, Bd. 43 , S. 36–45. [REVIEW]W. Ackermann - 1958 - Journal of Symbolic Logic 23 (4):445-445.
  43.  6
    Konstruktiver Aufbau Eines Abschnitts der Zweiten Cantorschen Zahlenklasse.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (2):152-153.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  19
    A. S. Kahr, Edward F. Moore, and Hao Wang. Entscheidungsproblem Reduced to the ∀∃∀ Case. Proceedings of the National Academy of Sciences, Bd. 48 , S. 365–377. [REVIEW]W. Ackermann - 1962 - Journal of Symbolic Logic 27 (2):225-225.
  45.  3
    Kemeny John G.. Models of Logical Systems.Wilhelm Ackermann - 1948 - Journal of Symbolic Logic 13 (3):154-156.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  14
    Lévy Azriel. On Ackermann's Set Theory.W. Ackermann - 1960 - Journal of Symbolic Logic 25 (4):355-355.
  47.  11
    Mostowski Andrzej. Concerning a Problem of H. Scholz. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Bd. 2 , S. 210–214. [REVIEW]W. Ackermann - 1959 - Journal of Symbolic Logic 24 (3):241-241.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  5
    Mostowski Andrzej. On the Principle of Dependent Choices. Fundamenta Mathematicae Bd. 35 , S. 127–130.W. Ackermann - 1950 - Journal of Symbolic Logic 14 (4):257-257.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  13
    Philosophical Observations on Mathematical Logic and on Investigations Into the Foundations of Mathematics.Wilhelm Ackermann - 1958 - Journal of Symbolic Logic 23 (3):342-343.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  15
    Quine Willard V.. Theory of Deduction. Parts I–IV. Mimeographiert. Harvard Cooperative Society, Cambridge, Mass., 1948, 156 S. [REVIEW]W. Ackermann - 1949 - Journal of Symbolic Logic 14 (3):190-191.
1 — 50 / 105