TY - GEN AU - Tremblay,J.P TI - Discrete mathematical structures with applications to computer science SN - 0070651426 U1 - 510.2 PY - 1975/// CY - New Delhi PB - Tata McGraw-Hill Publishing Company Limited KW - Computer Science KW - Theory of the predicate calculus KW - Introduction to computability theory ER -