cover title author avg rating rating my rating date read date added Down arrow
 
xkcd: volume 0
4.36
Sep 08, 2014
Sep 04, 2014
 
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
4.22
May 19, 2014
Dec 18, 2013
 
Homotopy Type Theory
4.54
Dec 02, 2013
Jun 29, 2013
 
Programming with Higher-Order Logic
3.33
Sep 19, 2013
May 09, 2013
 
Set Theory: An introduction to Independence Proofs  (Studies in Logic and the Foundations of Mathematics)
4.09
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.17
Jul 10, 2012
Mar 04, 2012
 
Algorithmen zur Grafik und Bildverarbeitung
4.00
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.39
not set
Dec 08, 2011
 
Counterexamples in Analysis
3.84
not set
Nov 15, 2011
 
Arrows, Structures & Functors: The Categorical Imperative
5.00
not set
Oct 18, 2011
 
Proofs from THE BOOK
4.34
not set
Oct 07, 2011
 
The Princeton Companion to Mathematics
4.47
not set
Oct 07, 2011
 
Chaos - die Ordnung des Universums: Vorstoß in Grenzbereiche der modernen Physik
3.97
not set
Sep 24, 2011
 
Flatterland: Like Flatland Only More So
3.67
not set
Sep 24, 2011
 
The Haskell Road to Logic, Maths and Programming. Second Edition
3.77
not set
Aug 20, 2011
 
Pearls of Functional Algorithm Design
4.19
not set
Aug 17, 2011
 
Flatland: A Romance of Many Dimensions
3.80
Aug 03, 2011
Jul 15, 2011
 
Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions
4.20
not set
Jun 06, 2011
 
Advanced Topics in Types and Programming Languages
3.95
not set
Apr 25, 2011
 
Types and Programming Languages
4.21
Jun 09, 2011
Apr 25, 2011
 
Basic Category Theory for Computer Scientists
3.48
not set
Apr 25, 2011
 
Numerical Methods for Scientists and Engineers
4.00
not set
Apr 25, 2011
 
Digital Filters
3.62
not set
Apr 25, 2011
 
Categories for Software Engineering
3.60
not set
Apr 24, 2011
 
Mengentheoretische Topologie (Springer Lehrbuch)
4.00
not set
Apr 24, 2011
 
Algebra
3.75
not set
Apr 24, 2011
 
Axiomatising The Logic Of Computer Programming
0.00
not set
Apr 23, 2011
 
Surreal Numbers
3.69
not set
Apr 23, 2011
Rss More books shelved as 'mathematics' »
« previous 1