Elementary logics
Subtitle: a procedural perspective.
Series: Prentice Hall series in computer science
Publisher: Prentice Hall Europe
Published: 1998
Place of publication: London
Language: eng