14 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. H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) (1968). Contributions to Mathematical Logic. Amsterdam, North-Holland.
    No categories
     
    My bibliography  
     
    Export citation  
  3. 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  
  4. 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  
  5. 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  
  6. 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  
  7. H. Arnold Schmidt (1960). Mathematische Gesetze Der Logik. Berlin, Springer.
    No categories
     
    My bibliography  
     
    Export citation  
  8. 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  
  9. 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  
  10. 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  
  11. 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  
  12. 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  
  13. 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  
  14. 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