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 (July 2008-June 2009)

Applied proof theory : proof interpretations and their use in mathematics / U. Kohlenbach. Berlin : Springer, c2008. (Springer monographs in mathematics).
Mathematics/Statistics QA9.54 .K64 2008

Der Begriff der logischen Form in der analytischen Philosophie : Russell in Auseinandersetzung mit Frege, Meinong und Wittgenstein / Elena Tatievskaya. Frankfurt ; New Brunswick, N.J. : Ontos ; Piscataway, N.J. : Distributed in North and South America by Transaction Books, 2005. (Logos ; Bd. 7).
Mathematics/Statistics BC199.F6 T38 2005

Completeness theory for propositional logics / Witold A. Pogorzelski, Piotr Wojtylak. Basel ; Boston : Birkhäuser, c2008. (Studies in universal logic).
Mathematics/Statistics QA9.67 .P64 2008

Computability and randomness / André Nies. Oxford ; New York : Oxford University Press, 2009. (Oxford logic guides ; 51).
Mathematics/Statistics QA267.7 .N54 2009

Computational prospects of infinity / editors, Chitat Chong ... [et al.]. Singapore ; Hackensack, NJ : World Scientific, c2008. (Lecture notes series / Institute for Mathematical Sciences, National University of Singapore ; v. 14-15).
Mathematics/Statistics QA9.6 .W67 2005

Davidsons semantisches Programm und deflationäre Wahrheitskonzeptionen / Martin Fischer. Frankfurt am Main : Ontos, 2008. (Logos ; Bd. 12).
Mathematics/Statistics BD171 .F52 2008

Deduction, computation, experiment : exploring the effectiveness of proof / Rossella Lupacchini, Giovanna Corsi (eds.). Berlin ; New York : Springer, c2008.
Mathematics/Statistics BC173 .D43 2008

Essential stability theory / Steven Buechler. Berlin ; New York : Springer, c1996. (Perspectives in mathematical logic).
Mathematics/Statistics QA9.7 .B84 1996

Formen der Anschauung : eine Philosophie der Mathematik / Pirmin Stekeler-Weithofer. Berlin ; New York : Walter De Gruyter, 2008.
Mathematics/Statistics QA681 .S74 2008

From a geometrical point of view a study of the history and philosophy of category theory / by Jean-Pierre Marquis. Dordrecht ; London : Springer, 2009. (Logic, epistemology and the unity of science ; 14).
Mathematics/Statistics In process

Games : unifying logic, language, and philosophy / edited by Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo. [Dordrecht] : Springer, c2009. (Logic, epistemology and the unity of science ; 15).
Mathematics/Statistics QA269 .G384 2009

A geometry of approximation : rough set theory - logic, algebra and topology of conceptual patterns / by Piero Pagliani, Mihir Chakraborty. Dordrecht ; London : Springer, 2008. (Trends in logic ; 27).
Mathematics/Statistics QA248 .P35 2008

Grounding concepts : an empirical basis for arithmetical knowledge / C.S. Jenkins. Oxford ; New York : Oxford University Press, 2008.
Mathematics/Statistics QA248 .J46 2008

Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. Amsterdam ; Boston : North Holland/Elsevier, 2002. (Studies in logic and practical reasoning ; v. 1).
Mathematics/Statistics QA9 .H325 2002

Institution-independent model theory / Răzvan Diaconescu. Basel ; Boston : Birkhäuser, c2008. (Studies in universal logic).
Mathematics/Statistics QA9.7 .D53 2008

An introduction to non-classical logic : from if to is / Graham Priest. Cambridge ; New York : Cambridge University Press, 2008. 2nd ed. (Cambridge introductions to philosophy).
Mathematics/Statistics QA9.4 .P75 2008

Interactive logic : selected papers from the 7th Augustus de Morgan workshop, London / edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe. [Amsterdam] : Amsterdam University Press, c2007. (Texts in logic and games ; v. 1).
Mathematics/Statistics QA269 .I58 2007

Invariant descriptive set theory / Su Gao. Boca Raton : CRC Press, c2009. (Monographs and textbooks in pure and applied mathematics ; 293).
Mathematics/Statistics QA248 .G36 2009

Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin. Cambridge, UK ; New York : Cambridge University Press, 2008.
Mathematics/Statistics QA9.5 .H565 2008

Leibniz : what kind of rationalist? / edited by Marcelo Dascal. Dordrecht ; London : Springer, 2008. (Logic, epistemology and the unity of science ; v. 13).
Mathematics/Statistics B2598 .L48 2008

Logic and automata : history and perspectives / edited by Jörg Flum, Erich Grädel, Thomas Wilke. [Amsterdam] : Amsterdam University Press, c2008. (Texts in logic and games ; v. 2).
Mathematics/Statistics QA267 .L64 2008

Logic in reality / Joseph E. Brenner. Dordrecht : Springer, 2008.
Mathematics/Statistics BC108 .B723 2008

Logical labyrinths / Raymond M. Smullyan. Wellesley, Mass. : A K Peters, c2009.
Mathematics/Statistics QA9 .S575 2009

Logicism, intuitionism, and formalism : what has become of them? / edited by Sten Lindström ... [et al.]. Dordrecht ; London : Springer, 2009. (Synthese library : studies in epistemology, logic, methodology, and philosophy of ; v. 341).
Mathematics/Statistics QA8.4 .L635 2009

Mathematical logic / George Tourlakis. Hoboken, N.J. : Wiley, c2008.
Mathematics/Statistics QA9 .T68 2008

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-c2007. (International mathematical series ; v. 4-5).
Mathematics/Statistics QA9 .M346 2006

Modalities and multimodalities / Walter Carnielli, Claudio Pizzi ; with the assistance and collaboration of Juliana Bueno-Soler. [Dordrecht] : Springer, c2008. (Logic, epistemology, and the unity of science ; v. 12).
Mathematics/Statistics BC199.M6 C375 2008

New essays on Tarski and philosophy / edited by Douglas Patterson. Oxford ; New York : Oxford University Press, 2008.
Mathematics/Statistics QA8.4 .N49 2008

New computational paradigms : changing conceptions of what is computable / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editors. New York : Springer, 2008.
Mathematics/Statistics QA9.59 .N495 2008

Numerical term logic / by Lorne Szabolcsi ; edited by George Englebretsen ; with a foreword by Fred Sommers. Lewiston, N.Y. : Edwin Mellen Press, c2008.
Mathematics/Statistics BC135 .S94 2008

On the first-order theory of real exponentiation / Tamara Servi. [Pisa, Italy] : Edizioni della Normale, c2008. (Tesi ; 6).
Mathematics/Statistics QA342 .S46 2008

One hundred years of intuitionism (1907-2007) : the Cerisy conference / Mark van Atten ... [et al.], editors. Basel ; Boston : Birkhauser, c2008. (Publications des Archives Henri-Poincaré).
Mathematics/Statistics QA9.47 .O54 2008

Patterns of change : linguistic innovations in the development of classical mathematics / Ladislav Kvasz. Basel : Birkhäuser ; [London : Springer, distributor], c2008. (Science networks historical studies ; v. 36).
Mathematics/Statistics QA135.6 .K83 2008

Philosophical lectures on probability / Bruno de Finetti ; collected, edited, and annotated by Alberto Mura ; with an introductory essay by Maria Carla Galavotti ; translated by Hykel Hosni. [Dordrecht] : Springer, c2008. (Synthese library : studies in epistemology, logic, methodology, and philosophy of science ; v. 340)
Mathematics/Statistics QA273.18 .D4213 2008

Philosophische Semantik / Manuel Bremer. Frankfurt ; New Brunswick : Ontos Verlag ; Piscataway, NJ : Transaction Books, c2005. (Logos ; Bd. 8).
Mathematics/Statistics B840 .B69 2005

The philosophy of mathematical practice / Paolo Mancosu. Oxford ; New York : Oxford University Press, 2008.
Mathematics/Statistics QA299.8 .M36 2008

Philosophy of mathematics : set theory, measuring theories, and nominalism / Gerhard Preyer, Georg Peter (eds.). Frankfurt ; New Brunswick : Ontos, 2008. (Logos ; Bd. 13).
Mathematics/Statistics QA8.4 .P485 2008

Probabilistic logic networks : a comprehensive framework for uncertain inference / by Ben Goertzel ... [et al.]. New York ; London : Springer, 2008.
Mathematics/Statistics QA273 .P762 2008

Proof and other dilemmas : mathematics and philosophy / edited by Bonnie Gold and Roger A. Simons. [Washington, D.C.] : Mathematical Association of America, c2008.
Mathematics/Statistics QA8.4 .P76 2008

Proof theory for fuzzy logics / by George Metcalfe, Nicola Olivetti, Dov Gabbay. [Dordrecht] : Springer, c2009. (Applied logic series ; 36).
Mathematics/Statistics QA9.64 .M48 2009

Topics in logic, philosophy and foundations of mathematics, and computer science : in recognition of professor Andrzej Grzegorczyk / edited by S. Krajewski ... [et al.]. Amsterdam ; Washington, DC : IOS Press, c2007.
Mathematics/Statistics QA9 .T67 2007

Towards mathematical philosophy : papers from the Studia Logica Conference Trends in Logic IV / edited by David Makinson, Jacek Malinowski, Heinrich Wansing. Dordrecht ; London : Springer, 2009. (Trends in logic ; 28).
Mathematics/Statistics QA9.A1 .S78 2006

The unity of science in the Arabic tradition : science, logic, epistemology and their interactions / edited by Shahid Rahman, Tony Street, Hassan Tahiri. [Dordrecht] : Springer, c2008. (Logic, epistemology and the unity of science ; v. 11).
Mathematics/Statistics Q127.A5 U55 2008

Unity, truth and the liar : the modern relevance of medieval solutions to the liar paradox / edited by Shahid Rahman, Tero Tulenheimo, and Emmanuel Genot. [Dordrecht] : Springer, c2008. (Logic, epistemology and the unity of science ; v. 8).
Mathematics/Statistics BC199.P2 U56 2008

Wittgensteins Philosophie der Mathematik : eine Neubewertung im Ausgang von der Kritik an Cantors Beweis der Überabzählbarkeit der reellen Zahlen / Christine Redecker. Frankfurt am Main : Ontos, 2006. (Logos ; Bd. 9).
Mathematics/Statistics B3376.W564.R426 2006

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

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