Mathematics Statistics Library-University of California, Berkeley

100 Evans Hall
510.642.3381

About the Library

Hours & location

Overview of the collections

New books

Newsletter

Giving to the library

Home Research Tools Services About the Library Help Campus Links

Books Purchased with the Logic Endowment Fund (July 2007-June 2008)

Analysis and synthesis of logics : how to cut and paste reasoning systems / Walter Carnielli ... [et al.]. Dordrecht : Springer, c2008. (Applied logic series ; v. 35).
Math QA9.A633 2008

Andrzej Mostowski and foundational studies / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny. Amsterdam ; Washington, D.C. : IOS Press, c2008.
Math QA9.A66 2008

The Arche papers on the mathematics of abstraction / edited by Roy T. Cook. Dordrecht : Springer, c2007. (University of Western Ontario series in philosophy of science ; v. 71).
Math QA8.4.A73 2007

Church's Thesis after 70 years / Adam Olszewski, Jan Wolenski, Robert Janusz (eds.). Frankfurt ; New Brunswick, NJ : Ontos, 2006. (Ontos mathematical logic ; v. 1).
Math QA9.C58 2006

Computability and logic. 5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey. Cambridge ; New York : Cambridge University Press, 2007.
Math QA9.59.B66 2007

Constructive negations and paraconsistency / Sergei P. Odintsov. Dordrecht : Springer, c2008. (Trends in logic ; v. 26).
Math QA9.56.O35 2008

Dependence logic : a new approach to independence friendly logic / Jouko Vaananen. Cambridge : Cambridge University Press, 2007. (London Mathematical Society student texts ; 70).
Math BC128.V33 2007

Ernst Zermelo : an approach to his life and work / Heinz-Dieter Ebbinghaus ; in cooperation with Volker Peckhaus. Berlin : Springer, 2007.
Math QA29.Z47.E22 2007

Formalizing medieval logical theories : suppositio, consequentiae, and obligationes / by Catarina Dutilh Novaes. Dordrecht : Springer, c2007. (Logic, epistemology and the unity of science ; v. 7).
Math BC34.N68 2007

Goguen categories : a categorical approach to L-fuzzy relations / by Michael Winter. Dordrecht, The Netherlands : Springer, c2007. (Trends in logic ; v. 25).
Math QA248.5.W56 2007

Handbook of spatial logics / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem. Dordrecht : Springer, c2007.
Math QA9.H325 2007

Induction, algorithmic learning theory, and philosophy / edited by Michele Friend, Norma B. Goethe, Valentina S. Harizanov. Dordrecht : Springer Verlag, 2007. (Logic, epistemology and the unity of science ; v. 9).
Math QA76.9.A43.I46 2007

Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition / by Hannes Leitgeb. Dordrecht ; Boston : Kluwer Academic Publishers, c2004. (Applied logic series ; v. 30).
Math BD161.L374 2004

The influence of genetics on contemporary thinking / Anne Fagot-Largeault, Juan Manuel Torres, Shahid Rahman (eds.). Dordrecht : Springer, 2007. (Logic, epistemology and the unity of science ; v. 6).
Math QH430.I54 2007

Introducing philosophy of mathematics / Michele Friend. Stocksfield : Acumen, 2007.
Math QA8.4.F75 2007

An introduction to Godel's theorems / Peter Smith. Cambridge , UK ; New York : Cambridge University Press, 2007. (Cambridge introductions to philosophy).
Math QA9.65.S65 2007

An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems / Merrie Bergmann. Cambridge ; New York : Cambridge University Press, 2008.
Math QA9.64.B47 2008

Information and knowledge : a constructive type-theoretical approach / by Giuseppe Primiero. Dordrecht , Netherlands : Springer, c2008. (Logic, epistemology and the unity of science ; v. 10).
Math BD161.P766 2008

Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic / edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella. Chicago, IL : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2008. (Lecture notes in logic ; 29).
Math QA9.L355 v.29

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic / edited by Costas Dimitracopoulos ... [et al.]. Cambridge ; New York : Cambridge University Press, 2008. (Lecture notes in logic ; 28).
Math QA9.L355 v.28

Logic's lost genius : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smorynski and Edward Griffor. [English ed.]. Providence, RI : American Mathematical Society ; [London] : London Mathematical Society, c2007. (History of mathematics ; v. 33).
Math QA29.G467.M46 2007

Logica universalis : towards a general theory of logic / Jean-Yves Beziau, editor. 2nd ed. Basel ; Boston : Birkhauer, c2007.
Math QA9.2.L64 2007

Mathematical logic / Ian Chiswell and Wilfrid Hodges. London ; New York : Oxford University Press, 2007. (Oxford texts in logic ; 3).
Math QA9.2.C45 2007

Mathematical reasoning and heuristics / edited by Carlo Cellucci and Donald Gillies. London : King's College London, 2005.
Math QA8.4.M38 2005x

Mathematical thought and its objects / Charles Parsons. New York : Cambridge University Press, 2008.
Math QA8.4.P366 2008

Mathematics, models, and modality : selected philosophical essays / John P. Burgess. Cambridge : Cambridge University Press, c2008.
Math QA8.6.B87 2008

The mathematics of logic : a guide to completeness theorems and their applications / Richard Kaye. Cambridge ; New York : Cambridge University Press, 2007.
Math QA9.K32 2007

Modal logic for philosophers / James W. Garson. Cambridge ; New York : Cambridge University Press, 2006.
Math BC199.M6.G38 2006

Model-based reasoning in science, technology, and medicine / Lorenzo Magnani, Ping Li, eds. Berlin ; New York : Springer, c2007. (Studies in computational intelligence ; v. 64).
Math Q339.19.M37 2006

Philosophy of mathematics : a contemporary introduction to the world of proofs and pictures / James Robert Brown. 2nd ed. New York : Routledge, 2008. (Routledge contemporary introductions to philosophy).
Math QA8.4.B76 2008

Residuated lattices : an algebraic glimpse at substructural logics / Nikolaos Galatos ... [et al.]. 1st ed. Amsterdam ; Boston : Elsevier, 2007. (Studies in logic and the foundations of mathematics ; v. 151).
Math QA10.R47 2007

Stable domination and independence in algebraically closed valued fields / Deirdre Haskell, Ehu Hrushovski, Dugald Macpherson. Cambridge ; New York : Cambridge University Press, 2008. (Lecture notes in logic ; 30).
Math QA9.L355 v.30

Thinking about Godel and Turing : essays on complexity, 1970-2007 / Gregory J. Chaitin ; with a foreword by Paul Davies. Singapore ; Hackensack, NJ : World Scientific, c2007.
Math QA9.65.C45 2007

Science Libraries  UC Berkeley Library Conditions of use Contact webmaster UC Berkeley home

Copyright © 2008
The Regents of the University of California. All rights reserved.
Last updated 08/13/13. Content maintained by: Mathematics Statistics Library.