Holdings: Logic for computer science /

Bibliographic Details
Main Author:	Reeves, Steven
Other Authors:	Clarke, Michael
Format:	Book
Language:	English
Published:	Workingham : Addison-Wesley, 1990.
Subjects:	Mantık, sembolik ve matematiksel. Logic, Symbolic and mathematical

Holdings details from Menteşe Kütüphanesi
Call Number:	QA9 .R448 1990
Copy k.1	Available