Handbook of practical logic and automated reasoning /
Harrison, J.
Handbook of practical logic and automated reasoning / John Harrison - Cambridge : Cambridge University Press, 2009 - xix, 681 p. : ill. ; 25 cm.
Includes bibliographical references and index
9780521899574 (hbk.) 0521899575 (hbk.)
Computer logic
Handbook of practical logic and automated reasoning / John Harrison - Cambridge : Cambridge University Press, 2009 - xix, 681 p. : ill. ; 25 cm.
Includes bibliographical references and index
9780521899574 (hbk.) 0521899575 (hbk.)
Computer logic