Computability Theory: Semantics and Logic Programming (Oxford Logic Guides)

by Melvin Fitting Hardcover details (UK). ISBN: 978-0-19-503691-6 ISBN-10: 0-19-503691-3 Oxford University Press Inc · 1987