登入選單
返回Google圖書搜尋
Towards an Infinitary Logic of Domains
Marcello M. BonsangueJoost N. Kok
其他書名
Abramsky Logic for Transition Systems
出版Centrum voor Wiskunde en Informatica, 1999
URLhttp://books.google.com.hk/books?id=h-5THQAACAAJ&hl=&source=gbs_api