Paulson,, Lawrence C
Logic and computation / Lawrence C. Paulson
Logic and computation / Lawrence C. Paulson
. - Cambridge : Cambridge University Press, 1990
. - XIII, 302 p. 25 cm
. - (Cambridge tracts in theoretical computer science; 2))
0-521-39560-7 (Brochado)
519.6
510.6