МУИС-ийн номын сан

Зохиогч: Harel, David; Kozen Dexter, Tiuryn Jerzy.

Гаралтын мэдээ: Cambridge, Mass MIT Press 2000

Шифр: 22.12 H 24.
Номын сан:
Гадаад фонд (1).

Бэлэн (1).

Захиалах

МУИС-ийн номын сан catalog › Details for: Dynamic logic

Номын сангийн нэр	Дансны дугаар	Төлөв	Санамжууд	Буцаах огноо
Гадаад фонд	6017309	Бэлэн	Гадаад номын уншлагын танхим