Lectures on Generating Functions |
s. k. lando |
2003 |
american mathematical society |
05 Combinatorics |
jive |
23 May 11 |
Matroid Theory |
j. oxley |
2006 |
oxford university press, oxford: oxford graduate texts in mathematics 3 |
05 Combinatorics |
pang |
23 Oct 11 |
Graphs, Colourings and the Four-colour Theorem |
r. a. wilson |
2002 |
oxford university press, oxford |
05 Combinatorics |
jk |
17 Jun 11 |
An Atlas of Edge-Reverse Dynamics |
v. c. barbosa |
2001 |
chapman & hall/crc, boca raton |
05 Combinatorics |
rbar |
14 Jun 11 |
Combinatorics, Complexity and Chance - A Tribute to Dominic Welsh |
g. grimmett, c. mcdiarmid |
2007 |
oxford university press |
05 Combinatorics |
mloe |
1 Jun 11 |
Efficient Graph Representations |
j.p. spinrad |
2003 |
american mathematical society |
05 Combinatorics |
jk |
24 May 11 |
Generating functionology, third edition |
h. s. wilf |
2006 |
a.k. peters, wellesley |
05 Combinatorics |
jive |
23 Oct 11 |
Graphs and Homomorphisms |
p. hell, j. nešetřil: |
2004 |
oxford university press, oxford: oxford lecture series in mathematics and its applications 28 |
05 Combinatorics |
jk |
28 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 |
Proof and Disproof in Formal Logic. An Introduction for Programmers |
r. bornat |
2005 |
oxford university press, oxford: oxford texts in logic 2 |
03 Mathematical logic and foundations |
jmlč |
30 Sep 11 |
Induction and Sets |
t. forster |
2003 |
cambridge university press |
03 Mathematical logic and foundations |
psi |
8 Sep 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 |
Bayesian Nets and Causality |
j. williamson |
2004 |
oxford university press, oxford |
03 Mathematical logic and foundations |
isaxl |
21 Oct 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 |
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 |
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 |
Inner Models and Large Cardinals |
m. zeman |
2001 |
de gruyter |
03 Mathematical logic and foundations |
jmlc |
15 Jun 11 |
Computable Functions |
a. shen, n.k. vereshchagin |
2002 |
american mathematical society |
03 Mathematical logic and foundations |
jmlč |
10 Sep 11 |
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 |
Bernard Bolzano: His Life and Work |
Paul Rusnock, Jan Sebestik |
2019 |
oxford university press |
03 Mathematical logic and foundations |
Adhemar Bultheel |
3 Jun 19 |
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 |
Finite Structures with Few Types |
g. cherlin, e. hrushovski |
2003 |
princeton university press |
03 Mathematical logic and foundations |
jj |
23 May 11 |
One Hundred Years of Russell's Paradox |
g. link |
2004 |
walter de gruyter |
03 Mathematical logic and foundations |
ppu |
23 May 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 |
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 |
Mathematical Logic |
i. chiswell, w. hodges |
2007 |
oxford university press |
03 Mathematical logic and foundations |
jmlc |
8 Jun 11 |
A First Course in Logic |
s. hedman |
2004 |
oxford university press, new york |
03 Mathematical logic and foundations |
jmk |
16 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 on Algebraic Model Theory |
b. hart, m. valeriote |
2002 |
american mathematical society |
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 |
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 |
A Logic of Exceptions |
thomas colignatus |
2011 |
cool, t. (consultancy & econometrics) |
03 Mathematical logic and foundations |
Margarita Bradley |
24 Jan 12 |
Reverse Mathematics: Proofs from the Inside Out |
John Stillwell |
2017 |
princeton university press |
03 Mathematical logic and foundations |
Adhemar Bultheel |
26 Jan 18 |
Borel Equivalence Relations. Structure and Classification |
v. kanovei |
2008 |
american mathematical society |
03 Mathematical logic and foundations |
psim |
7 Jun 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 |
Logic Colloquium 2004 |
a. andretta, k. kearnes, d. zambella |
2008 |
cambridge university press |
03 Mathematical logic and foundations |
ppaj |
30 May 11 |
Computability Theory |
s.b. cooper |
2003 |
chapman & hall/crc |
03 Mathematical logic and foundations |
akč |
23 May 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 |
Computation, Proof, Machine. Mathematics Enters a New Age |
Gilles Dowek |
2015 |
cambridge university press |
03 Mathematical logic and foundations |
Adhemar Bultheel |
17 Aug 15 |
Discrete Algorithmic Mathematics, third edition |
s. b. maurer, a. ralston |
2004 |
a.k. peters, wellesley |
03 Mathematical logic and foundations |
mmar |
30 Sep 11 |
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 |
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 |
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 |
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 |
Categories of Algebraic Logic |
d. busneag |
2006 |
editura academiei romane |
03 Mathematical logic and foundations |
lbar |
8 Jun 11 |
Boltzmann's Legacy |
g. gallavotti, w. l. reiter, j. yngvason |
2008 |
european mathematical society |
01 History and biography |
mzahr |
15 Jun 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 |
Calculus and Its Origins |
david perkins |
2012 |
the mathematical association of america |
01 History and biography |
Adhemar Bultheel |
8 Feb 13 |