bookshelves

all (4738)
« 1 3 »

cover title author avg rating rating my rating date read date added Up arrow
 
The Formal Semantics of Programming Languages: An Introduction
3.67
not set
Jan 09, 2010
 
More Precisely: The Math You Need to Do Philosophy
4.10
Apr 24, 2014
Jan 09, 2010
 
An Introduction to Non-Classical Logic: From If to Is
4.19
not set
Jan 09, 2010
 
Computability and Logic
3.99
Sep 25, 2012
Jan 09, 2010
 
Turing (A Novel about Computation)
2.97
not set
Jan 09, 2010
 
Uncle Petros and Goldbach's Conjecture: A Novel of Mathematical Obsession
3.95
not set
Jan 09, 2010
 
The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise
3.54
not set
Jan 09, 2010
 
The Development of Logic
4.00
not set
Jan 09, 2010
 
An Introduction to Philosophical Logic
4.00
not set
Jan 09, 2010
 
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
3.93
May 22, 2013
Jan 09, 2010
 
Language, Proof and Logic: Text and CD
3.51
not set
Jan 09, 2010
 
Types and Programming Languages
4.23
Jan 15, 2013
Jan 12, 2010
 
The Interpretation of Object-Oriented Programming Languages
3.25
Jan 09, 2013
Jan 13, 2010
 
ABC i symbolisk logik - Logikens språk och grundbegrepp
3.57
Apr 10, 2011
Aug 26, 2010
 
Meaning And Argument: An Introduction To Logic Through Language
3.81
Jan 27, 2012
Aug 26, 2010
 
The Blackwell Guide to Philosophical Logic (Blackwell Philosophy Guides)
4.00
not set
Apr 04, 2011
 
Logikens grunder
3.00
Apr 30, 2013
Apr 10, 2011
 
Philosophical Logic
3.58
not set
Apr 25, 2011
 
Logic, Language, and Meaning, Volume 1: Introduction to Logic
3.60
Jan 17, 2012
Aug 18, 2011
 
ABC i symbolisk logik: logikens språk och grundbegrepp
3.57
Oct 31, 2011
Aug 18, 2011
 
Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar
3.73
Nov 05, 2012
Aug 18, 2011
 
Thinking about Logic: An Introduction to the Philosophy of Logic
3.79
Oct 11, 2011
Sep 15, 2011
 
Logic
3.33
not set
Sep 16, 2011
 
Logical Labyrinths
4.35
not set
Sep 20, 2011
 
Mathematical Thought from Ancient to Modern Times: Vol 1
4.28
not set
Oct 10, 2011
 
Extensions of First-Order Logic
4.50
not set
Oct 12, 2011
 
First-Order Logic
0.00
not set
Oct 12, 2011
 
Matematik inför högskolan
1.00
not set
Jan 28, 2012
 
Analys i en variabel
3.38
not set
Mar 02, 2012
 
Övningar i Analys i en variabel
2.57
not set
Mar 02, 2012
Rss More books shelved as 'formal-science' »
« previous 1