Anna's votes on the list A Guide to MIRI’s Research

Listopia > Anna's votes on the list A Guide to MIRI’s Research (19 Books)

1	Principles of Model Checking by Christel Baier 4.06 avg rating — 31 ratings Anna 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
2	Introduction to the Theory of Computation by Michael Sipser 4.24 avg rating — 2,108 ratings Anna 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
3	Topology by James R. Munkres 4.30 avg rating — 1,239 ratings Anna 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
4	Basic Category Theory for Computer Scientists by Benjamin C. Pierce 3.58 avg rating — 139 ratings Anna 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
5	Linear Algebra Done Right by Sheldon Axler 4.39 avg rating — 1,279 ratings Anna 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	Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley 3.83 avg rating — 23 ratings Anna 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
7	Discrete Mathematics and its Applications by Kenneth H. Rosen 3.89 avg rating — 1,545 ratings Anna 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
8	A Mathematical Introduction to Logic by Herbert B. Enderton 3.95 avg rating — 145 ratings Anna 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
9	The Logic of Provability by George S. Boolos really liked it 4.00 avg rating — 15 ratings Anna 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
10	Game Theory: An Introduction by Steven Tadelis 4.13 avg rating — 121 ratings Anna 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
11	Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann Series in Representation and Reasoning) by Judea Pearl 4.29 avg rating — 75 ratings Anna 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
12	Computability and Logic by George S. Boolos 4.13 avg rating — 167 ratings Anna 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
13	Naive Set Theory by Paul R. Halmos 4.23 avg rating — 628 ratings Anna 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
14	Probability Theory: The Logic of Science by E.T. Jaynes 4.41 avg rating — 657 ratings Anna 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
15	Superintelligence: Paths, Dangers, Strategies by Nick Bostrom (Goodreads Author) 3.85 avg rating — 21,040 ratings Anna 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
16	Global Catastrophic Risks by Nick Bostrom (Goodreads Author) (Editor) 3.97 avg rating — 274 ratings Anna 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
17	Rationality: From AI to Zombies by Eliezer Yudkowsky (Goodreads Author) 4.32 avg rating — 1,784 ratings Anna rated it 5 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
18	An Introduction to Decision Theory by Martin Peterson 3.77 avg rating — 131 ratings Anna 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
19	Artificial Intelligence: A Modern Approach by Stuart Russell 4.20 avg rating — 4,458 ratings Anna added it to currently-reading 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