Theory of Deductive Systems and Its Applications (Foundations of Computing)
by
S. Yu. Maslov
Hardcover
details (
USA
).
ISBN: 978-0-262-13223-7
ISBN-10: 0-262-13223-0
The MIT Press
· 1987