robd

Rob

147 Reads

Want to Read 46

Currently Reading 1

The Night Circus

Read 147

A Brief History of Time
The Girl in the Tower
An introduction to bisimulation and coinduction
Modal Logic
Cover 8

How to Reassess Your Chess

Cover 3

Godel's Proof

Cover 7

A New Introduction to Modal Logic

A PhD Is Not Enough!: A Guide to Survival in Science
Category Theory
Programming in Haskell