Related changes
From Student Book World
(to pages linked from "LABELLED DEDUCTIVE SYSTEMS by GABBAY, DOV M. (PROFESSOR, DEPARTMENT OF COMPUTING, IMPERIAL COLLEGE, LONDON) ISBN 0198538332")
< LABELLED DEDUCTIVE SYSTEMS by GABBAY, DOV M. (PROFESSOR, DEPARTMENT OF COMPUTING, IMPERIAL COLLEGE, LONDON) ISBN 0198538332Below are the last 50 changes in the last 7 days, as of 13:09, 5 December 2008.
Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide minor edits
