Calculus and Its Origins |
david perkins |
2012 |
the mathematical association of america |
01 History and biography |
Adhemar Bultheel |
8 Feb 13 |
Boltzmann's Legacy |
g. gallavotti, w. l. reiter, j. yngvason |
2008 |
european mathematical society |
01 History and biography |
mzahr |
15 Jun 11 |
Enlightening Symbols : A short history of mathematical notation and its hidden powers |
Joseph Mazur |
2014 |
princeton university press |
01 History and biography |
Adhemar Bultheel |
14 May 14 |
Hellmuth Kneser: Gesammelte Abhandlungen/Collected Papers |
g. betsch, k.h. hofmann, eds. |
2005 |
walter de gruyter, berlin |
01 History and biography |
jdr |
21 Oct 11 |
Mathematics Emerging. A Sourcebook 1540-1900 |
j. stedall |
2008 |
oxford university press |
01 History and biography |
mbec |
28 May 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 |
Kepler and the Universe: How One Man Revolutionized Astronomy |
David K. Love |
2015 |
prometheus books |
01 History and biography |
Adhemar Bultheel |
27 Nov 15 |
Fascinating Mathematical People. Interviews and Memoirs. |
donald j. albers and gerald l. alexanderson, editors |
2011 |
princeton university press |
01 History and biography |
Jesus M. Ruiz |
14 Jul 12 |
Mathematics and the Historian's Craft: The Kenneth O. May Lectures |
g. van brummelen, m. kinyon, eds. |
2005 |
springer, berlin: cms books in mathematics |
01 History and biography |
mbec |
21 Oct 11 |
Laurent Schwartz (1915-2002) |
c. anné |
2003 |
société mathématique de france |
01 History and biography |
jjel |
23 May 11 |
Oeuvres complètes de Jean Le Rond d’Alembert |
c. gilain, ed. |
2007 |
cnrs editions |
01 History and biography |
mbec |
14 May 11 |
The Forgotten Genius of Oliver Heaviside: A Maverick of Electrical Science |
Basil Mahon |
2017 |
prometheus books |
01 History and biography |
Adhemar Bultheel |
8 Jan 18 |
Helmut Grunsky Collected Papers |
o. roth, s. ruscheweyh |
2004 |
heldermann |
01 History and biography |
oj |
24 May 11 |
The secret formula |
Fabio Toscano |
2020 |
Princetion University Press |
01 History and biography |
Adhemar Bultheel |
15 Jun 20 |
Ernst Zermelo - An Approach to His Life and Work |
h.-d. ebbinghaus |
2007 |
springer, berlin |
01 History and biography |
mbec |
30 Sep 11 |
Mathematics and Social Utopias in France: Olinde Rodriques and His Times |
s. altmann, e. l. ortiz, eds. |
2005 |
american mathematical society, providence: history of mathematics, vol. 28 |
01 History and biography |
mbec |
21 Oct 11 |
Logic's Lost Genius - The Life of Gerhard Gentzen |
e. menzler-trott |
2007 |
american mathematical society, providence: history of mathematics, vol. 33 |
01 History and biography |
mbec |
1 Oct 11 |
Grassmann |
h.-j. petsche |
2006 |
birkhäuser, basel: vita mathematica, vol. 13 |
01 History and biography |
mbec |
21 Oct 11 |
Henri Poincaré, impatient genius |
ferdinand verhulst |
2012 |
springer verlag |
01 History and biography |
Adhemar Bultheel |
5 Oct 12 |
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 |
A First Course in Logic |
s. hedman |
2004 |
oxford university press, new york |
03 Mathematical logic and foundations |
jmk |
16 Jun 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 |
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 |
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 |
Inner Models and Large Cardinals |
m. zeman |
2001 |
de gruyter |
03 Mathematical logic and foundations |
jmlc |
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 |
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 |
Mathematical Logic |
i. chiswell, w. hodges |
2007 |
oxford university press |
03 Mathematical logic and foundations |
jmlc |
8 Jun 11 |
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 |
Construction of a Well-Ordering on the Continuum: Consequences for the Continuum Hypothesis |
f. collot |
2001 |
editions européennes, paris |
03 Mathematical logic and foundations |
jmlc |
15 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 |
Bernard Bolzano: His Life and Work |
Paul Rusnock, Jan Sebestik |
2019 |
oxford university press |
03 Mathematical logic and foundations |
Adhemar Bultheel |
3 Jun 19 |
Lectures on Algebraic Model Theory |
b. hart, m. valeriote |
2002 |
american mathematical society |
03 Mathematical logic and foundations |
jmlc |
15 Jun 11 |
Computability Theory |
s.b. cooper |
2003 |
chapman & hall/crc |
03 Mathematical logic and foundations |
akč |
23 May 11 |
A Logic of Exceptions |
thomas colignatus |
2011 |
cool, t. (consultancy & econometrics) |
03 Mathematical logic and foundations |
Margarita Bradley |
24 Jan 12 |
Borel Equivalence Relations. Structure and Classification |
v. kanovei |
2008 |
american mathematical society |
03 Mathematical logic and foundations |
psim |
7 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 |
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 |
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 |
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 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 |
Reverse Mathematics: Proofs from the Inside Out |
John Stillwell |
2017 |
princeton university press |
03 Mathematical logic and foundations |
Adhemar Bultheel |
26 Jan 18 |
Logic Colloquium 2004 |
a. andretta, k. kearnes, d. zambella |
2008 |
cambridge university press |
03 Mathematical logic and foundations |
ppaj |
30 May 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 |
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 |
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 |
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 |
Reading, Writing and Proving. A Closer Look at Mathematics |
u. daepp, p. gorkin |
2003 |
springer, berlin: undergraduate texts in mathematics |
03 Mathematical logic and foundations |
mrok |
28 Sep 11 |