A first course in formal logic and its applications in computer science

Dowsing, R.D.

A first course in formal logic and its applications in computer science R.D. Dowsing, V.J. Rayward-Smith and C.D. Walter - Oxford Blackwell Scientific Publications 1986 - vi, 265 p. fig. 24 cm. - Computer science texts .

Includes bibliographical references and index

0632013087


Ηλεκτρονικοί υπολογιστές--Μαθηματικές αρχές
Λογική, Συμβολική και μαθηματική

005.131
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud