Residual Fınıteness for Admissible Inferense Rules


RYBAKOV V. V. , KIYATKIN V. R. , ÖNER T.

Algebra Logic, no.5, ss.334-347, 2001 (Hakemli Üniversite Dergisi)

  • Basım Tarihi: 2001
  • Dergi Adı: Algebra Logic
  • Sayfa Sayıları: ss.334-347