Mathematics Statistics Library-University of California, Berkeley

100 Evans Hall

About the Library

Hours & location

Overview of the collections

New books


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.