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 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.