Handbook of practical logic and automated reasoning /

Bibliographic Details

Main Author:	Harrison, J. (John), 1966-
Format:	Book
Language:	English
Published:	Cambridge : Cambridge University Press, 2009.
Subjects:	Computer logic.