Mathematics and Foundations of Computer Science (University of Oxford) (172 books)

Overview

The 12 month Master of Science in Mathematics and Foundations of Computer Science course (FHEQ Level 7) focuses on the interface between pure mathematics and theoretical computer science. The course is suitable for those who wish to pursue research in pure mathematics (especially algebra, number theory, combinatorics, general topology and their computational aspects), mathematical logic, or theoretical computer science. It is also suitable for students wishing to enter industry with an understanding of mathematical and logical design and concurrency.

It builds on Oxford’s traditional strength in the foundations of theoretical computer science and in the related areas of mathematics that stem from the early days of the Programming Research Group in the Computing Laboratory.

The courses offered are divided into two sections:
• theoretical
• applicable

Theoretical courses are concerned with those areas of mathematics and computer science which are related to the general goals stated above. The range of courses may vary from year to year.

Courses offered in 2020/2021

Section A

Schedule I:
C3.1 Algebraic Topology
B3.4 Algebraic Number Theory
C3.8 Analytic Number Theory
C1.3 Analytic Topology
C2.7 Category Theory
B2.2 Commutative Algebra
C3.3 Differentiable Manifolds
C1.2 Gödel's Incompleteness Theorems
B2.1 Introduction to Representation Theory
Lambda Calculus and Types
C2.1 Lie Algebras
C1.1 Model Theory
B3.5 Topology and Groups

Schedule II:
C3.10 Additive and Combinatorial Number Theory
C3.4 Algebraic Geometry
C1.4 Axiomatic Set Theory
C3.2 Geometric Group Theory
C2.2 Homological Algebra
C2.4 Infinite Groups
C2.6 Introduction to Schemes
C2.5 Non-Commutative Rings
C2.3 Representation Theory of Semisimple Lie Algebras
Topological Groups

Section B

Schedule I:
Categories, Proofs and Processes
Computational Complexity
Computer-Aided Formal Verification
Concurrency
Foundations of Computer Science
B8.5 Graph Theory
B8.4 Information Theory
B6.3 Integer Programming
Introduction to Cryptology
C7.4 Introduction to Quantum Information
Quantum Processes and Computation

Schedule II:
Analysing Logics using Tree Automata *
Applied Category Theory
Automata, Logic and Games
Categorical Quantum Mechanics
C8.3 Combinatorics
C3.9 Computational Algebraic Topology
Computational Game Theory
Computational Learning Theory
Distributional Models of Meaning *
C3.7 Elliptic Curves
C5.4 Networks
C8.4 Probabilistic Combinatorics
Probability and Computing

* reading courses

flag

All Votes Add Books To This List

