Contents
Reviews
Luca Vigano . Labelled non-classical logics, With a foreword by Dov Gabbay, Kluwer Academic Publishers, 2000, 291 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 107-108
-
- Article
- Export citation
Jonathan Bennett. A philosophical guide to conditionals. Clarendon Press, Oxford, 2003, viii + 388 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 565-570
-
- Article
- Export citation
Benjamin C. Pierce. Types and programming languages. The MIT Press, Cambridge, Massachusetts, 2002, xxi + 623 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-214
-
- Article
- Export citation
V. A. Bazhanov. Ocerki sotsialnoj istorii logiki v Rossii [Sketches of the social history of logic in Russia]. Izdatel'stvo Srednevolzhskogo nauchnogo tsentra, Simbirsk-Ul'yanovsk, 2002, 124 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 421-423
-
- Article
- Export citation
Dennis E. Hesseling. Gnomes in the fog. The reception of Brouwer's intuitionism in the 1920s. Science Networks. Historical Studies, vol. 28. Birkhäuser, Boston, 2003, xxiii + 447 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 423-427
-
- Article
- Export citation
George Boole . The mathematical analysis of logic. Being an essay towards a calculus of deductive reasoning by George Boole — Die mathematische Analyse der Logik. Der Versuch eines Kalküls des deduktiven Schließens von George Boole, Schriftenreihe zur Geistes- und Kulturgeschichte: Texte und Dokumente. Hallescher Verlag, Halle, Saale, 2001, 195 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 108-109
-
- Article
- Export citation
Marcus Giaquinto. The search for certainty: a philosophical account of foundations of mathematics. Clarendon Press, Oxford, 2002, xii + 286 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 214-216
-
- Article
- Export citation
Warren Goldfarb. Deductive logic. Hackett Publishing Company, Indianapolis, 2003, xv + 292 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 570-573
-
- Article
- Export citation
Sergio Fajardo and H. Jerome Keisler . Model theory of stochastic processes, Lecture Notes in Logic, vol. 14. Association for Symbolic Logic, A K Peters, Ltd., Natick, Massachusetts, 2002, xii + 136 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 110-112
-
- Article
- Export citation
Jody Azzouni. Deflating existential consequence: a case for nominalism. Oxford University Press, Oxford, 2004, viii + 342 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 573-577
-
- Article
- Export citation
Silvio Ghilardi and Marek Zawadowski. Sheaves, games, and model completions. Trends in Logic, vol. 14. Kluwer, 2002.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 216-218
-
- Article
- Export citation
Joseph Y. Halpern. Reasoning about Uncertainty. MIT Press Cambridge, MA, 2003, xiv + 483 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 427-429
-
- Article
- Export citation
Deborah J. Bennett. Logic made easy: How to know when language deceives you, W. W. Norton & Company, 2004, 256 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 577-578
-
- Article
- Export citation
Gabriel Debs and Jean Saint Raymond. Compact covering mappings and cofinal families of compact subsets of a Borel set. Fundamenta Mathematicae, vol. 167, no. 3 (2001), pp. 213–249. - Gabriel Debs and Jean Saint Raymond. Compact covering mappings between Borel spaces. Acta Universitatis Carolinae. Mathematica et Physica, vol. 40, no. 2 (1999), pp. 53–64. - Gabriel Debs and Jean Saint Raymond. Cofinal and subsets of ωω . Fundamenta Mathematicae, vol. 159, no. 2 (1999), pp. 161–193. - Gabriel Debs and Jean Saint Raymond. Compact-covering-properties of finite-to-one mappings. Topology and its Applications, vol. 81, no. 1 (1997), pp. 55–84. - Gabriel Debs and Jean Saint Raymond. Some applications of game determinacy. Acta Universitatis Carolinae. Mathematica et Physica, vol. 37, no. 2 (1996), pp. 7–23. - Gabriel Debs and Jean Saint Raymond. Compact covering and game determinacy. Topology and its Applications, vol. 68, no. 2 (1996), pp. 153–185. - Gabriel Debs and Jean Saint Raymond. Compact covering mappings between Borel sets and the size of constructible reals. Transactions of the American Mathematical Society, vol. 356, no. 1 (2004), pp. 73–117.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 430-434
-
- Article
- Export citation
Stephen Wolfram . A new kind of science, Wolfram Media, Inc., Champaign, IL, 2002, xiv + 1197 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 112-114
-
- Article
- Export citation
C. Stephen Layman. The power of logic. 2nd edition. McGraw-Hill, 2002, ix + 592 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 218-219
-
- Article
- Export citation
Obituary
In Memoriam: Willem Johannes Blok 1947–2003
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 435-437
-
- Article
-
- You have access
- Export citation
Reviews
Handbook of the logic of argument and inference, edited by D. M. Gabbay, R. H. Johnson, H. J. Ohlbach, and J. Woods, Studies in Logic and Practical Reasoning, vol. 1. North-Holland, Amsterdam, 2002, 498 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 220-222
-
- Article
- Export citation
Automata, logics, and infinite games: A guide to current research, edited by Erich Grädel, Wolfgang Thomas, and Thomas Wilke, Lecture Notes in Computer Science, vol. 2500 (Tutorial). Springer-Verlag, Berlin Heidelberg, 2002, viii + 385 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 114-115
-
- Article
- Export citation
Handbook of the history of logic, edited by Dov M. Gabbay and John Woods, Volume 1: Greek, Indian and Arabic logic. Elsevier, Amsterdam, 2004, viii + 618 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 579-583
-
- Article
- Export citation