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 Contact webmaster UC Berkeley home

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