Elias's votes on the list Mathematics and Foundations of Computer Science (University of Oxford)

Listopia > Elias's votes on the list Mathematics and Foundations of Computer Science (University of Oxford) (3 Books)

1	Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning by Bob Coecke 4.30 avg rating — 27 ratings Elias rated it 3 stars See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
2	Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) by Jean-Yves Girard 4.05 avg rating — 22 ratings Elias rated it 4 stars See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
3	Godel's Incompleteness Theorems by Raymond M. Smullyan 4.38 avg rating — 65 ratings Elias rated it 4 stars See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars