W. V. D. Hodge's votes on the list Mathematics and Foundations of Computer Science (University of Oxford)

Listopia > W. V. D. Hodge's votes on the list Mathematics and Foundations of Computer Science (University of Oxford) (86 Books)

1	Information Theory, Inference, and Learning Algorithms by David J.C. MacKay 4.52 avg rating — 487 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	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
3	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
4	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
5	Introduction to Algorithms by Thomas H. Cormen 4.35 avg rating — 9,316 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
6	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
7	The Probabilistic Method (Wiley Series in Discrete Mathematics and Optimization) by Noga Alon 4.57 avg rating — 49 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	Algebraic Topology by Allen Hatcher 4.13 avg rating — 357 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	Introduction to the Theory of Computation by Michael Sipser 4.24 avg rating — 2,103 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	Probability Theory: The Logic of Science by E.T. Jaynes 4.41 avg rating — 656 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	Networks by M.E.J. Newman 4.24 avg rating — 207 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	Elements of Information Theory 2nd Edition (Wiley Series in Telecommunications and Signal Processing) by Thomas M. Cover 4.21 avg rating — 327 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	Introduction to Modern Cryptography (Chapman & Hall/CRC Cryptography and Network Security Series) by Jonathan Ned Katz 4.31 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
14	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
15	Categories for the Working Mathematician by Saunders Mac Lane 4.38 avg rating — 115 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	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 — 212 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	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
18	Computability and Logic by George S. Boolos 4.13 avg rating — 167 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	Games and Decisions: Introduction and Critical Survey (Dover Books on Mathematics) by R. Duncan Luce 3.79 avg rating — 146 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	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
21	The Music of the Primes by Marcus du Sautoy 4.12 avg rating — 5,293 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	Algebraic Geometry (Graduate Texts in Mathematics, 52) by Robin Hartshorne 4.21 avg rating — 141 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	Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus by Michael Spivak 4.21 avg rating — 365 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	Rational Points on Elliptic Curves by Joseph H. Silverman 4.40 avg rating — 62 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	Course In Game Theory by Martin J. Osborne really liked it 4.00 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
26	The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics, 106) by Joseph H. Silverman 4.23 avg rating — 60 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
27	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
28	Introduction to Graph Theory by Douglas B. West 3.99 avg rating — 178 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	An Introduction to Game Theory by Martin J. Osborne 3.76 avg rating — 171 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
30	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
31	The Rising Sea: Foundations of Algebraic Geometry by Ravi Vakil 4.61 avg rating — 23 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	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
33	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
34	Trees (Springer Monographs in Mathematics) by Jean-Pierre Serre 4.47 avg rating — 15 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	Randomized Algorithms by Rajeev Motwani 4.18 avg rating — 51 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	Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis by Michael Mitzenmacher 4.23 avg rating — 93 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	Understanding Machine Learning by Shai Shalev-Shwartz 4.20 avg rating — 132 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	Basic Category Theory (Cambridge Studies in Advanced Mathematics, Series Number 143) by Tom Leinster 4.50 avg rating — 40 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	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
40	An Introduction to Probability Theory and Its Applications, Volume 2 by William Feller 4.11 avg rating — 35 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	A Course in Number Theory and Cryptography (Graduate Texts in Mathematics, 114) by Neal Koblitz 4.21 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
42	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
43	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
44	Advanced Topics in the Arithmetic of Elliptic Curves (Graduate Texts in Mathematics, 151) by Joseph H. Silverman 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
45	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
46	Integer Programming by Laurence A. Wolsey 4.21 avg rating — 38 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	Introduction To Commutative Algebra by Atiyah M.F. 4.43 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
48	Approximation Algorithms by Vijay V. Vazirani 4.20 avg rating — 56 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	Communicating sequential processes (Prentice-Hall International series in computer science) by C.A.R. Hoare 4.26 avg rating — 43 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	Foundations of Machine Learning by Mehryar Mohri 4.22 avg rating — 95 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
51	An Introduction to Homological Algebra (Cambridge Studies in Advanced Mathematics, Series Number 38) by Charles A. Weibel 4.38 avg rating — 24 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
52	The Nature of Statistical Learning Theory by Vladimir N. Vapnik 4.29 avg rating — 35 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
53	Introduction to Lie Algebras and Representation Theory (Graduate Texts in Mathematics, #9) by James E. Humphreys 4.19 avg rating — 36 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
54	Godel's Incompleteness Theorems by Raymond M. Smullyan 4.38 avg rating — 65 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
55	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
56	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
57	Graph Theory (Graduate Texts in Mathematics, 173) by Reinhard Diestel 4.05 avg rating — 98 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
58	Representations and Characters of Groups by Gordon James 4.31 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
59	Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening 4.17 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
60	Graph Theory (Graduate Texts in Mathematics, 244) by Adrian Bondy 4.12 avg rating — 41 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
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	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	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	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	Category Theory in Context by Emily Riehl 4.49 avg rating — 69 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
64	A Comprehensive Introduction to Differential Geometry, Vol. 1 by Michael Spivak 4.26 avg rating — 74 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
65	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
66	An Introduction to Computational Learning Theory by Michael J. Kearns 3.90 avg rating — 40 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
67	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
68	A Concise Course in Algebraic Topology by J. Peter May 4.07 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
69	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
70	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
71	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
72	The Logic of Provability by George S. Boolos really liked it 4.00 avg rating — 15 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
73	Spectral Graph Theory (CBMS Regional Conference Series in Mathematics, No. 92) by Fan Chung 3.85 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
74	The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by Henk Barendregt 4.14 avg rating — 35 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
75	Principles of Model Checking by Christel Baier 4.06 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
76	Google's PageRank and Beyond: The Science of Search Engine Rankings by Amy N. Langville 3.73 avg rating — 74 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
77	Commutative Algebra: with a View Toward Algebraic Geometry (Graduate Texts in Mathematics, 150) by David Eisenbud 3.96 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
78	Fourier Analysis on Groups by Walter Rudin 4.29 avg rating — 14 ratings W. V. D. 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
79	Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth 3.96 avg rating — 74 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
80	Representation Theory: A First Course (Graduate Texts in Mathematics, 129) by William Fulton 3.97 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
81	Linear algebra by Serge Lang 3.92 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
82	Linear Representations of Finite Groups (Graduate Texts in Mathematics, 42) by Jean-Pierre Serre 3.89 avg rating — 35 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
83	The Geometry of Schemes (Graduate Texts in Mathematics, 197) by David Eisenbud really liked it 4.00 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
84	An Introduction to Differentiable Manifolds and Riemannian Geometry, Revised (Volume 120) (Pure and Applied Mathematics, Volume 120) by William M. Boothby 3.94 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
85	Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42) by J. Roger Hindley really liked it 4.00 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
86	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