Book reviews

Please send books to the individual reviewers that asked for an EMS review copy.
Review copies without a preassigned reviewer can be mailed to:
Biblioteca
Facultad de Ciencias Matematicas
Universidad Complutense de Madrid
Plaza de Ciencias, 3
28040 Madrid, SPAIN

Book Review Manual

Book title Author Published Publisher MSCsort descending Reviewer Reviewed Comments
Computation, Proof, Machine. Mathematics Enters a New Age Gilles Dowek 2015 cambridge university press 03 Mathematical logic and foundations Adhemar Bultheel 17 Aug 15 0
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 0
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 0
Computability Theory s.b. cooper 2003 chapman & hall/crc 03 Mathematical logic and foundations akč 23 May 11 0
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 0
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 0
Logic Colloquium 2004 a. andretta, k. kearnes, d. zambella 2008 cambridge university press 03 Mathematical logic and foundations ppaj 30 May 11 0
Categories of Algebraic Logic d. busneag 2006 editura academiei romane 03 Mathematical logic and foundations lbar 8 Jun 11 0
Qualitative computing. A Computational Journey into Nonlinearity françoise chatelin 2012 world scientific 03 Mathematical logic and foundations Adhemar Bultheel 21 Nov 12 0
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 0
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 0
Discrete Algorithmic Mathematics, third edition s. b. maurer, a. ralston 2004 a.k. peters, wellesley 03 Mathematical logic and foundations mmar 30 Sep 11 0
Bayesian Nets and Causality j. williamson 2004 oxford university press, oxford 03 Mathematical logic and foundations isaxl 21 Oct 11 0
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 0
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 0
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 0
Induction and Sets t. forster 2003 cambridge university press 03 Mathematical logic and foundations psi 8 Sep 11 0
Inner Models and Large Cardinals m. zeman 2001 de gruyter 03 Mathematical logic and foundations jmlc 15 Jun 11 0
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 0
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 0
Bernard Bolzano: His Life and Work Paul Rusnock, Jan Sebestik 2019 oxford university press 03 Mathematical logic and foundations Adhemar Bultheel 3 Jun 19 0
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 0
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 0
A Logic of Exceptions thomas colignatus 2011 cool, t. (consultancy & econometrics) 03 Mathematical logic and foundations Margarita Bradley 24 Jan 12 0
Mathematical Logic i. chiswell, w. hodges 2007 oxford university press 03 Mathematical logic and foundations jmlc 8 Jun 11 0
Computable Functions a. shen, n.k. vereshchagin 2002 american mathematical society 03 Mathematical logic and foundations jmlč 10 Sep 11 0
Reverse Mathematics: Proofs from the Inside Out John Stillwell 2017 princeton university press 03 Mathematical logic and foundations Adhemar Bultheel 26 Jan 18 0
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 0
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 0
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 0
Lectures on Algebraic Model Theory b. hart, m. valeriote 2002 american mathematical society 03 Mathematical logic and foundations jmlc 15 Jun 11 0
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 0
Matroid Theory j. oxley 2006 oxford university press, oxford: oxford graduate texts in mathematics 3 05 Combinatorics pang 23 Oct 11 0
Graphs & Digraphs, fourth edition g. chartrand, l. lesniak 2004 chapman & hall/crc, boca raton 05 Combinatorics jkrat 22 Oct 11 0
Graph Theory and its Applications, second edition j.l. gross, j. yellen 2005 chapman & hall/crc 05 Combinatorics mmar 1 Jun 11 0
Generating functionology, third edition h. s. wilf 2006 a.k. peters, wellesley 05 Combinatorics jive 23 Oct 11 0
Algorithmic Aspects of Graph Connectivity h. nagamochi, t. ibaraki 2008 cambridge university press 05 Combinatorics ejel 8 Jun 11 0
An Atlas of Edge-Reverse Dynamics v. c. barbosa 2001 chapman & hall/crc, boca raton 05 Combinatorics rbar 14 Jun 11 0
MAGIC GRAPHS alison m. marr, w.d. wallis 2013 springer science + business media.birkhÄuser. new york.2013. second edition, xvi, 186 p. 34 illus., hardcover. 05 Combinatorics Francisco José Cano Sevilla. 22 Apr 13 0
Introduction to Combinatorial Designs, second edition w. d. wallis 2007 chapman & hall/crc 05 Combinatorics adr 19 May 11 0
Combinatorics, Complexity and Chance - A Tribute to Dominic Welsh g. grimmett, c. mcdiarmid 2007 oxford university press 05 Combinatorics mloe 1 Jun 11 0
Graphs, Colourings and the Four-colour Theorem r. a. wilson 2002 oxford university press, oxford 05 Combinatorics jk 17 Jun 11 0
Lectures on Generating Functions s. k. lando 2003 american mathematical society 05 Combinatorics jive 23 May 11 0
The q,t-Catalan Numbers and the Space of Diagonal Harmonics - with an Appendix on the Combinatorics of Macdonald Polynomials j. haglund 2008 american mathematical society 05 Combinatorics vs 30 May 11 0
Topics in Graph Theory. Graphs and Their Cartesian Product w. imrich, s. klavžar, d. f. rall 2008 a. k. peters 05 Combinatorics bl 7 Jun 11 0
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 0
Efficient Graph Representations j.p. spinrad 2003 american mathematical society 05 Combinatorics jk 24 May 11 0
A Beginner's Guide to Graph Theory w. d. wallis 2000 birkhäuser, basel 05 Combinatorics adr 30 Sep 11 0
Abstract Algebra. An Inquiry Based Approach jonathan k. hodge, steven schlicker and ted sundstrom 2014 boca raton: crc press, taylor & francis group. a chapman & hall book 05 Combinatorics J.M. Gamboa 7 Feb 14 0
Advances in Algebra and Combinatorics k. p. shum et al. 2008 world scientific 05 Combinatorics jtu 8 Jun 11 0

Pages