rexyuan's reviews
2 reviews

OCaml from the Very Beginning by John Whitington

3.0

Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth, Mark Ryan

5.0