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