1
by Eijck, J. van
Published 1994
MIT Press
..."The thirteen chapters written expressly for this book by logicians, theoretical computer...