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 (January 2005-June 2007)

Abductive reasoning : logical investigations into discovery and explanation / by Atocha Aliseda. Dordrecht, the Netherlands : Springer, c2006. (Synthese library ; v. 330).
Math BC199.A26.A45 2006

The age of alternative logics : assessing philosophy of logic and mathematics today / edited by Johan van Benthem ... [et al.]. Dordrecht : Springer, 2006. (Logic, epistemology and the unity of science ; v. 3).
Math BC135.A39 2006

The architecture of modern mathematics : essays in history and philosophy / edited by J. Ferreiros and J.J. Gray. Oxford ; New York : Oxford University Press, 2006.
Main Stacks QA21.A73 2006

Arithmetic and ontology : a non-realist philosophy of arithmetic / Philip Hugly and Charles Sayward ; edited by Pieranna Garavaso. Amsterdam : Rodopi, 2006. (Poznan studies in the philosophy of the sciences and the humanities ; v. 90).
Math QA248.H77 2006

Brouwer meets Husserl : on the phenomenology of choice sequences / by Mark van Atten. Dordrecht : Springer, 2007. (Synthese library ; v. 335).
Math B829.5.A88 2007

Category theory / Steve Awodey. Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 2006. (Oxford logic guides ; 49).
Math QA169.A96 2006

Classical and new paradigms of computation and their complexity hierarchies : papers of the conference "Foundations of the Formal Sciences III " / edited by Benedikt Lowe, Boris Piwinger and Thoralf Rasch. Dordrecht ; London : Kluwer Academic Publishers, 2004. (Trends in logic ; v. 23).
Math QA267.7.C55 2004

Classical and nonclassical logics : an introduction to the mathematics of propositions / Eric Schechter. Princeton, N.J. : Princeton University Press, c2005.
Math QA9.3.S39 2005

Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contributions by Leslaw W. Szczerba. Princeton, N.J. : Princeton University Press, c2006.
Math QA9.E67 2006

Compiled labelled deductive systems : a uniform presentation of non-classical logics / Krysia Broda ... [et al.]. Baldock, Hertfordshire, England : Research Studies Press ; Philadelphia, PA : Institute of Physics Pub. ; Williston, VT : Distribution in North America, AIDC, c2004. (Studies in logic and computation ; 10).
Math QA76.9.L63.C658 2004

A concise introduction to mathematical logic / Wolfgang Rautenberg. 2nd ed. New York, NY : Springer, c2006. (Universitext).
Math QA9.R26513 2006

A course in approximation theory / Ward Cheney, Will Light. Pacific Grove : Brooks/Cole Pub. Co., c2000. (Brooks/Cole series in advanced mathematics).
Math QA221.C44 2000

A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman. Oxford ; New York : Oxford University Press, 2004. (Oxford texts in logic ; 1).
Math QA9.H356 2004

Fixing Frege / John P. Burgess. Princeton, N.J. : Princeton University Press, c2005. (Princeton monographs in philosophy).
Math QA9.B854 2005

The foundations of arithmetic : a logical-mathematical investigation into the concept of number 1884 / Gottlob Frege ; translated with an introduction and critical commentary by Dale Jacquette. New York : Pearson Education, c2007. (Longman library of primary sources in philosophy).
Math QA141.F6913 2007

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster. Oxford : Clarendon, 2005. (Oxford logic guides ; 48).
Math QA9.56.F76 2005

Fundamentals of mathematical logic / Peter G. Hinman. Wellesley, Mass. : A.K. Peters, c2005.
Math QA9.H527 2005

Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.). Berlin ; New York : Springer, c1997.
Math QA267.3.H36 1997

The higher infinite : large cardinals in set theory from their beginnings / Akihiro Kanamori. 2nd ed. Berlin ; New York : Springer, c2003. (Springer monographs in mathematics).
Math QA248.K347 2003

Interpolation and definability : modal and intuitionistic logics / D.M. Gabbay, L. Maksimova. Oxford ; New York : Clarendon Press, 2005. (Oxford logic guides ; 46).
Math QA281.G23 2005

Intuition and the axiomatic method / edited by Emily Carson and Renate Huber. Dordrecht ; [London] : Springer, c2006. (University of Western Ontario series in philosophy of science ; v. 70).
Main Stacks QA9.47.I57 2006

Kurt Godel : das Album = the album / Karl Sigmund, John Dawson, Kurt Muhlberger. 1st ed. Wiesbaden : Vieweg, 2006.
Math QA29.G58.S54 2006

