Advanced logic for applications

Chi tiết về thư mục
Tác giả chính:	Grandy, Richard E.
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Dordrecht D. Reidel c1979.
Loạt:	Synthese library v. 110
Những chủ đề:	Logic, Symbolic and mathematical.