Advanced logic for applications

書目詳細資料
主要作者:	Grandy, Richard E.
格式:	圖書
語言:	English
出版:	Dordrecht D. Reidel c1979.
叢編:	Synthese library v. 110
主題:	Logic, Symbolic and mathematical.