Wyniki
-
A model Theoretic characterization of complexity of theories
Gabor Sagi
Bulletin of the Section of Logic , 27 /4 (1998) s. 190-195 -
Non-Computability of the Equational Theory of Polyadic Algebras
Gabor Sagi
Bulletin of the Section of Logic , 30 /3 (2001) s. 155-164 -
AbsolutelyUbiquitous Structures and אi0 - Stability
Gabor Sagi
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 43-51 -
A Short Proof for the Completeness of Paramodulacion
Gabor Sagi
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 147-152