You are on the test website; all changes made here are not synced with the main database and will be overwritten periodically.

Revision History
for Logic in Computer Science: Modelling and Reasoning About Systems

Revision ID	User	Note	Date
#28768	booknerd		2020-10-02 05:41:55
#28731	booknerd		2020-10-02 02:33:58

Revision Historyfor EditionGroupLogic in Computer Science: Modelling and Reasoning About Systems