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
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