Works by T. Gergely

( view other items matching `T. Gergely`, view all matches )
5 found
Order:
Disambiguations
T. Gergely [6]Thomas Gergely [2]Tamás Gergely [1]Tomas Gergely [1]
  1.  43
    On universal algebraic constructions of logics.H. Andréka, T. Gergely & I. Németi - 1977 - Studia Logica 36 (1-2):9 - 47.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  15
    Sufficient and Necessary Condition for the Completeness of a Calculus.H. Andréka, T. Gergely & I. Németi - 1974 - Mathematical Logic Quarterly 20 (28‐29):433-434.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  31
    Sufficient and Necessary Condition for the Completeness of a Calculus.H. Andréka, T. Gergely & I. Németi - 1974 - Mathematical Logic Quarterly 20 (28-29):433-434.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  25
    Equational Theories and Equivalences of Programs.B. Courcelle, B. Domolki, T. Gergely, J. W. de Bakker, J. I. Zucker & E. Engeler - 1984 - Journal of Symbolic Logic 49 (3):990-991.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  30
    Model theoretical investigation of theorem proving methods.T. Gergely & K. P. Vershinin - 1978 - Notre Dame Journal of Formal Logic 19 (4):523-542.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark