cover title author rating rating my rating read added Down arrow
 
xkcd: volume 0
4.34
it was amazing
Sep 08, 2014
Sep 04, 2014
 
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
4.05
really liked it
May 19, 2014
Dec 18, 2013
 
Homotopy Type Theory
4.42
it was amazing
Dec 02, 2013
Jun 29, 2013
 
Programming with Higher-Order Logic
3.33
liked it
Sep 19, 2013
May 09, 2013
 
Set Theory: An introduction to Independence Proofs  (Studies in Logic and the Foundations of Mathematics)
4.14
liked it
Aug 12, 2013
Apr 12, 2013
 
Galois Theory: Lectures Delivered at the University of Notre Dame by Emil Artin (Notre Dame Mathematical Lectures, Number 2)
4.10
liked it
Jul 10, 2012
Mar 04, 2012
 
Algorithmen zur Grafik und Bildverarbeitung
4.00
really liked it
not set
Feb 26, 2012
 
Algorithmen in der Computergraphik
0.00
not set
Feb 25, 2012
 
Mathematik in Anwendung mit C++
0.00
not set
Dec 19, 2011
 
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
4.46
not set
Dec 08, 2011
 
Counterexamples in Analysis
4.03
not set
Nov 15, 2011
 
Arrows, Structures & Functors: The Categorical Imperative
5.00
not set
Oct 18, 2011
 
Proofs from THE BOOK
4.37
not set
Oct 07, 2011
 
The Princeton Companion to Mathematics
4.40
not set
Oct 07, 2011
 
Chaos - die Ordnung des Universums: Vorstoß in Grenzbereiche der modernen Physik
3.98
not set
Sep 24, 2011
 
Flatterland: Like Flatland Only More So
3.71
not set
Sep 24, 2011
 
The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing)
3.68
not set
Aug 20, 2011
 
Pearls of Functional Algorithm Design
4.13
not set
Aug 17, 2011
 
Flatland: A Romance of Many Dimensions
3.81
really liked it
Aug 03, 2011
Jul 15, 2011
 
Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions
3.72
really liked it
not set
Jun 06, 2011
 
Advanced Topics in Types and Programming Languages
3.97
liked it
not set
Apr 25, 2011
 
Types and Programming Languages
4.22
really liked it
Jun 09, 2011
Apr 25, 2011
 
Basic Category Theory for Computer Scientists
3.58
liked it
not set
Apr 25, 2011
 
Numerical Methods for Scientists and Engineers
3.84
liked it
not set
Apr 25, 2011
 
Digital Filters
3.47
liked it
not set
Apr 25, 2011
 
Categories for Software Engineering
3.40
liked it
not set
Apr 24, 2011
 
Mengentheoretische Topologie (Springer Lehrbuch)
4.00
really liked it
not set
Apr 24, 2011
 
Algebra
3.83
liked it
not set
Apr 24, 2011
 
Axiomatising The Logic Of Computer Programming
0.00
not set
Apr 23, 2011
 
Surreal Numbers
3.78
really liked it
Sep 13, 2016
Apr 23, 2011
Rss infinite More books shelved as 'mathematics' »
« previous 1