Lectures on the Curry-Howard isomorphism / Morten Heine Sorensen, Pawel Urzyczyn. 1st ed. Amsterdam ; Boston [MA] : Elsevier, 2006. (Studies in logic and the foundations of mathematics ; v. 149).
Math QA9.54.S67 2006

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum / edited by Zoe Chatzidakis, Peter Koepke, Wolfram Pohlers. La Jolla, Calif. : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, c2006. (Lecture notes in logic ; 27).
Math QA9.L355 v.27

Logic, epistemology and the unity of science / edited by Shahid Rahman ... [et al.]. Dordrecht ; London : Kluwer Academic Publishers, c2004. (Logic, epistemology and the unity of science ; v. 1).
Math Q175.L643 2004

Logic in Tehran : proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, held October 18-22, 2003 / edited by Ali Enayat, Iraj Kalantari, Mojtaba Moniri.. La Jolla , Calif. : Association for Symbolic Logic ; Wellesley , Mass. : A K Peters, c2006. (Lecture notes in logic ; 26).
Math QA9.L355 v.26

Logic, thought and action / edited by Daniel Vanderveken. Dordrecht : Springer, c2005. (Logic, epistemology, and the unity of science ; v. 2)
Math BC53.L64 2005

Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / editors, S.S. Goncharov, R. Downey, H. Ono. Singapore ; Hackensack, NJ : World Scientific, c2006.
Math Q334.A853 2005

Mathematical problems from applied logic : logics for the XXIst century / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev. New York : Springer, c2006. (International mathematical series ; v. 4-5).
Math QA9.M346 2006

Mathematics and culture / Michele Emmer, editor ; translated by Emanuela Moreale. Berlin ; New York : Springer, c2004.
Math QA1.M27713 2004

The mathematics of infinity : a guide to great ideas / Theodore G. Faticoni. Hoboken, N.J. : Wiley-Interscience, c2006. (Pure and applied mathematics).
Math QA248.F29 2006

Nature's principles / edited by Jan Faye ... [et al.]. Dordrecht ; New York : Springer, c2005. (Logic, epistemology, and the unity of science ; v. 4).
Math BD581.B35 2001

Notes on set theory / Yiannis Moschovakis. 2nd ed. New York : Springer, c2006. (Undergraduate texts in mathematics).
Math QA248.M665 2006

An ontological and epistemological perspective of fuzzy set theory / I. Burhan Turksen. Amsterdam ; Oxford : Elsevier, 2005.
Math QA248.5.T87 2006

The Oxford handbook of philosophy of mathematics and logic / edited by Stewart Shapiro. New York : Oxford University Press, 2005. (Oxford handbooks in philosophy).
Math QA8.4.O94 2005

Perspectives on mathematical practices : bringing together philosophy of mathematics, sociology of mathematics, and mathematics education / edited by Bart Van Kerkhove and Jean Paul van Bendegem. Dordrecht : Springer, c2007. (Logic, epistemology and the unity of science ; v. 5).
Math QA11.2.P47 2007

Quantifier elimination and cylindrical algebraic decomposition / B.F. Caviness, J.R. Johnson (eds.). Wien ; New York : Springer, c1998. (Texts and monographs in symbolic computation).
Math QA155.7.E4.Q36 1998

Relation algebras / Roger D. Maddux. 1st ed. Amsterdam ; Boston : Elsevier, 2006. (Studies in logic and the foundations of mathematics ; v. 150).
Math QA10.M33 2006

Rings, modules, and the total / Friedrich Kasch, Adolf Mader. Basel ; Boston : Birkhauser, c2004. (Frontiers in mathematics).
Math QA247.3.K36 2004

Set theory : Boolean-valued models and independence proofs / John L. Bell. 3rd ed. Oxford : Oxford University Press, 2005. (Oxford logic guides; 47).
Math QA248.B44 2005

Stalking the Riemann hypothesis : the quest to find the hidden law of prime numbers / Dan Rockmore. 1st ed. New York : Pantheon Books, c2005.
Math QA246.R63 2005

The structure of models of Peano arithmetic / Roman Kossak, James H. Schmerl. Oxford : Clarendon, 2006. (Oxford logic guides ; 50).
Math QA9.7.K67 2006

A tour through mathematical logic / Robert S. Wolf. Washington , DC : Mathematical Association of America, c2005. (Carus mathematical monographs ; no. 30).
Math QA9.W7483 2005

Tracking reason : proof, consequence, and truth / Jody Azzouni. Oxford ; New York : Oxford University Press, 2006.
Math QA9.54.A99 2006

Visualization, explanation and reasoning styles in mathematics / edited by Paolo Mancosu, Klaus Frovin Joergensen and Stig Andur Pedersen. Dordrecht : Springer, 2005. (Synthese library ; v. 327).
Math QA8.6.V57 2005

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.