59 found
Order:
  1.  59
    Grundzüge der theoretischen Logik.David Hilbert & Wilhelm Ackermann - 1928 - Berlin,: J. Springer. Edited by W. Ackermann.
    Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...)
  2.  56
    Solvable cases of the decision problem.Wilhelm Ackermann - 1954 - Amsterdam,: North-Holland Pub. Co..
  3.  36
    Widerspruchsfreier aufbau der logik I: Typenfreies system ohne tertium non datur.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (1):33-57.
    Die vorliegenden Untersuchungen haben sich aus solchen entwickelt, die ich an andrer Stelle früher veröffentlichte. Die Kenntnis dieser früheren Arbeit wird in keiner Weise hier vorausgesetzt und ist für das folgende unwesentlich. Es sei mir jedoch gestattet, für den Kenner der früheren Arbeit einige Bemerkungen voraufzuschicken. In der genannten Arbeit hatte ich, angeregt ursprünglich durch Gedankengänge von Herrn Behmann, ein typenfreies System der Logik aufgebaut, das allein auf dem Gedanken fußte, daß der Definitionsbereich der Prädikate im allgemeinen beschränkt ist, sodaß (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  12
    Widerspruchsfreier Aufbau der Logik I.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (1):33-57.
    Die vorliegenden Untersuchungen haben sich aus solchen entwickelt, die ich an andrer Stelle früher veröffentlichte. Die Kenntnis dieser früheren Arbeit wird in keiner Weise hier vorausgesetzt und ist für das folgende unwesentlich. Es sei mir jedoch gestattet, für den Kenner der früheren Arbeit einige Bemerkungen voraufzuschicken. In der genannten Arbeit hatte ich, angeregt ursprünglich durch Gedankengänge von Herrn Behmann, ein typenfreies System der Logik aufgebaut, das allein auf dem Gedanken fußte, daß der Definitionsbereich der Prädikate im allgemeinen beschränkt ist, sodaß (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  13
    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)  
     
    Export citation  
     
    Bookmark  
  6.  9
    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  
  7.  11
    Curry Haskell B.. The elimination theorem when modality is present.Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (1):67-67.
  8.  12
    Dienes Paul. On ternary logic.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (3):225-225.
  9. Ein System der typenfreien Logik.Wilhelm Ackermann - 1941 - Hildesheim: Gerstenberg.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  11
    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   1 citation  
  11.  15
    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.
  12.  18
    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.
  13.  14
    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  
  14.  8
    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  
  15.  6
    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  
  16.  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)  
     
    Export citation  
     
    Bookmark  
  17.  12
    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)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  7
    Stanley Robert. An extended procedure in quantificational logic.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):197-197.
  19.  13
    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)  
     
    Export citation  
     
    Bookmark  
  20.  24
    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)  
     
    Export citation  
     
    Bookmark  
  21.  16
    Review: Soren Hallden, The Logic of Nonsense. [REVIEW]Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (3):225-226.
  22.  14
    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.
  23.  8
    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  
  24.  11
    Schütte Kurt. Beweistheoretische Erfassung der unendlichen Induktion in der Zahlen-theorie. Mathematische Annalen, Bd. 122 Heft 5 , S. 369–389. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (3):221-221.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  9
    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)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  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)  
     
    Export citation  
     
    Bookmark  
  27.  20
    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.
  28.  18
    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.
  29.  21
    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)  
     
    Export citation  
     
    Bookmark  
  30.  6
    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  
  31.  12
    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  
  32.  6
    Review: A. A. Zykov, The Spectrum Problem in the Extended Predicate Calculus. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (4):360-360.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  16
    Review: Alonzo Church, Special Cases of the Decision Problem. [REVIEW]Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (1):73-74.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  8
    Review: A. Janiczak, Undecidability of Some Simple Formalized Theories. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (2):217-217.
  35.  5
    Review: Arnold Schmidt, Zum Verhaltnis von Existenz und Widerspruchsfreiheit. [REVIEW]Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (2):132-132.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  15
    Review: Frederic Brenton Fitch, Symbolic Logic. An Introduction. [REVIEW]Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (4):266-268.
  37.  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  
  38. Review: G. H. von Wright, On Double Quantification. [REVIEW]Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (3):201-203.
  39.  8
    Review: Haskell B. Curry, A Theory of Formal Deducibility. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):56-58.
  40.  11
    Review: Haskell B. Curry, The Elimination Theorem When Modality is Present. [REVIEW]Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (1):67-67.
  41.  3
    Review: Hartley Rogers, Certain Logical Reduction and Decision Problems. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (2):217-218.
  42.  4
    Review: John G. Kemeny, Models of Logical Systems. [REVIEW]Wilhelm Ackermann - 1948 - Journal of Symbolic Logic 13 (3):154-156.
  43.  4
    Review: Julia Robinson, Existential Definability in Arithmetic. [REVIEW]Wilhelm Ackermann - 1955 - Journal of Symbolic Logic 20 (2):182-183.
  44.  12
    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)  
     
    Export citation  
     
    Bookmark  
  45.  5
    Review: Jerzy Slupecki, Uber die Regeln des Aussagenkalkuls. [REVIEW]Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (1):87-88.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Review: Kurt Schutte, Ein System des Verknupfenden Schliebeta ens. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):297-298.
     
    Export citation  
     
    Bookmark  
  47.  17
    Review: Leon Henkin, An Algebraic Characterization of Quantifiers. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (4):290-291.
  48.  9
    Review: Paul Dienes, On Ternary Logic. [REVIEW]Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (3):225-225.
  49.  8
    Review: Robert Stanley, An Extended Procedure in Quantificational Logic. [REVIEW]Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):197-197.
  50.  9
    Review: S. Issmann, Une Methode de Decision pour Certaines Formules du Calcul des Predicats. [REVIEW]Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (2):132-133.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 59