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


R. D. Dowsing, V. J. Rayward-Smith, C. D. Walter
Bok Språk ikke angitt 1986
Utgitt
Oxford : Blackwell , 1986
Omfang
vi, 265 s. : fig.
Emner
ISBN
0632013087

Bibliotek som har denne