Works by Mircea Tirnoveanu

( view other items matching `Mircea Tirnoveanu`, view all matches )
6 found
Order:
  1.  16
    Witold A. Pogorzelski. On the scope of the classical deduction theorem. The journal of symbolic logic, vol. 33 , pp. 77–81.Mircea Tîrnoveanu - 1975 - Journal of Symbolic Logic 40 (4):606.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  10
    Review: Witold A. Pogorzelski, The Deduction Theorem for Lukasiewicz Many-Valued Propositional Calculi. [REVIEW]Mircea Tirnoveanu - 1975 - Journal of Symbolic Logic 40 (4):605-606.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    Review: W. A. Pogorzelski, Structural Completeness of the Propositional Calculus. [REVIEW]Mircea Tirnoveanu - 1975 - Journal of Symbolic Logic 40 (4):604-605.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  10
    Review: Witold A. Pogorzelski, On the Scope of the Classical Deduction Theorem. [REVIEW]Mircea Tirnoveanu - 1975 - Journal of Symbolic Logic 40 (4):606-606.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  13
    Pogorzelski W. A.. Structural completeness of the propositional calculus. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 19 , pp. 349–351. [REVIEW]Mircea Tîrnoveanu - 1975 - Journal of Symbolic Logic 40 (4):604-605.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  17
    Witold A. Pogorzelski. The deduction theorem for Łukasiewicz many-valued propositional calculi. English with Polish and Russian summaries. Studio logica, vol. 15 , pp. 7–23. [REVIEW]Mircea Tîrnoveanu - 1975 - Journal of Symbolic Logic 40 (4):605-606.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark