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 2010-June 2011)

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 / Paolo Mancosu. Oxford ; New York : Oxford University Press, 2010.
Mathematics/Statistics QA9 .M36 2010

Algebra, logic, set theory : Festschrift für Ulrich Felgner zum 65. Geburtstag / edited by Benedikt Löwe. London : College Publications, c2007. (Studies in logic ; v. 4).
Mathematics/Statistics QA10 .A445 2007

Algorithmic randomness and complexity / Rodney G. Downey, Denis R. Hirschfeldt. New York : Springer, c2010. (Theory and applications of computability).
Mathematics/Statistics QA267.7 .D69 2010

The art of proof : basic training for deeper mathematics / Matthias Beck, Ross Geoghegan. New York : Springer, c2010. (Undergraduate texts in mathematics).
Mathematics/Statistics QA9.54 .B43 2010

The axiom of choice / John L. Bell. London : College Publications, c2009. (Studies in logic. Mathematical logic and foundations ; v. 22).
Mathematics/Statistics QA248 .B435 2009

The axiom of determinacy, forcing axioms, and the nonstationary ideal / W. Hugh Woodin. 2nd rev. ed. Berlin ; New York : De Gruyter, c2010. (De Gruyter series in logic and its applications ; 1).
Mathematics/Statistics QA9.7 .W66 2010

Begriff und Gegenstand : eine historische und systematische Studie zur Entwicklung von Gottlob Freges Denken / Wolfgang Kienzler. Frankfurt am Main : Klostermann, c2009. (Philosophische Abhandlungen ; Bd. 98).
Mathematics/Statistics B3245.F24 K527 2009

Carl Stumpf und Gottlob Frege / Wolfgang Ewen. Würzburg : Königshausen & Neumann, 2008.
Mathematics/Statistics QA9 .E94 2008

Category theory / Steve Awodey. 2nd ed. Oxford ; New York : Oxford University Press, 2010. (Oxford logic guides ; 52).
Mathematics/Statistics QA169 .A96 2010

Classification theory for abstract elementary classes / Saharon Shelah. London : College Pub., c2009. (Studies in logic ; v. 18, 20).
Mathematics/Statistics QA9.7 .S533 2009 v.1-2

Computability theory : an introduction to recursion theory / Herbert B. Enderton. Amsterdam ; Boston : Academic Press, c2011.
Mathematics/Statistics QA9.6 .E53 2011

The concept of probability in the mathematical representation of reality / Hans Reichenbach ; translated and edited by Frederick Eberhardt and Clark Glymour. Chicago : Open Court, c2008.
Mathematics/Statistics B2779 .R4513 2008

Defending the axioms : on the philosophical foundations of set theory / Penelope Maddy. Oxford : Oxford University Press, 2011.
Mathematics/Statistics QA248 .M276 2011

Discorso e significato : introduzione alla logica contemporanea / Enrico Moriconi. Roma : La Nuova Italia scientifica, 1994. (Studi superiori NIS. Filosofia ; 198).
Mathematics/Statistics BC108 .M67 1994

Dual tableaux : foundations, methodology, case studies / Ewa Orłowska, Joanna Golińska-Pilarek. Dordrecht [Netherlands] ; New York : Springer, c2011. (Trends in logic: studia logica library ; v. 36).
Mathematics/Statistics BC71 .O76 2011

Essays in the philosophy and history of logic and mathematics / Roman Murawski ; foreword [by] Jan Woleński. Amsterdam ; New York, NY : Rodopi, 2010. (Poznań studies in the philosophy of the sciences and the humanities ; v. 98).
Mathematics/Statistics QA8.4 .M87 2010

Essays on the foundations of mathematics by Moritz Pasch / Stephen Pollard, editor. Dordrecht ; New York : Springer, 2010. (University of Western Ontario series in philosophy of science ; v. 83).
Mathematics/Statistics QA8.6 .E87 2010

The foundations of mathematics / Kenneth Kunen. London : College Publications, c2009. (Studies in logic : mathematical logic and foundations ; 19).
Mathematics/Statistics QA9 .K796 2009

Foundations of the formal sciences V : infinite games / edited by Stefan Bold ... [et al.]. Strand, London, UK : College Publications, c2007. (Studies in logic ; v. 11).
Mathematics/Statistics QA9.A1 F684 2007

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers / Bernd S.W. Schröder. Hoboken : Wiley, c2010.
Mathematics/Statistics QA248 .S358 2010

Gentzen calculi for modal propositional logic / Francesca Poggiolesi. Dordrecht ; New York : Springer, c2011. (Trends in logic ; v. 32).
Mathematics/Statistics QA9.46 .P64 2011

Handbook of logic and language / [edited by] Johan van Benthem, Alice ter Meulen. 2nd ed. Amsterdam ; Boston : Elsevier, 2011.
Mathematics/Statistics QA76.9.N38 H36 2011

Handbook of mathematical induction : theory and applications / David S. Gunderson. Boca Raton, FL : CRC Press, c2011. (Discrete mathematics and its applications).
Mathematics/Statistics QA9.54 .G86 2011

Handbook of set theory / edited by Matthew Foreman, Akihiro Kanamori. Dordrecht : Springer, c2010.
Mathematics/Statistics QA248 .H34 2010 v.1-3

In defence of objective Bayesianism / Jon Williamson. Oxford ; New York : Oxford University Press, 2010.
Mathematics/Statistics QA279.5 .W5475 2010

Infinity : new research frontiers / edited by Michael Heller, W. Hugh Woodin. Cambridge ; New York : Cambridge University Press, 2011.
Mathematics/Statistics QA9 .I46 2011

Interactive models of computation and program behavior / Pierre-Louis Curien ... [et al.]. Paris : Société mathématique de France, 2009. (Panoramas et synthèses ; 27).
Mathematics/Statistics QA76.9.M35 I58 2009

Introduction to mathematical logic and resolution principle / Guo-Jun Wang, Hong-Jun Zhou. 2nd ed. Oxford, U.K. : Alpha Science ; Beijing : Science Press, c2009.
Mathematics/Statistics QA9 .W36 2009

Logic with a probability semantics : including solutions to some philosophical problems / Theodore Hailperin. [Bethlehem, Pa.] : Lehigh University Press ; Lanham, Md. : Rowman & Littlefield, c2011.
Mathematics/Statistics QA273.A35 H35 2011

Logique arithmétique : l'arithmétisation de la logique / Yvon Gauthier. Québec : Presses de l'Université Laval, c2010. (Logique de la science).
Mathematics/Statistics QA9 .G34 2010

The many sides of logic / edited by Walter Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano. London : College Publications, c2009. (Studies in logic ; v. 21).
Mathematics/Statistics BC5 .C55 2008

Mathematics and reality / Mary Leng. Oxford : Oxford University Press, 2010.
Mathematics/Statistics QA8.4 .L46 2010

Methods of cut-elimination / Matthias Baaz, Alexander Leitsch. Dordrecht ; Heidelberg ; New York : Springer, c2011. (Trends in logic ; v. 34).
Mathematics/Statistics QA9.54 .B33 2011

Modal logic : an introduction to its syntax and semantics / Nino B. Cocchiarella and Max A. Freund. Oxford ; New York : Oxford University Press, 2008.
Mathematics/Statistics BC199.M6 C63 2008

A new approach to quantum logic / Kurt Engesser, Dov M. Gabbay, Daniel Lehmann. London : College Publications, c2007. (Studies in logic. Mathematical logic and foundations ; v. 8).
Mathematics/Statistics QC174.17.M35 E54 2007

New approaches to classes and concepts / edited by Klaus Robering. London : College Pub., c2008. Studies in logic ; v. 14).
Mathematics/Statistics QA9 .N478 2008

New essays on Peirce's mathematical philosophy / edited by Matthew E. Moore. Chicago : Open Court, c2010.
Mathematics/Statistics QA8.4 .N485 2010

Philosophie der Mathematik / Thomas Bedürftig, Roman Murawski. Berlin ; New York : De Gruyter, c2010.
Mathematics/Statistics QA8.4 .B425 2010

Philosophy of mathematics : selected writings / Charles S. Peirce ; edited by Matthew E. Moore. Bloomington : Indiana University Press, c2010.
Mathematics/Statistics QA8.6 .P465 2010

Probability, uncertainty and rationality. Berlin : Springer, 2010.
Mathematics/Statistics QA9.4 .P76 2010

Proofs and algorithms : an introduction to logic and computability / Gilles Dowek. London ; New York : Springer, c2011. (Undergraduate topics in computer science).
Mathematics/Statistics QA9 .D68 2011

Proof-theoretical coherence / Kosta Došen and Zoran Petrić. London : King's College Publications, c2004. (Studies in logic ; v. 1).
Mathematics/Statistics QA9.54 .D672 2004

Reasoning in simple type theory : festschrift in honour of Peter B. Andrews on this 70th birthday / edited by Christoph Benzmüller ... [et al.]. London : College Publications, 2008. (Studies in logic. Mathematical logic and foundations ; v. 17).
Mathematics/Statistics QA9 .R437 2008

Roads to infinity : the mathematics of truth and proof / John Stillwell. Natick, Mass. : A K Peters, c2010.
Mathematics/Statistics QA248 .S778 2010

Truth through proof : a formalist foundation for mathematics / Alan Weir. Oxford : Clarendon Press, 2010.
Mathematics/Statistics QA8.4 .W45 2010

Über die Grundsätze der Mathematik / Carl Stumpf ; herausgegeben von Wolfgang Ewen. Würzburg : Königshausen & Neumann, c2008.
Mathematics/Statistics QA685 .S86 2008

Ways of proof theory / Ralf Schindler (ed.). Frankfurt : Ontos Verlag ; Piscataway, NJ : [Distributed in] North and South America by Transaction Books, Rutgers University, 2010. (Ontos mathematical logic ; v. 2).
Mathematics/Statistics QA9.54 .W39 2010

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

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