Kripke modelleri üzerinde standart olmayan mantığın elemanları


Doç. Dr. RAMAZAN YAŞAR

Tez Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Hacettepe Üniversitesi, Fen Bilimleri Enstitüsü, Türkiye

Tez Danışmanı: Vladimir V. Rybakov

Tezin Onay Tarihi: 2001

Tezin Dili: Türkçe