70 found
Order:
  1.  82
    Begrundung Einer Strengen Implik.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21:113.
  2.  9
    Symbolic Logic. An Introduction.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (4):266-268.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   32 citations  
  3.  5
    Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  4.  15
    Begründung Einer Strengen Implikation.Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):327-328.
  5.  10
    Review: W. V. Quine, Reduction to a Dyadic Predicate; Alan Cobham, Reduction to a Symmetric Predicate. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):297-297.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  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.
  7.  1
    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.  14
    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.
  9.  26
    Widerspruchsfreier Aufbau der Logik I: Typenfreies System Ohne Tertium Non Datur.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (1):33-57.
  10.  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  
  11.  17
    Valpola Veli. Über den Begriff der Quantität. Ajatus , Bd. 15 , S. 261–298.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (2):137-137.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  15
    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.
  13.  15
    Schütte Kurt. Ein widerspruchsloses System der Analysis auf typenfreier Grundlage. Mathematische Zeitschrift, Bd. 61 , S. 160–179. [REVIEW]Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (3):277-278.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  8
    Widerspruchsfreier Aufbau der Logik I. Typenfreies System Ohne Tertium Non Datur.Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):72-72.
  15.  9
    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  
  16.  13
    Schütte Kurt. Ein System des verknüpfenden Schließens. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4, S. 34–67; auch Archiv für Philosophie, Bd. 5 Heft 4 , S. 375–387. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):297-298.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  4
    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  
  18.  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.
  19.  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  
  20.  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  
  21.  11
    Słupecḱi Jerzy. Über die Regeln des Aussagenkalküls. Deutsch, mit Auszügen in Polnisch und Russisch. Ebd., S. 19–43.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (1):87-88.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  11
    Umezawa Toshio. Über die Zwischensysteme der Aussagenlogik. Nagoya mathematical journal. Bd. 9 , S. 181–189.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (3):324-325.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  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  
  24.  8
    Review: Frederic Brenton Fitch, Symbolic Logic. An Introduction. [REVIEW]Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (4):266-268.
  25.  9
    G. H. von Wright. On double quantification. Societas Scientiarum Fennica, Commentationes physico-mathematicae, Bd. 16, Nr. 3. Helsingfors1952, 14 S. [REVIEW]Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (3):201-203.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  13
    Review: Leon Henkin, An Algebraic Characterization of Quantifiers. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (4):290-291.
  27.  11
    Mengentheoretische Begründung der Logik.Wilhelm Ackermann - 1938 - Journal of Symbolic Logic 3 (2):85-85.
  28.  8
    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  
  29.  8
    G. H. Von Wright. On the Idea of Logical Truth . Societas Scientiaru M Fennica, Commentationes Physico-Mathematicae, Bd. 15, Nr. 10. Kopenhagen Und Helsingfors1950, 45 S. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (2):147-148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  5
    Review: Haskell B. Curry, A Theory of Formal Deducibility. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):56-58.
  31.  10
    Review: Haskell B. Curry, The Elimination Theorem When Modality is Present. [REVIEW]Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (1):67-67.
  32.  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  
  33.  7
    Curry Haskell B.. The Elimination Theorem When Modality is Present.Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (1):67-67.
  34.  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  
  35.  7
    Quine W. V.. Reduction to a Dyadic Predicate. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):297-297.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  10
    Review: Juliusz Reichbach, Uber den auf Alternative und Negation Aufgebauten Aussagenkalkul. [REVIEW]Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (1):87-87.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  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  
  38.  6
    A. A. Zykov. Probléma Spéktra V Rasširénnom Isčislénii Prédikatov. Lzvéstiá Akadémii Nauk SSSR, Sériá Matématičéskaá, Bd. 17 , S. 63–76. - A. A. Zykov. The Spectrum Problem in the Extended Predicate Calculus. Englische Übersetzung des Vorhergehenden, von G. L. Kline. American Mathematical Society Translations, 2. Reihe Bd. 3 , S. 1–14. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (4):360-360.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  7
    Der Aufbau Einer Höheren Logik.Wilhelm Ackermann - 1975 - Journal of Symbolic Logic 40 (3):458-458.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  8
    Review: Soren Hallden, The Logic of Nonsense. [REVIEW]Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (3):225-226.
  41.  4
    Review: A. Janiczak, Undecidability of Some Simple Formalized Theories. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (2):217-217.
  42.  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  
  43.  5
    Dienes Paul. On Ternary Logic.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (3):225-225.
  44.  5
    Rogers Hartley Jr. Certain Logical Reduction and Decision Problems. Annals of Mathematics, Bd. 64 , S. 264–284.Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (2):217-218.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  5
    Stanley Robert. An Extended Procedure in Quantificational Logic.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):197-197.
  46.  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  
  47.  6
    G. H. Von Wright. On the Idea of Logical Truth . Societas Scientiaru M Fennica, Commentationes Physico-Mathematicae, Bd. 15, Nr. 10. Kopenhagen Und Helsingfors1950, 45 S. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (2):147-148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  6
    Une Méthode de Décision Pour Certaines Formules du Calcul des Prédicats.Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (2):132-133.
  49.  1
    Ein System der Typenfreien Logik I.Wilhelm Ackermann - 1942 - Journal of Symbolic Logic 7 (2):93-95.
  50.  5
    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]Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (4):401-402.
1 — 50 / 70