47 found
Order:
  1.  42
    Wilhelm Ackermann (1956). Begründung Einer Strengen Implikation. Journal of Symbolic Logic 21 (2):113-128.
  2. Wilhelm Ackermann (1940). Zur Widerspruchsfreiheit der Zahlentheorie. Journal of Symbolic Logic 5 (3):125-127.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  3. Wilhelm Ackermann (1958). Zur Axiomatik der Mengenlehre. Journal of Symbolic Logic 23 (2):215-216.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  4. 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  
  5.  8
    Wilhelm Ackermann (1952). Review: Frederic Brenton Fitch, Symbolic Logic. An Introduction. [REVIEW] Journal of Symbolic Logic 17 (4):266-268.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  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  
  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.  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  
  9.  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  
  10.  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  
  11.  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  
  12.  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  
  13.  1
    Wilhelm Ackermann (1938). Mengentheoretische Begründung der Logik. Journal of Symbolic Logic 3 (2):85-85.
    Direct download  
     
    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 (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  
  16.  2
    Wilhelm Ackermann (1952). Review: G. H. Von Wright, On Double Quantification. [REVIEW] Journal of Symbolic Logic 17 (3):201-203.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  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  
  18.  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  
  19. Wilhelm Ackermann (1975). Der Aufbau Einer Höheren Logik. Journal of Symbolic Logic 40 (3):458-458.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  20. Wilhelm Ackermann (1954). Erweitertes System. Journal of Symbolic Logic 19 (4):295-296.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21. Wilhelm Ackermann (1942). Ein System der Typenfreien Logik I. Journal of Symbolic Logic 7 (2):93-95.
    Direct download  
     
    Export citation  
     
    My bibliography  
  22. 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  
  23. 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  
  24. Wilhelm Ackermann (1962). H. Arnold Schmidt: "Mathematische Gesetze der Logik I". [REVIEW] Ratio 4 (1):62.
    No categories
     
    Export citation  
     
    My bibliography  
  25. 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  
  26. 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  
  27. 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  
  28. 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  
  29. 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  
  30. 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  
  31. 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  
  32. 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  
  33. Wilhelm Ackermann (1948). Review: John G. Kemeny, Models of Logical Systems. [REVIEW] Journal of Symbolic Logic 13 (3):154-156.
    Direct download  
     
    Export citation  
     
    My bibliography  
  34. Wilhelm Ackermann (1950). Review: J. Richard Buchi, Die Boole'sche Partialordnung und die Paarung von Gefuegen. [REVIEW] Journal of Symbolic Logic 15 (4):283-283.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Wilhelm Ackermann (1955). Review: Julia Robinson, Existential Definability in Arithmetic. [REVIEW] Journal of Symbolic Logic 20 (2):182-183.
    Direct download  
     
    Export citation  
     
    My bibliography  
  36. Wilhelm Ackermann (1956). Review: Jerzy Slupecki, Uber die Regeln des Aussagenkalkuls. [REVIEW] Journal of Symbolic Logic 21 (1):87-88.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Wilhelm Ackermann (1951). Review: Kurt Schutte, Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie. [REVIEW] Journal of Symbolic Logic 16 (3):221-221.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Wilhelm Ackermann (1953). Review: Kurt Schutte, Beweistheoretische Untersuchung der Verzweigten Analysis. [REVIEW] Journal of Symbolic Logic 18 (1):76-76.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Wilhelm Ackermann (1955). Review: Kurt Schutte, Ein Widerspruchsloses System der Analysis auf Typenfreier Grundlage. [REVIEW] Journal of Symbolic Logic 20 (3):277-278.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  40. Wilhelm Ackermann (1957). Review: Kurt Schutte, Ein System des Verknupfenden Schliebeta ens. [REVIEW] Journal of Symbolic Logic 22 (3):297-298.
    Translate
     
     
    Export citation  
     
    My bibliography  
  41. Wilhelm Ackermann (1950). Review: Paul Dienes, On Ternary Logic. [REVIEW] Journal of Symbolic Logic 15 (3):225-225.
    Direct download  
     
    Export citation  
     
    My bibliography  
  42. Wilhelm Ackermann (1956). Review: Robert Stanley, An Extended Procedure in Quantificational Logic. [REVIEW] Journal of Symbolic Logic 21 (2):197-197.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43. Wilhelm Ackermann (1956). Review: Toshio Umezawa, Uber die Zwischensysteme der Aussagenlogik. [REVIEW] Journal of Symbolic Logic 21 (3):324-325.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Wilhelm Ackermann (1950). Review: Veli Valpola, Uber den Begriff der Quantitat. [REVIEW] Journal of Symbolic Logic 15 (2):137-137.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Wilhelm Ackermann (1957). Review: W. V. Quine, Reduction to a Dyadic Predicate; Alan Cobham, Reduction to a Symmetric Predicate. [REVIEW] Journal of Symbolic Logic 22 (3):297-297.
     
    Export citation  
     
    My bibliography  
  46. G. Mannoury, Albert Lautman & Wilhelm Ackermann (1936). Review of Saarnio's Untersuchungen Zur Symbolischen Logik I, Kritik des Nominalismus Und Grundlegung der Logistischen Zeichentheorie. [REVIEW] Journal of Symbolic Logic 1 (1):43-44.
    Direct download  
     
    Export citation  
     
    My bibliography  
  47. 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  
     
    Export citation  
     
    My bibliography