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