1
by Eijck, J. van
Published 1994
MIT Press
Subjects: ...Logic, Symbolic and mathematical...