From Logic to Logic Programming (Foundations of Computing)
by
Kees Doets
Hardcover
details (
USA
).
ISBN: 978-0-262-04142-3
ISBN-10: 0-262-04142-1
The MIT Press
· 1994
