Computing: A Historical and Technical Perspective |
Yoshihide Igarashi, Tom Altman, Mariko Funada, Barbara Kamiyama |
2014 |
Chapman and Hall/CRC Press |
01 History and biography |
Adhemar Bultheel |
12 Jun 14 |
The Pythagorean Theorem. A 4,000-Year History |
e. maor |
2007 |
princeton university press, princeton |
01 History and biography |
mbec |
1 Oct 11 |
Logical Dilemmas. The Life and Work of Kurt Gödel |
j. w. dawson, jr. |
2005 |
a.k. peters, wellesley |
01 History and biography |
jmlč |
30 Sep 11 |
The Mathematics of Egypt, Mesopotamia, China, India, and Islam. A Sourcebook |
v. j. katz |
2007 |
princeton university press |
01 History and biography |
mbec |
18 May 11 |
Kurt Gödel. Das Album - The Album |
karl sigmund, john dawson, kurt mühlberger |
2006 |
vieweg und sohn verlag |
01 History and biography |
Ralf Schindler (Münster, Germany) |
8 May 11 |
Trigonometric Delights |
Eli Maor |
2020 |
princeton university press, princeton |
01 History and biography |
Adhemar Bultheel |
16 May 20 |
Islamic Geometric Patterns |
Jay Bonner |
2017 |
Springer Verlag New York |
01 History and biography |
Adhemar Bultheel |
19 Mar 18 |
De la méthode. Recherches en histoire et philosophie des mathématiques |
m. bitbol et al. |
2002 |
presses universitaires franc-comtoises |
01 History and biography |
mnem |
15 Jun 11 |
An Imaginary Tale: The Story of √-1 |
paul j. nahin |
2016 |
princeton university press |
01 History and biography |
Adhemar Bultheel |
27 Apr 16 |
The Unravelers. Mathematical Snapshots |
j. f. dars, a. lesne, a. papillault |
2008 |
a.k. peters |
01 History and biography |
jl |
15 Jun 11 |
Pursuit of Genius - Flexner, Einstein and the Early Faculty at the Institute for Advanced Studies |
s. batterson |
2006 |
a.k. peters |
01 History and biography |
mbec |
1 Jun 11 |
My Search for Ramanujan |
Ken Ono, Amir D. Aczel |
2016 |
springer verlag |
01 History and biography |
Adhemar Bultheel |
21 Jun 16 |
Republic of Numbers |
David Lindsay Roberts |
2019 |
John Hopkins University Press |
01 History and biography |
Adhemar Bultheel |
20 Dec 19 |
And yet it is heard. Musical, Multilingual and Polycultural History of Mathematics (2 vols.) |
Tito M. Tonietti |
2014 |
Birkhäuser Verlag |
01 History and biography |
Adhemar Bultheel |
13 Aug 14 |
A Mathematical Autobiography |
s. mac lane |
2005 |
a. k. peters, wellesley |
01 History and biography |
mbec |
21 Oct 11 |
Euclid's Phaenomena: A Translation and Study of a Hellenistic Treatise in Spherical Astronomy |
j. l. berggren, r. s. d. thomas |
2006 |
american mathematical society, providence: history of mathematics, vol. 29 |
01 History and biography |
mbec |
22 Oct 11 |
A Mind at Play: How Claude Shannon Invented the Information Age |
Jimmy Soni, Rob Goodman |
2017 |
Simon & Schuster |
01 History and biography |
Adhemar Bultheel |
6 Jul 17 |
Thomas Harriot |
Robyn Arianrhod |
2019 |
oxford university press |
01 History and biography |
Adhemar Bultheel |
14 Oct 19 |
The Invention of Science. A New History of the Scientific Revolution |
David Wootton |
2015 |
Allen lane / Penguin Books |
01 History and biography |
Adhemar Bultheel |
27 Nov 15 |
Lectures in Logic and Set Theory; Vol I Mathematical Logic |
g. tourlakis |
2003 |
cambridge university press |
03 Mathematical logic and foundations |
psim |
17 Jun 11 |
The nature of mathematical proof |
a. bundy, d. mackenzie, m. atiyah, a. macintyre etal. |
2005 |
philos. trans. r. soc. lond. ser. a math. phys. eng. sci |
03 Mathematical logic and foundations |
Antonio Córdoba (UA Madrid, Spain) |
8 May 11 |
Circularity. A Common Secret to Paradoxes, Scientific Revolutions and Humor |
Ron Aharoni |
2016 |
world scientific |
03 Mathematical logic and foundations |
Adhemar Bultheel |
8 Aug 16 |
Lambda-Calculus and Combinators. An Introduction |
j. r. hindley, j. p. seldin |
2008 |
cambridge university press |
03 Mathematical logic and foundations |
ppaj |
30 May 11 |
Borel Liftings of Borel Sets - Some Decidable and Undecidable Statements |
g. debs, j. s. raymond |
2007 |
american mathematical society |
03 Mathematical logic and foundations |
jsp |
28 May 11 |
Set Theory. Boolean-Valued Models and Independence Proofs, third edition |
j. l. bell |
2005 |
oxford logic guides 47, oxford university press |
03 Mathematical logic and foundations |
psim |
28 Sep 11 |
Games, Scales, and Suslin Cardinals. The Cabal Seminar, vol. I |
a. kechris |
2008 |
cambridge university press |
03 Mathematical logic and foundations |
psim |
15 Jun 11 |
Reverse Mathematics: Proofs from the Inside Out |
John Stillwell |
2017 |
princeton university press |
03 Mathematical logic and foundations |
Adhemar Bultheel |
26 Jan 18 |
The Determinacy of Long Games |
i. neeman |
2004 |
walter de gruyter, berlin: de gruyter series in logic and its applications, vol. 7 |
03 Mathematical logic and foundations |
ap |
30 Sep 11 |
Computability Theory |
s.b. cooper |
2003 |
chapman & hall/crc |
03 Mathematical logic and foundations |
akč |
23 May 11 |
The Stationary Tower: Notes on a Course by W. Hugh Woodin |
p. b. larson |
2004 |
american mathematical society, providence: university lecture series, vol. 32 |
03 Mathematical logic and foundations |
jmlc |
3 Oct 11 |
Stable Domination and Independence in Algebraically Closed Valued Fields |
d. haskell, e. hrushovski, d. macpherson |
2008 |
cambridge university press |
03 Mathematical logic and foundations |
jmlc |
7 Jun 11 |
Induction and Sets |
t. forster |
2003 |
cambridge university press |
03 Mathematical logic and foundations |
psi |
8 Sep 11 |
Mathematical Logic |
i. chiswell, w. hodges |
2007 |
oxford university press |
03 Mathematical logic and foundations |
jmlc |
8 Jun 11 |
Reflections on the Foundations of Mathematics. Essays in Honour of Solomon Feferman |
w. sieg, r. sommer, c. talcott, eds. |
2002 |
a.k. peters |
03 Mathematical logic and foundations |
jmlč |
10 Sep 11 |
The Pea and the Sun: A Mathematical Paradox |
l. m. wapner |
2005 |
a. k. peters, wellesley |
03 Mathematical logic and foundations |
lp |
21 Oct 11 |
Computation, Proof, Machine. Mathematics Enters a New Age |
Gilles Dowek |
2015 |
cambridge university press |
03 Mathematical logic and foundations |
Adhemar Bultheel |
17 Aug 15 |
Logic Colloquium 2004 |
a. andretta, k. kearnes, d. zambella |
2008 |
cambridge university press |
03 Mathematical logic and foundations |
ppaj |
30 May 11 |
Computable Functions |
a. shen, n.k. vereshchagin |
2002 |
american mathematical society |
03 Mathematical logic and foundations |
jmlč |
10 Sep 11 |
Bayesian Nets and Causality |
j. williamson |
2004 |
oxford university press, oxford |
03 Mathematical logic and foundations |
isaxl |
21 Oct 11 |
Borel Equivalence Relations. Structure and Classification |
v. kanovei |
2008 |
american mathematical society |
03 Mathematical logic and foundations |
psim |
7 Jun 11 |
Hausdorff on Ordered Sets |
j. m. plotkin, ed. |
2005 |
american mathematical society, providence: history of mathematics, vol. 25 |
03 Mathematical logic and foundations |
jmlc |
22 Oct 11 |
Qualitative computing. A Computational Journey into Nonlinearity |
françoise chatelin |
2012 |
world scientific |
03 Mathematical logic and foundations |
Adhemar Bultheel |
21 Nov 12 |
A First Course in Logic |
s. hedman |
2004 |
oxford university press, new york |
03 Mathematical logic and foundations |
jmk |
16 Jun 11 |
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics |
l. crosilla, p. schuster, eds. |
2005 |
oxford university press, oxford: oxford logic guides |
03 Mathematical logic and foundations |
akč |
30 Sep 11 |
Computability and Models: Perspectives East and West |
s.b. cooper, s.s. goncharov |
2003 |
the university series in mathematics, kluwer academic publishers |
03 Mathematical logic and foundations |
akuc |
15 Jun 11 |
Lectures in Logic and set Theory; vol. II: Set Theory |
g. tourlakis: |
2003 |
cambridge university press |
03 Mathematical logic and foundations |
psim |
17 Jun 11 |
Inner Models and Large Cardinals |
m. zeman |
2001 |
de gruyter |
03 Mathematical logic and foundations |
jmlc |
15 Jun 11 |
Discrete Algorithmic Mathematics, third edition |
s. b. maurer, a. ralston |
2004 |
a.k. peters, wellesley |
03 Mathematical logic and foundations |
mmar |
30 Sep 11 |
Dependence Logic - A New Approach to Independence Friendly Logic |
j. väänänen |
2007 |
cambridge university press |
03 Mathematical logic and foundations |
ppaj |
8 Jun 11 |
One Hundred Years of Russell's Paradox |
g. link |
2004 |
walter de gruyter |
03 Mathematical logic and foundations |
ppu |
23 May 11 |