34 found
Sort by:
  1. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. 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 to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Wilhelm Ackermann (1958). Review: Gunter Asser, Theorie der Logischen Auswahlfunktionen. [REVIEW] Journal of Symbolic Logic 23 (1):39-40.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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  
     
    My bibliography  
     
    Export citation  
  5. Wilhelm Ackermann (1957). Review: A. Janiczak, Undecidability of Some Simple Formalized Theories. [REVIEW] Journal of Symbolic Logic 22 (2):217-217.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. 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)  
     
    My bibliography  
     
    Export citation  
  7. Wilhelm Ackermann (1957). Review: Kurt Schutte, Ein System des Verknupfenden Schliebeta ens. [REVIEW] Journal of Symbolic Logic 22 (3):297-298.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Wilhelm Ackermann (1956). Begründung Einer Strengen Implikation. Journal of Symbolic Logic 21 (2):113-128.
  10. Wilhelm Ackermann (1956). Review: Juliusz Reichbach, Uber den auf Alternative und Negation Aufgebauten Aussagenkalkul. [REVIEW] Journal of Symbolic Logic 21 (1):87-87.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  11. Wilhelm Ackermann (1956). Review: Jerzy Slupecki, Uber die Regeln des Aussagenkalkuls. [REVIEW] Journal of Symbolic Logic 21 (1):87-88.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Wilhelm Ackermann (1956). Review: Robert Stanley, An Extended Procedure in Quantificational Logic. [REVIEW] Journal of Symbolic Logic 21 (2):197-197.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Wilhelm Ackermann (1956). Review: Toshio Umezawa, Uber die Zwischensysteme der Aussagenlogik. [REVIEW] Journal of Symbolic Logic 21 (3):324-325.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. 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)  
     
    My bibliography  
     
    Export citation  
  15. Wilhelm Ackermann (1956). Review: Yoemon Sampei, Some Remarks Concerning Identity. [REVIEW] Journal of Symbolic Logic 21 (4):402-402.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. 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  
     
    My bibliography  
     
    Export citation  
  17. Wilhelm Ackermann (1955). Review: Julia Robinson, Existential Definability in Arithmetic. [REVIEW] Journal of Symbolic Logic 20 (2):182-183.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Wilhelm Ackermann (1955). Review: Kurt Schutte, Ein Widerspruchsloses System der Analysis auf Typenfreier Grundlage. [REVIEW] Journal of Symbolic Logic 20 (3):277-278.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  19. Wilhelm Ackermann (1954). Review: Arnold Schmidt, Zum Verhaltnis von Existenz und Widerspruchsfreiheit. [REVIEW] Journal of Symbolic Logic 19 (2):132-132.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  20. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Wilhelm Ackermann (1953). Review: Kurt Schutte, Beweistheoretische Untersuchung der Verzweigten Analysis. [REVIEW] Journal of Symbolic Logic 18 (1):76-76.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. 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)  
     
    My bibliography  
     
    Export citation  
  23. Wilhelm Ackermann (1952). Review: Frederic Brenton Fitch, Symbolic Logic. An Introduction. [REVIEW] Journal of Symbolic Logic 17 (4):266-268.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Wilhelm Ackermann (1952). Review: G. H. Von Wright, On Double Quantification. [REVIEW] Journal of Symbolic Logic 17 (3):201-203.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. 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  
     
    My bibliography  
     
    Export citation  
  26. 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)  
     
    My bibliography  
     
    Export citation  
  27. Wilhelm Ackermann (1951). Review: Kurt Schutte, Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie. [REVIEW] Journal of Symbolic Logic 16 (3):221-221.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Wilhelm Ackermann (1951). Review: Leon Henkin, An Algebraic Characterization of Quantifiers. [REVIEW] Journal of Symbolic Logic 16 (4):290-291.
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Wilhelm Ackermann (1950). Review: Paul Dienes, On Ternary Logic. [REVIEW] Journal of Symbolic Logic 15 (3):225-225.
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Wilhelm Ackermann (1950). Review: Soren Hallden, The Logic of Nonsense. [REVIEW] Journal of Symbolic Logic 15 (3):225-226.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Wilhelm Ackermann (1950). Review: Veli Valpola, Uber den Begriff der Quantitat. [REVIEW] Journal of Symbolic Logic 15 (2):137-137.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. 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)  
     
    My bibliography  
     
    Export citation  
  34. Wilhelm Ackermann (1948). Review: John G. Kemeny, Models of Logical Systems. [REVIEW] Journal of Symbolic Logic 13 (3):154-156.
    Direct download  
     
    My bibliography  
     
    Export citation