A Course on the Web Graph |
a. bonato |
2008 |
american mathematical society, providence: graduate studies in mathematics, vol. 89 |
05 Combinatorics |
pk |
1 Oct 11 |
Algorithmic Aspects of Graph Connectivity |
h. nagamochi, t. ibaraki |
2008 |
cambridge university press |
05 Combinatorics |
ejel |
8 Jun 11 |
Graph Theory and its Applications, second edition |
j.l. gross, j. yellen |
2005 |
chapman & hall/crc |
05 Combinatorics |
mmar |
1 Jun 11 |
Geometry of Chemical Graphs. Polycycles and Two-faced Maps |
m. deza, m. d. sikirić |
2008 |
cambridge university press |
05 Combinatorics |
opang |
15 Jun 11 |
A textbook of Graph Theory |
r. balakrishnan, k. ranganathan |
2012 |
springer. springer science + business media. universitext. springer. new york- heidelberg- dordrecht-london.2012. second edition, xii, 292 p. 204 illustrations. hardcover |
05 Combinatorics |
Francisco José Cano Sevilla |
29 Apr 13 |
Handbook of Combinatorial Designs, second edition |
c. j. colbourn, j. h. dinitz |
2006 |
chapman & hall/crc, boca raton: discrete mathematics and its applications |
05 Combinatorics |
os |
1 Oct 11 |
Discrete Mathematics |
n. l. biggs |
2002 |
oxford university press |
05 Combinatorics |
ec |
14 Jun 11 |
Global Methods for Combinatorial Isoperimetric Problems |
l. h. harper |
2004 |
cambridge university press |
05 Combinatorics |
ršam |
29 May 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 |
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 |
Lectures on Algebraic Model Theory |
b. hart, m. valeriote |
2002 |
american mathematical society |
03 Mathematical logic and foundations |
jmlc |
15 Jun 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 |
Computability Theory |
s.b. cooper |
2003 |
chapman & hall/crc |
03 Mathematical logic and foundations |
akč |
23 May 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 |
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 |
Categories of Algebraic Logic |
d. busneag |
2006 |
editura academiei romane |
03 Mathematical logic and foundations |
lbar |
8 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 |
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 |
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 |
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 |
Discrete Algorithmic Mathematics, third edition |
s. b. maurer, a. ralston |
2004 |
a.k. peters, wellesley |
03 Mathematical logic and foundations |
mmar |
30 Sep 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 |
Logic Colloquium 2004 |
a. andretta, k. kearnes, d. zambella |
2008 |
cambridge university press |
03 Mathematical logic and foundations |
ppaj |
30 May 11 |
Bayesian Nets and Causality |
j. williamson |
2004 |
oxford university press, oxford |
03 Mathematical logic and foundations |
isaxl |
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 |
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 |
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 |
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 |
Bernard Bolzano: His Life and Work |
Paul Rusnock, Jan Sebestik |
2019 |
oxford university press |
03 Mathematical logic and foundations |
Adhemar Bultheel |
3 Jun 19 |
Computable Functions |
a. shen, n.k. vereshchagin |
2002 |
american mathematical society |
03 Mathematical logic and foundations |
jmlč |
10 Sep 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 |
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 |
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 |
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 |
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 |
Inner Models and Large Cardinals |
m. zeman |
2001 |
de gruyter |
03 Mathematical logic and foundations |
jmlc |
15 Jun 11 |
A First Course in Logic |
s. hedman |
2004 |
oxford university press, new york |
03 Mathematical logic and foundations |
jmk |
16 Jun 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 |
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 |
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 |
Einstein at Home |
Friedrich Herneck |
2016 |
prometheus books |
01 History and biography |
Adhemar Bultheel |
8 Aug 16 |
Leonhard Euler: Mathematical Genius in the Enlightenment |
Ronald S. Calinger |
2015 |
princeton university press |
01 History and biography |
Adhemar Bultheel |
22 Dec 15 |
Schrödinger. Life and Thought |
Walter Moore |
2015 |
cambridge university press |
01 History and biography |
Adhemar Bultheel |
11 May 16 |