1	Introduction to Algorithms by Thomas H. Cormen 4.35 avg rating — 9,326 ratings score: 1,391, and 18 people voted	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	Information Theory, Inference, and Learning Algorithms by David J.C. MacKay 4.52 avg rating — 488 ratings score: 1,384, and 17 people voted	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	Conceptual Mathematics: A First Introduction to Categories by F. William Lawvere 4.33 avg rating — 195 ratings score: 1,257, and 16 people voted	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	An Introduction To The Theory Of Numbers by G.H. Hardy 4.33 avg rating — 209 ratings score: 1,205, and 16 people voted	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	An Invitation to Applied Category Theory: Seven Sketches in Compositionality by Brendan Fong 4.42 avg rating — 57 ratings score: 1,184, and 17 people voted	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	Algebraic Topology by Allen Hatcher 4.13 avg rating — 356 ratings score: 1,183, and 16 people voted	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	Introduction to the Theory of Computation by Michael Sipser 4.24 avg rating — 2,106 ratings score: 1,168, and 16 people voted	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	Networks by M.E.J. Newman 4.24 avg rating — 207 ratings score: 1,135, and 17 people voted	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	Elements of Information Theory by Thomas M. Cover 4.21 avg rating — 327 ratings score: 1,130, and 16 people voted	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	Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning by Bob Coecke 4.30 avg rating — 27 ratings score: 1,113, and 17 people voted	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	The Probabilistic Method (Wiley Series in Discrete Mathematics and Optimization) by Noga Alon 4.57 avg rating — 49 ratings score: 1,103, and 17 people voted	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	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 score: 1,102, and 16 people voted	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	Probability Theory: The Logic of Science by E.T. Jaynes 4.41 avg rating — 657 ratings score: 1,101, and 15 people voted	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	Computability and Logic by George S. Boolos 4.13 avg rating — 167 ratings score: 1,089, and 15 people voted	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	Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series) by Stasys Jukna 4.53 avg rating — 17 ratings score: 1,079, and 16 people voted	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	Games and Decisions: Introduction and Critical Survey (Dover Books on Mathematics) by R. Duncan Luce 3.79 avg rating — 146 ratings score: 1,075, and 15 people voted	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	The Music of the Primes by Marcus du Sautoy 4.12 avg rating — 5,307 ratings score: 1,064, and 15 people voted	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	Algebraic Geometry (Graduate Texts in Mathematics, 52) by Robin Hartshorne 4.21 avg rating — 141 ratings score: 1,061, and 15 people voted	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	Introduction to Modern Cryptography (Chapman & Hall/CRC Cryptography and Network Security Series) by Jonathan Ned Katz 4.30 avg rating — 138 ratings score: 1,058, and 15 people voted	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	Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus by Michael Spivak 4.21 avg rating — 365 ratings score: 1,056, and 15 people voted	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	Game Theory by Michael Maschler 4.31 avg rating — 42 ratings score: 1,056, and 17 people voted	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	Categories for the Working Mathematician by Saunders Mac Lane 4.38 avg rating — 115 ratings score: 1,049, and 16 people voted	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	Course In Game Theory by Martin J. Osborne really liked it 4.00 avg rating — 139 ratings score: 1,044, and 14 people voted	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	Introduction to Graph Theory by Douglas B. West 3.99 avg rating — 178 ratings score: 1,033, and 14 people voted	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	An Introduction to Game Theory by Martin J. Osborne 3.76 avg rating — 171 ratings score: 1,031, and 14 people voted	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	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 score: 998, and 16 people voted	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	Randomized Algorithms by Rajeev Motwani 4.19 avg rating — 52 ratings score: 993, and 17 people voted	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	Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis by Michael Mitzenmacher 4.23 avg rating — 93 ratings score: 989, and 17 people voted	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	Rational Points on Elliptic Curves by Joseph H. Silverman 4.40 avg rating — 62 ratings score: 985, and 16 people voted	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	The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics, 106) by Joseph H. Silverman 4.23 avg rating — 60 ratings score: 971, and 16 people voted	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	Understanding Machine Learning by Shai Shalev-Shwartz 4.21 avg rating — 133 ratings score: 970, and 16 people voted	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	Computational Complexity by Christos H. Papadimitriou 3.90 avg rating — 142 ratings score: 959, and 14 people voted	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	Computational Topology: An Introduction by Herbert Edelsbrunner 4.18 avg rating — 17 ratings score: 953, and 16 people voted	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	Set Theory by Thomas J. Jech 4.43 avg rating — 46 ratings score: 949, and 16 people voted	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 Probability Theory and Its Applications, Volume 2 by William Feller 4.11 avg rating — 35 ratings score: 948, and 17 people voted	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	A Course in Number Theory and Cryptography (Graduate Texts in Mathematics, 114) by Neal Koblitz 4.19 avg rating — 58 ratings score: 944, and 17 people voted	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	Set Theory: An introduction to Independence Proofs by Kenneth Kunen 4.25 avg rating — 48 ratings score: 928, and 16 people voted	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	Multiplicative Number Theory (Graduate Texts in Mathematics, 74) by Harold Davenport 4.54 avg rating — 26 ratings score: 893, and 16 people voted	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	Integer Programming by Laurence A. Wolsey 4.21 avg rating — 38 ratings score: 890, and 16 people voted	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	Basic Category Theory for Computer Scientists by Benjamin C. Pierce 3.58 avg rating — 139 ratings score: 886, and 12 people voted	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	Approximation Algorithms by Vijay V. Vazirani 4.20 avg rating — 56 ratings score: 878, and 15 people voted	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	An Invitation to Algebraic Geometry by Karen E. Smith 4.11 avg rating — 27 ratings score: 859, and 15 people voted	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	Basic Category Theory (Cambridge Studies in Advanced Mathematics, Series Number 143) by Tom Leinster 4.50 avg rating — 40 ratings score: 857, and 15 people voted	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	Trees (Springer Monographs in Mathematics) by Jean-Pierre Serre 4.47 avg rating — 15 ratings score: 857, and 14 people voted	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	The Rising Sea: Foundations of Algebraic Geometry by Ravi Vakil 4.61 avg rating — 23 ratings score: 834, and 14 people voted	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	Advanced Topics in the Arithmetic of Elliptic Curves (Graduate Texts in Mathematics, 151) by Joseph H. Silverman 4.18 avg rating — 17 ratings score: 830, and 15 people voted	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	Category Theory by Steve Awodey 4.08 avg rating — 76 ratings score: 827, and 15 people voted	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	General Topology (Dover Books on Mathematics) by Stephen Willard 4.22 avg rating — 54 ratings score: 819, and 16 people voted	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	Godel's Incompleteness Theorems by Raymond M. Smullyan 4.38 avg rating — 65 ratings score: 808, and 15 people voted	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	Foundations of Machine Learning by Mehryar Mohri 4.22 avg rating — 95 ratings score: 798, and 15 people voted	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
51	Introduction To Commutative Algebra by Atiyah M.F. 4.43 avg rating — 138 ratings score: 792, and 15 people voted	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
52	Number Fields by Daniel A. Marcus 4.32 avg rating — 19 ratings score: 738, and 14 people voted	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
53	The Nature of Statistical Learning Theory by Vladimir N. Vapnik 4.29 avg rating — 35 ratings score: 737, and 14 people voted	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
54	Communicating sequential processes (Prentice-Hall International series in computer science) by C.A.R. Hoare 4.26 avg rating — 43 ratings score: 735, and 13 people voted	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
55	Graph Theory (Graduate Texts in Mathematics, 173) by Reinhard Diestel 4.05 avg rating — 98 ratings score: 734, and 13 people voted	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
56	Introduction to Lie Algebras and Representation Theory (Graduate Texts in Mathematics, #9) by James E. Humphreys 4.19 avg rating — 36 ratings score: 731, and 14 people voted	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
57	Representations and Characters of Groups by Gordon James 4.31 avg rating — 26 ratings score: 684, and 14 people voted	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
58	A Comprehensive Introduction to Differential Geometry, Vol. 1 by Michael Spivak 4.27 avg rating — 75 ratings score: 678, and 13 people voted	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
59	Graph Theory (Graduate Texts in Mathematics, 244) by Adrian Bondy 4.14 avg rating — 42 ratings score: 673, and 12 people voted	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
60	An Introduction to Homological Algebra (Cambridge Studies in Advanced Mathematics, Series Number 38) by Charles A. Weibel 4.38 avg rating — 24 ratings score: 672, and 12 people voted	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
61	Lie Groups, Lie Algebras, and Representations: An Elementary Introduction (Graduate Texts in Mathematics, 222) by Brian C. Hall 4.23 avg rating — 35 ratings score: 665, and 14 people voted	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
62	Classic Set Theory by Derek Goldrei 4.25 avg rating — 20 ratings score: 636, and 13 people voted	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
63	Basic Algebraic Geometry 1: Varieties in Projective Space by Igor R. Shafarevich 3.91 avg rating — 34 ratings score: 626, and 12 people voted	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
64	An Introduction to Computational Learning Theory by Michael J. Kearns 3.90 avg rating — 40 ratings score: 614, and 11 people voted	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
65	A Basic Course in Algebraic Topology by William S. Massey 4.08 avg rating — 26 ratings score: 611, and 14 people voted	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
66	Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) by Jean-Yves Girard 4.05 avg rating — 22 ratings score: 608, and 11 people voted	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
67	Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening 4.17 avg rating — 12 ratings score: 604, and 11 people voted	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
68	Topology and Geometry (Graduate Texts in Mathematics, 139) by Glen E. Bredon 4.12 avg rating — 25 ratings score: 600, and 13 people voted	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
69	Algebraic Number Theory and Fermat's Last Theorem by Ian Stewart 4.21 avg rating — 39 ratings score: 589, and 14 people voted	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
70	Lambda Calculi: A Guide for Computer Scientists (Graduate Texts in Computer Science, Volume 3) by Chris Hankin really liked it 4.00 avg rating — 15 ratings score: 573, and 12 people voted	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
71	Category Theory in Context by Emily Riehl 4.49 avg rating — 68 ratings score: 561, and 11 people voted	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
72	Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth 3.96 avg rating — 74 ratings score: 557, and 10 people voted	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
73	Linear algebra by Serge Lang 3.92 avg rating — 114 ratings score: 553, and 11 people voted	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
74	Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations by Yoav Shoham 3.73 avg rating — 37 ratings score: 541, and 10 people voted	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
75	The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by Henk Barendregt 4.17 avg rating — 36 ratings score: 537, and 14 people voted	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
75	Representation Theory: A First Course (Graduate Texts in Mathematics, 129) by William Fulton 3.97 avg rating — 39 ratings score: 537, and 11 people voted	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
77	Principles of Model Checking by Christel Baier 4.06 avg rating — 31 ratings score: 530, and 10 people voted	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
78	Google's PageRank and Beyond: The Science of Search Engine Rankings by Amy N. Langville 3.73 avg rating — 74 ratings score: 529, and 11 people voted	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
79	Information Theory (Dover Books on Mathematics) by Robert B. Ash 3.96 avg rating — 49 ratings score: 526, and 10 people voted	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
80	Commutative Algebra: with a View Toward Algebraic Geometry (Graduate Texts in Mathematics, 150) by David Eisenbud 3.96 avg rating — 46 ratings score: 523, and 11 people voted	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
81	A Concise Course in Algebraic Topology by J. Peter May 4.04 avg rating — 27 ratings score: 520, and 13 people voted	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
82	Additive Combinatorics (Cambridge Studies in Advanced Mathematics, Series Number 105) by Terence Tao 4.55 avg rating — 20 ratings score: 519, and 7 people voted	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
83	Undergraduate Algebraic Geometry (London Mathematical Society Student Texts, Series Number 12) by Miles Reid 3.71 avg rating — 31 ratings score: 513, and 9 people voted	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
84	Linear Representations of Finite Groups (Graduate Texts in Mathematics, 42) by Jean-Pierre Serre 3.89 avg rating — 35 ratings score: 506, and 11 people voted	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
84	CATEGORIES FOR QUANTUM THEORY:INTRODUCTION OGTM:NCS PAPER by Chris Heunen really liked it 4.00 avg rating — 12 ratings score: 506, and 7 people voted	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
86	Graph Colouring and the Probabilistic Method by Michael Molloy 4.83 avg rating — 6 ratings score: 496, and 7 people voted	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
87	The Logic of Provability by George S. Boolos really liked it 4.00 avg rating — 15 ratings score: 495, and 12 people voted	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
88	Complex Semisimple Lie Algebras by Jean-Pierre Serre 4.44 avg rating — 9 ratings score: 485, and 7 people voted	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
89	Spectral Graph Theory (CBMS Regional Conference Series in Mathematics, No. 92) by Fan Chung 3.85 avg rating — 13 ratings score: 482, and 11 people voted	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
90	New Structures for Physics (Lecture Notes in Physics, 813) by Bob Coecke (Editor) 4.75 avg rating — 4 ratings score: 474, and 6 people voted	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
91	Introduction to Lie Algebras (Springer Undergraduate Mathematics Series) by Karin Erdmann 4.07 avg rating — 14 ratings score: 472, and 7 people voted	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
92	Foundations of Differentiable Manifolds and Lie Groups by Frank W. Warner 3.62 avg rating — 24 ratings score: 461, and 9 people voted	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
93	Modern Graph Theory (Graduate Texts in Mathematics, 184) by Béla Bollobás 3.92 avg rating — 59 ratings score: 459, and 8 people voted	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
94	Categorical Homotopy Theory (New Mathematical Monographs, Series Number 24) by Emily Riehl 4.25 avg rating — 8 ratings score: 443, and 6 people voted	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
95	Introduction To Differential Manifolds, An by Dennis Barden 4.50 avg rating — 4 ratings score: 442, and 7 people voted	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
96	Category Theory for Computing Science (Prentice-hall International Series in Computer Science) by Michael Barr 3.60 avg rating — 20 ratings score: 433, and 8 people voted	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
97	Elliptic Curves. (MN-40) by Anthony W. Knapp 4.20 avg rating — 5 ratings score: 430, and 8 people voted	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
98	Fourier Analysis on Groups by Walter Rudin 4.29 avg rating — 14 ratings score: 428, and 8 people voted	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
98	Computational Aspects of Cooperative Game Theory by Georgios Chalkiadakis really liked it 4.00 avg rating — 5 ratings score: 428, and 5 people voted	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
100	Game Theory, Alive by Anna R Karlin 4.17 avg rating — 6 ratings score: 425, and 5 people voted	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