Works by Mircea Tîrnoveanu

( view other items matching `Mircea Tîrnoveanu`, view all matches )
6 found
Order:
  1.  1
    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.  2
    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.  3
    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.  1
    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.  4
    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.  1
    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