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
#28766	booknerd	book owned—booknerd	2020-10-02 05:40:38

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