22 found
Order:
  1. Nachgelassene Schriften Und Wissenschaftlicher Briefwechsel.Gottlob Frege, Hans Hermes, Friedrich Kambartel & Kaulbach - 1969
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  2. Nachgelassene Schriften.Gottlob Frege, Hans Hermes, Friedrich Kambartel & Friedrich Kaulbach - 1972 - Philosophy of Science 39 (2):269-271.
     
    Export citation  
     
    Bookmark   20 citations  
  3. Gottlob Frege: Philosophical and Mathematical Correspondence.Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart, Brian McGuinness & Hans Kaal (eds.) - 1980 - Blackwell.
     
    Export citation  
     
    Bookmark   7 citations  
  4.  26
    Helena Rasiowa. Wstęp Do Matematyki Współczesnej. Third Edition. Biblioteka Matematyczna, Vol. 30. Polısh Original of the Foregoing. Państwowe Wydawnictwo Naukowe, Warsaw1971, 302 Pp. - Rózsa Peter. Rekursive Funktionen in der Komputer-Theorie. Akadémiai Kiadó, Budapest1976, 190 Pp. [REVIEW]Hans Hermes - 1978 - Journal of Symbolic Logic 43 (1):154.
  5.  11
    Thomason Richmond H.. Symbolic Logic. An Introduction. The Macmillan Company, Collier-Macmillan Limited, London 1970, Xiii + 367 Pp. [REVIEW]Hans Hermes - 1971 - Journal of Symbolic Logic 36 (4):678.
  6.  8
    Introduction to Mathematical Logic.Hans Hermes - 1973 - New York: Springer Verlag.
  7.  9
    Eine Axiomatisierung der Allgemeinen Mechanik.Hans Hermes - 1938 - Journal of Symbolic Logic 3 (3):119-120.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  15
    La Teoria de Reticulos y Su Aplicación a la Lógica Matemática.Hans Hermes - 1971 - Journal of Symbolic Logic 36 (3):545-546.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  5
    Term Logic with Choice Operator.Hans Hermes - 1971 - Journal of Symbolic Logic 36 (4):679-680.
  10.  4
    Eine Termlogik Mit Auswahloperator.Hans Hermes - 1965 - Springer Verlag.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  11.  3
    Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in Die Theorie der Rekursiven Funktionen.Hans Hermes - 1966 - Journal of Symbolic Logic 31 (2):254-254.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  6
    Ein Axiomensystem für die Syntax des Logikkalküls.Hans Hermes - 1937 - Travaux du IXe Congrès International de Philosophie 6:43-45.
    1. Les procédés de construction du calcul logique classique. Les expressions. Les propositions. Les propositions syntactiques. Les propriétés ou rapports de structure. On recherche ici un système d’axiomes d’où puissent se déduire les propriétés de structure, sans aucun appel à l’intuition. — 2. Les quatre axiomes de 1’« arithmétique généralisée ». — 3. Extension de ce système d’axiomes au système d’axiomes de la syntaxe du calcul logique. Possibilité de déduire des propositions syntactiques sans revenir à l’intuition. — 4. L’avantage de (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  10
    In Memoriam: Wilhelm Ackermann (1896-1962).Hans Hermes - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):1-8.
  14.  6
    Gedenken an Heinrich Scholz.H. Seifert, Carl Heinz Ratschow & Hans Hermes - 1960 - Journal of Symbolic Logic 25 (1):65-66.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  6
    Review: P. Lorenzen, Methodical Thinking. [REVIEW]Hans Hermes - 1968 - Journal of Symbolic Logic 33 (4):618-618.
  16.  6
    Review: Richmond H. Thomason, Symbolic Logic. [REVIEW]Hans Hermes - 1971 - Journal of Symbolic Logic 36 (4):678-678.
  17.  1
    P. Lorenzen. Methodical Thinking. Ratio , Bd. 7 , S. 35–60.Hans Hermes - 1969 - Journal of Symbolic Logic 33 (4):618.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  3
    Eine Rein Topologische Form Nichtaristotelischer Logik.Carl G. Hempel, Hans Hermes & Heinrich Scholz - 1937 - Journal of Symbolic Logic 2 (2):94-94.
  19.  1
    Maschinen Zur Entscheidung von Mathematischen Problemen.Hans Hermes - 1957 - Journal of Symbolic Logic 22 (4):376-377.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  2
    Einführung in Die Mathematische Logik Klassische Prädikatenlogik.Hans Hermes - 1963 - Teubner.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Prädikatenlogik und theorie der rekursiven funktionen.Hans Hermes - 1968 - In Raymond Klibansky (ed.), Contemporary Philosophy. Firenze, la Nuova Italia. pp. 1--254.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Zur Geschichte der Mathematischen Logik Und Grundlagenforschung in den Letzten Funfundsiebzig Jahren.Hans Hermes - 1968 - Journal of Symbolic Logic 33 (1):112-112.