Modal logic

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set t...

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Blackburn, Patrick
Formatua: Liburua
Hizkuntza:Undetermined
Argitaratua: Cambridge Cambridge University Press 2001
Gaiak:
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