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

Listopia > Philippa Fawcett's votes on the list Mathematics and Foundations of Computer Science (University of Oxford) (50 Books)

1	Algebraic Topology by Allen Hatcher 4.14 avg rating — 354 ratings	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	Category Theory by Steve Awodey 4.08 avg rating — 76 ratings	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	Categories for the Working Mathematician by Saunders Mac Lane 4.39 avg rating — 114 ratings	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
4	Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) by Jean-Yves Girard 4.05 avg rating — 22 ratings	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
5	Information Theory, Inference, and Learning Algorithms by David J.C. MacKay 4.52 avg rating — 488 ratings Philippa added it to to-read 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
6	Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning by Bob Coecke 4.30 avg rating — 27 ratings	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
7	The Hardy-Littlewood Method (Cambridge Tracts in Mathematics, Series Number 125) by R.C. Vaughan 3.50 avg rating — 2 ratings	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
8	An Invitation to Applied Category Theory: Seven Sketches in Compositionality by Brendan Fong 4.42 avg rating — 57 ratings	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
9	Topology and Geometry (Graduate Texts in Mathematics, 139) by Glen E. Bredon 4.12 avg rating — 25 ratings	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
10	Additive Combinatorics (Cambridge Studies in Advanced Mathematics, Series Number 105) by Terence Tao 4.53 avg rating — 19 ratings	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
11	Basic Category Theory for Computer Scientists by Benjamin C. Pierce 3.58 avg rating — 139 ratings	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
12	Handbook of Process Algebra by J.A. Bergstra really liked it 4.00 avg rating — 3 ratings	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
13	Homology Theory: An Introduction to Algebraic Topology (Graduate Texts in Mathematics, 145) by James W. Vick 3.78 avg rating — 9 ratings	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
14	An Invitation to Algebraic Geometry by Karen E. Smith 4.14 avg rating — 28 ratings	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
15	Conceptual Mathematics: A First Introduction to Categories by F. William Lawvere 4.33 avg rating — 195 ratings	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
16	Automata Theory and its Applications by Bakhadyr Khoussainov really liked it 4.00 avg rating — 3 ratings	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
17	A Basic Course in Algebraic Topology by William S. Massey 4.08 avg rating — 26 ratings	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
18	Undergraduate Algebraic Geometry (London Mathematical Society Student Texts, Series Number 12) by Miles Reid 3.71 avg rating — 31 ratings	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
19	Modal and Temporal Properties of Processes by Colin Stirling really liked it 4.00 avg rating — 3 ratings	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
20	A Concise Course in Algebraic Topology by J. Peter May 4.11 avg rating — 27 ratings	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
21	Elementary Algebraic Geometry (Student Mathematical Library, Vol. 20) (Student Mathematical Library, V. 20) by Klaus Hulek 3.50 avg rating — 4 ratings	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
22	Category Theory for Computing Science (Prentice-hall International Series in Computer Science) by Michael Barr 3.60 avg rating — 20 ratings	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
23	Handbook of Formal Languages: Volume 3. Beyond Words by Grzegorz Rozenberg (Editor) really liked it 4.00 avg rating — 2 ratings	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
24	Lecture Notes in Algebraic Topology by James F. Davis 3.50 avg rating — 2 ratings	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
25	Algebraic Geometry by Andreas Gathmann really liked it 4.00 avg rating — 3 ratings	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
26	Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science, 1043) by Faron Moller (Editor) really liked it 4.00 avg rating — 2 ratings Philippa 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
27	Algebraic Number Theory and Fermat's Last Theorem by Ian Stewart 4.21 avg rating — 39 ratings	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
28	Basic Algebraic Geometry 1: Varieties in Projective Space by Igor R. Shafarevich 3.91 avg rating — 34 ratings	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
29	Introduction to the Theory of Computation by Michael Sipser 4.24 avg rating — 2,105 ratings Philippa added it to to-read 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
30	CATEGORIES FOR QUANTUM THEORY:INTRODUCTION OGTM:NCS PAPER by Chris Heunen really liked it 4.00 avg rating — 12 ratings	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
31	Number Fields by Daniel A. Marcus 4.32 avg rating — 19 ratings	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
32	The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and their Jacobians (Lecture Notes in Mathematics, 1358) by David Mumford 4.50 avg rating — 16 ratings	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
33	Complexity Theory: Exploring the Limits of Efficient Algorithms by Ingo Wegener really liked it 4.00 avg rating — 4 ratings Philippa 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
34	Combinatorics: Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by Béla Bollobás 3.80 avg rating — 5 ratings	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
35	An Introduction To The Theory Of Numbers by G.H. Hardy 4.33 avg rating — 209 ratings	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
36	Classic Set Theory by Derek Goldrei 4.25 avg rating — 20 ratings	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
37	Computational Complexity by Christos H. Papadimitriou 3.90 avg rating — 142 ratings	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
38	Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series) by Stasys Jukna 4.53 avg rating — 17 ratings	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
39	Multiplicative Number Theory (Graduate Texts in Mathematics, 74) by Harold Davenport 4.54 avg rating — 26 ratings	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
40	The Foundations of Mathematics by Kenneth Kunen 4.21 avg rating — 14 ratings	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
41	Computers and Intractability: A Guide to the Theory of NP-Completeness (Series of Books in the Mathematical Sciences) by Michael R. Garey 4.15 avg rating — 213 ratings	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
42	Computational Topology: An Introduction by Herbert Edelsbrunner 4.18 avg rating — 17 ratings	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
43	The Music of the Primes by Marcus du Sautoy 4.12 avg rating — 5,273 ratings	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
44	Set Theory: An introduction to Independence Proofs by Kenneth Kunen 4.25 avg rating — 48 ratings	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
45	Introduction to Algorithms by Thomas H. Cormen 4.35 avg rating — 9,294 ratings Philippa added it to to-read 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
46	Games and Decisions: Introduction and Critical Survey (Dover Books on Mathematics) by R. Duncan Luce 3.80 avg rating — 145 ratings	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
47	General Topology (Dover Books on Mathematics) by Stephen Willard 4.22 avg rating — 54 ratings	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
48	Set Theory by Thomas J. Jech 4.43 avg rating — 46 ratings	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
49	Computational Complexity: A Conceptual Perspective by Oded Goldreich 4.08 avg rating — 13 ratings	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
50	Game Theory by Michael Maschler 4.31 avg rating — 42 ratings	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