Dowsing, R.D A Frist Course in Formal Logic and Its Applications in Computer Science /by R.D Dowsing, - London, Blackwell Scientific Publication ; 1986. - v,265p. ISBN: 0632013087 Dewey Class. No.: 005.131 / DOW/A