Logic in Computer Science: Modelling and Reasoning about Systems

2026-07-29

Author

Michael Huth, Mark Ryan

Shelf

Maths

← Reading list