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 Contact webmaster UC Berkeley home

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