80 found
Order:
  1.  44
    Wilhelm Ackermann (1956). Begründung Einer Strengen Implikation. Journal of Symbolic Logic 21 (2):113-128.
  2. Wilhelm Ackermann (1952). Review: Frederic Brenton Fitch, Symbolic Logic. An Introduction. [REVIEW] Journal of Symbolic Logic 17 (4):266-268.
     
    Export citation  
     
    My bibliography  
  3. Wilhelm Ackermann (1940). Zur Widerspruchsfreiheit der Zahlentheorie. Journal of Symbolic Logic 5 (3):125-127.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  4.  14
    Wilhelm Ackermann (1950). Widerspruchsfreier Aufbau der Logik I: Typenfreies System Ohne Tertium Non Datur. Journal of Symbolic Logic 15 (1):33-57.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5. Wilhelm Ackermann (1958). Zur Axiomatik der Mengenlehre. Journal of Symbolic Logic 23 (2):215-216.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  6. Wilhelm Ackermann (1956). Review: Yoemon Sampei, Some Remarks Concerning Identity. [REVIEW] Journal of Symbolic Logic 21 (4):402-402.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  7.  3
    Wilhelm Ackermann (1950). Review: Soren Hallden, The Logic of Nonsense. [REVIEW] Journal of Symbolic Logic 15 (3):225-226.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  3
    Wilhelm Ackermann (1957). Review: Hartley Rogers, Certain Logical Reduction and Decision Problems. [REVIEW] Journal of Symbolic Logic 22 (2):217-218.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  2
    Wilhelm Ackermann (1955). Review: Haskell B. Curry, The Elimination Theorem When Modality is Present. [REVIEW] Journal of Symbolic Logic 20 (1):67-67.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  1
    Wilhelm Ackermann (1958). Philosophical Observations on Mathematical Logic and on Investigations Into the Foundations of Mathematics. Journal of Symbolic Logic 23 (3):342-343.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  1
    Wilhelm Ackermann (1954). Review: Arnold Schmidt, Zum Verhaltnis von Existenz und Widerspruchsfreiheit. [REVIEW] Journal of Symbolic Logic 19 (2):132-132.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  12.  1
    Wilhelm Ackermann (1954). Review: S. Issmann, Une Methode de Decision pour Certaines Formules du Calcul des Predicats. [REVIEW] Journal of Symbolic Logic 19 (2):132-133.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  1
    Leonard Nelson, Wilhelm Ackermann, Paul Bernays & David Hilbert (1962). Beiträge Zur Philosophie der Logik Und Mathematik. Journal of Philosophy 59 (9):242-246.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Wilhelm Ackermann (1958). Review: Gunter Asser, Theorie der Logischen Auswahlfunktionen. [REVIEW] Journal of Symbolic Logic 23 (1):39-40.
    Translate
     
     
    Export citation  
     
    My bibliography  
  15.  2
    Wilhelm Ackermann (1956). Review: Juliusz Reichbach, Uber den auf Alternative und Negation Aufgebauten Aussagenkalkul. [REVIEW] Journal of Symbolic Logic 21 (1):87-87.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  16. Wilhelm Ackermann (1952). Review: G. H. Von Wright, On Double Quantification. [REVIEW] Journal of Symbolic Logic 17 (3):201-203.
     
    Export citation  
     
    My bibliography  
  17.  2
    Wilhelm Ackermann (1952). Review: Alonzo Church, Special Cases of the Decision Problem. [REVIEW] Journal of Symbolic Logic 17 (1):73-74.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  1
    Wilhelm Ackermann (1951). Review: Haskell B. Curry, A Theory of Formal Deducibility. [REVIEW] Journal of Symbolic Logic 16 (1):56-58.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  1
    Wilhelm Ackermann (1938). Mengentheoretische Begründung der Logik. Journal of Symbolic Logic 3 (2):85-85.
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  1
    Wilhelm Ackermann (1951). Review: Leon Henkin, An Algebraic Characterization of Quantifiers. [REVIEW] Journal of Symbolic Logic 16 (4):290-291.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21.  1
    Wilhelm Ackermann (1956). Review: Yoemon Sampei, On the Orthogonal Expansion of the Boolean Polynomial and Its Applications I; Yoemon Sampei, On the Orthogonal Expansion of the Boolean Polynomial and Its Applications. [REVIEW] Journal of Symbolic Logic 21 (4):401-402.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. Wilhelm Ackermann (1958). Asser Günter. Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Ebd., Bd. 2 , S. 250–264. [REVIEW] Journal of Symbolic Logic 23 (1):39.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Wilhelm Ackermann (1958). Asser Günter. Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 1 , S. 252–263. [REVIEW] Journal of Symbolic Logic 23 (1):38-39.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Wilhelm Ackermann (1958). Asser Günter. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 , S. 30–68. Journal of Symbolic Logic 23 (1):39-40.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Wilhelm Ackermann (1950). Büchi J. Richard. Die Boole'sche Partialordnung und die Paarung von Gefuegen. Portugaliae mathematica, Bd. 7 Hefte 3–4 , S. 119–180. [REVIEW] Journal of Symbolic Logic 15 (4):283.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Wilhelm Ackermann (1952). Church Alonzo. Special Cases of the Decision Problem. Revue Philosophique de Louvain, Bd. 49 , S. 203–221. Journal of Symbolic Logic 17 (1):73-74.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. Wilhelm Ackermann (1951). 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] Journal of Symbolic Logic 16 (1):56-58.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Wilhelm Ackermann (1955). Curry Haskell B.. The Elimination Theorem When Modality is Present. Journal of Symbolic Logic 20 (1):67.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Wilhelm Ackermann (1975). Der Aufbau Einer Höheren Logik. Journal of Symbolic Logic 40 (3):458-458.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  30. Wilhelm Ackermann (1950). Dienes Paul. On Ternary Logic. Journal of Symbolic Logic 15 (3):225.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. Wilhelm Ackermann (1954). Erweitertes System. Journal of Symbolic Logic 19 (4):295-296.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32. Wilhelm Ackermann (1942). Ein System der Typenfreien Logik I. Journal of Symbolic Logic 7 (2):93-95.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33. Wilhelm Ackermann (1967). Ein Typenfreies System der Logik MIT Ausreichender Mathematischer Anwendungsfahigkeit. Journal of Symbolic Logic 32 (2):259-259.
    Direct download  
     
    Export citation  
     
    My bibliography  
  34. Wilhelm Ackermann (1952). Fitch Frederic Brenton. Symbolic Logic. An Introduction. The Ronald Press Company, New York 1952, X + 238 S. Journal of Symbolic Logic 17 (4):266-268.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Wilhelm Ackermann, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson (1967). Grundgedanken Einer Typenfreien Logik. Journal of Symbolic Logic 32 (2):259-260.
    Direct download  
     
    Export citation  
     
    My bibliography  
  36. Wilhelm Ackermann (1962). H. Arnold Schmidt: "Mathematische Gesetze der Logik I". [REVIEW] Ratio 4 (1):62.
    No categories
     
    Export citation  
     
    My bibliography  
  37. Wilhelm Ackermann (1951). Henkin Leon. An Algebraic Characterization of Quantifiers. Fundamenta Mathematicae, Bd. 37 , S. 63–74. Journal of Symbolic Logic 16 (4):290-291.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Wilhelm Ackermann (1950). Halldén Sören. The Logic of Nonsense. Uppsala Universitets Årsskrift, 1949, Heft 9 , 132 S. Journal of Symbolic Logic 15 (3):225-226.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Wilhelm Ackermann (1954). 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] Journal of Symbolic Logic 19 (2):132-133.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Wilhelm Ackermann (1957). Janiczak A.. 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] Journal of Symbolic Logic 22 (2):217.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Wilhelm Ackermann (1952). Konstruktiver Aufbau Eines Abschnitts der Zweiten Cantorschen Zahlenklasse. Journal of Symbolic Logic 17 (2):152-153.
    Direct download  
     
    Export citation  
     
    My bibliography  
  42. Wilhelm Ackermann (1948). Kemeny John G.. Models of Logical Systems. Journal of Symbolic Logic 13 (3):154-156.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Wilhelm Ackermann (1957). Quine W. V.. Reduction to a Dyadic Predicate. Journal of Symbolic Logic 22 (3):297.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Wilhelm Ackermann (1957). Review: A. A. Zykov, The Spectrum Problem in the Extended Predicate Calculus. [REVIEW] Journal of Symbolic Logic 22 (4):360-360.
    Direct download  
     
    Export citation  
     
    My bibliography  
  45. Wilhelm Ackermann (1957). Review: A. Janiczak, Undecidability of Some Simple Formalized Theories. [REVIEW] Journal of Symbolic Logic 22 (2):217-217.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46. Wilhelm Ackermann (1958). Review: Gunter Asser, Das Reprasentantenproblem im Pradikatenkalkul der Ersten Stufe mit Identitat. [REVIEW] Journal of Symbolic Logic 23 (1):38-39.
    Translate
     
     
    Export citation  
     
    My bibliography  
  47. Wilhelm Ackermann (1958). Review: Gunter Asser, Uber die Ausdrucksfahigkeit des Pradikatenkalkuls der Ersten Stufe mit Funktionalen. [REVIEW] Journal of Symbolic Logic 23 (1):39-39.
    Translate
     
     
    Export citation  
     
    My bibliography  
  48. Wilhelm Ackermann (1951). Review: G. H. Von Wright, On the Idea of Logical Truth (II). [REVIEW] Journal of Symbolic Logic 16 (2):147-148.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49. Wilhelm Ackermann (1957). Rogers Hartley Jr. Certain Logical Reduction and Decision Problems. Annals of Mathematics, Bd. 64 , S. 264–284. Journal of Symbolic Logic 22 (2):217-218.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Wilhelm Ackermann (1956). Reichbach Juliusz. Über den auf Alternative und Negation aufgebauten Aussagenkalkül. Deutsch, mit Auszügen in Polnisch und Russisch. Studia logica , Bd. 1 , S. 13–18. [REVIEW] Journal of Symbolic Logic 21 (1):87.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 80