23 found
Sort by:
  1. H. Arnold Schmidt (1996). Rescher Nicholas. Many-sorted quantification. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 447–453. [REVIEW] Journal of Symbolic Logic 31 (1):123-124.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. J. Diller, H. Arnold Schmidt & K. Schutte (1975). Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. Journal of Symbolic Logic 40 (3):453-454.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. R. Harrop, H. Arnold Schmidt, K. Schutte & Ronald Harrop (1975). Some Forms of Models of Propositional Calculi. Journal of Symbolic Logic 40 (2):251-251.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. A. Tarski, H. Arnold Schmidt & K. Schutte (1971). Equational Logic and Equational Theories of Algebras. Journal of Symbolic Logic 36 (1):161-162.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. H. Arnold Schmidt & Ernst Jochen Thiele (1970). Contributions to Mathematical Logic. Philosophy of Science 37 (4):623-625.
     
    My bibliography  
     
    Export citation  
  6. H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) (1968). Contributions to Mathematical Logic. Amsterdam, North-Holland.
     
    My bibliography  
     
    Export citation  
  7. Kurt Schütte, H. Arnold Schmidt, H. J. Thiele & International Union of the History and Philosophy of Science (1968). Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966. North-Holland.
     
    My bibliography  
     
    Export citation  
  8. H. Arnold Schmidt (1967). Review: P. C. Gilmore, An Addition to "Logic of Many-Sorted Theories.". [REVIEW] Journal of Symbolic Logic 32 (4):521-521.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. H. Arnold Schmidt (1966). Review: Nicholas Rescher, Many-Sorted Quantification. [REVIEW] Journal of Symbolic Logic 31 (1):123-124.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. H. Arnold Schmidt (1966). Review: Wolfgang Yourgrau, Donald Livingstone, On the Matter of Mathematical Constants. [REVIEW] Journal of Symbolic Logic 31 (1):115-115.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. H. Arnold Schmidt (1962). Über Einige Neuere Untersuchungen Zur Modalitätenlogik. Journal of Symbolic Logic 27 (2):230-230.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. H. Arnold Schmidt (1962). Review: Arnold Oberschelp, Untersuchungen zur Mehrsortigen Quantorenlogik. [REVIEW] Journal of Symbolic Logic 27 (2):225-226.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. H. Arnold Schmidt (1960). Mathematische Gesetze Der Logik. Berlin, Springer.
     
    My bibliography  
     
    Export citation  
  14. H. Arnold Schmidt (1960). Review: Hakan Tornebohm, Outlines of a Boolean Tensor Algebra with Applications to the Lower Functional Calculus. [REVIEW] Journal of Symbolic Logic 25 (4):367-368.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. H. Arnold Schmidt (1960). Review: Hakan Tornebohm, Notes on Modal Operators. [REVIEW] Journal of Symbolic Logic 25 (4):368-368.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. H. Arnold Schmidt (1960). Review: Ronald Harrop, The Finite Model Property and Subsystems of Classical Propositional Calculus. [REVIEW] Journal of Symbolic Logic 25 (2):181-181.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. H. Arnold Schmidt (1960). Review: R. Harrop, On the Existence of Finite Models and Decision Procedures for Propositional Calculi. [REVIEW] Journal of Symbolic Logic 25 (2):180-181.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. H. Arnold Schmidt, A. Mostowski, Arnold Schmidt, A. Tarski & R. Feys (1960). Un Procédé Maniable de Décision Pour la Logique Propositionelle Intuitionniste. Journal of Symbolic Logic 25 (3):286-286.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. H. Arnold Schmidt (1959). Review: J. Ridder, Formalistische Betrachtungen Uber Intuitionistische und Verwandte Logische Systeme. [REVIEW] Journal of Symbolic Logic 24 (2):175-176.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. H. Arnold Schmidt (1959). Review: Paul Lorenzen, Zur Begrundung der Zweiwertigen Aussagenlogik. [REVIEW] Journal of Symbolic Logic 24 (2):175-175.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. H. Arnold Schmidt (1959). Review: Paul Lorenzen, Zur Begrundung der Modallogik. [REVIEW] Journal of Symbolic Logic 24 (2):174-175.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. H. Arnold Schmidt (1957). Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen. Archive for Mathematical Logic 3 (1/2):29.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  23. H. Arnold Schmidt (1956). Das fundamentale Implikationensystem einer implikativen Modalitätenstruktur mit idempotenter Möglichkeit. Archiv für Philosophie 5 (4):353.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation