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

The autonomy of mathematical knowledge : Hilbert's program revisited / Curtis Franks. Cambridge , UK ; New York : Cambridge University Press, 2009.
Mathematics/Statistics QA8.4 .F736 2009

Cognitive reasoning : a formal approach / Oleg M. Anshakov, Tamas Gergely. Heidelberg ; New York : Springer, c2010. (Cognitive technologies).
Mathematics/Statistics QA9 .A674 2010

Computable models / Raymond Turner. Berlin : Springer, c2009.
Mathematics/Statistics QA9.59 .T87 2009

Conceptual mathematics : a first introduction to categories / F. William Lawvere, Stephen H. Schanuel. Cambridge , UK ; New York : Cambridge University Press, 2009. 2nd ed.
Mathematics/Statistics QA169 .L355 2009

A concise introduction to mathematical logic / Wolfgang Rautenberg. New York : Springer, c2010. 3rd ed. (Universitext).
Mathematics/Statistics QA9 .R26513 2010

The development of modern logic / edited by Leila Haaparanta. Oxford ; New York : Oxford University Press, 2009.
Mathematics/Statistics BC15 .D48 2009

Diamond : a paradox logic / N.S. Hellerstein. Singapore ; Hackensack , NJ : World Scientific, c2010. 2nd ed. (K & E series on knots and everything ; v. 23).
Mathematics/Statistics QA9 .H396 2010

Elementare Beweistheorie / von Lutz Heindorf. Mannheim ; Leipzig ; Zürich [etc.] : B.-I.-Wissenschaftsverlag, Bibliographisches Institut & F.A. Brockhaus, 1994.
Mathematics/Statistics QA300 .H45 1994

Elements of computation theory / Arindama Singh. Dordrecht ; New York : Springer, c2009. (Texts in computer science).
Mathematics/Statistics QA267 .S54 2009

From Kant to Hilbert : a source book in the foundations of mathematics / [compiled by] William Ewald. Oxford : Clarendon Press ; New York : Oxford University Press, 1999. (Oxford science publications).
Alfred Tarski Room (727 Evans)

Games, puzzles, and computation / Robert A. Hearn, Erik D. Demaine. Wellesley , Mass. : A K Peters, Ltd., c2009.
Mathematics/Statistics QA63 .H35 2009

Games, scales, and suslin cardinals: the Cabal Seminar, volume 1 / edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel. Chicago , IL : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, 2008. (Lecture notes in logic, 31).
Mathematics/Statistics QA9 .L355 v.31 (in process)

The golden age of Polish philosophy : Kazimierz Twardowski's philosophical legacy / edited by Sandra Lapointe ... [et al.]. Dordrecht ; New York : Springer, c2009. (Logic, epistemology, and the unity of science ; v. 16).
Mathematics/Statistics B4689 .G66 2009

Handbook of practical logic and automated reasoning / John Harrison. Cambridge : Cambridge University Press, 2009.
Mathematics/Statistics QA76.9.L63 H38 2009

Handbook of satisfiability / edited by Armin Biere ... [et al.]. Amsterdam , The Netherlands ; Washington , DC ; IOS Press, c2009. (Frontiers in artificial intelligence and applications ; v. 185).
Mathematics/Statistics QA9.3 .H36 2009

Introduction to mathematical logic / Elliott Mendelson. Boca Raton : CRC Press, c2010. 5th ed. (Discrete mathematics and its applications).
Mathematics/Statistics QA9 .M4 2010

Introduction to mathematics of satisfiability / Victor W. Marek. Boca Raton : CRC Press, c2009. (Chapman & Hall/ CRC studies in informatics series).
Mathematics/Statistics QA9.3 .M37 2009

Kant e la logica / Mirella Capozzi. Napoli : Bibliopolis, 2002-. (Serie studi / Istituto italiano per gli studi filosofici ; 22).
Mathematics/Statistics B2799.L8 C37 2002

Lectures on mathematical logic / Walter Felscher. Amsterdam , the Netherlands : Gordon and Breach Science Publishers, c2000.
Mathematics/Statistics QA9.2 .F45 2000 v.1-3

Logic Colloquium 2006 / edited by S. Barry Cooper ... [et al.]. Cambridge ; New York : Cambridge University Press ; [ Poughkeepsie , N.Y. ] : Association for Symbolic Logic, 2009. (Lecture notes in logic, 32).
Mathematics/Statistics QA9 .L355 v.32 (in process)

Logic for grammar : developments in linear logic and formal linguistics / Claudia Casadio. Roma : Bulzoni, c2002. (Papers in formal linguistics and logic).
Mathematics/Statistics P39 .C33 2002

Logica dei quantificatori dipendenti e indipendenti : saggio critico-introduttivo alla logica filo-indipendente di Hintikka / Massimo Panzarella ; presentazione di Michele Marsonet ; introduzione di Gabriel Sandu. Milano : F. Angeli, 2009. (Epistemologia ; 95).
Mathematics/Statistics QA9 .P292 2009

Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen. New York : Cambridge University Press ; Ithaca , NY : Association for Symbolic Logic, 2010. (Perspectives in logic).
Mathematics/Statistics QA267.7 .C695 2010

Mathematical logic : foundations for information science / Wei Li. Basel ; Boston : Birkhäuser, c2010.
Mathematics/Statistics QA9 .L475 2010

More precisely : the math you need to do philosophy / Eric Steinhart. Buffalo , N.Y. : Broadview Press, 2009. (Broadview guides to philosophy).
Mathematics/Statistics QA9 .S745 2009

New perspectives in logic and formal linguistics : proceedings of the Vth Roma Workshop / V. Michele Abrusci, Claudia Casadio [editors]. Roma : Bulzoni, c2002. (Papers in formal linguistics and logic).
Mathematics/Statistics P138 .R66 2001

New waves in philosophy of mathematics / edited by Otávio Bueno, Øystein Linnebo. Basingstoke : Palgrave Macmillan, 2009.
Mathematics/Statistics QA8.4 .N499 2009

Philosophy of mathematics / edited by Anderw D. Irvine. Amsterdam : North Holland/Elsevier, 2009. (Handbook of the philosophy of science).
Mathematics/Statistics QA8.4 .P45 2009

Philosophy of mathematics : an introduction / David Bostock. Chichester , U.K. ; Malden , MA : Wiley-Blackwell, 2009.
Mathematics/Statistics QA8.4 .B675 2009

Le point aveugle : cours de logique / Jean-Yves Girard. Paris : Hermann, c2006-2007. (Visions des sciences).
Mathematics/Statistics QA9 .G44 2006 v.1-2

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / editors, T. Arai ... [et al.]. Singapore ; Hackensack , NJ : World Scientific, c2010.
Mathematics/Statistics Q334 .A853 2008

Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer. Cambridge ; New York : Cambridge University Press, 1992.
Mathematics/Statistics QA9.54 .L44 1990

Quantification in nonclassical logic / D.M. Gabbay, V.B. Shehtman, D.P. Skvortsov. Amsterdam ; London : Elsevier, 2009-. (Studies in logic and the foundations of mathematics ; v. 153).
Mathematics/Statistics QA9.4 .G222 2009

Saturated model theory / Gerald E. Sacks. Singapore : World Scientific, 2010. 2nd ed. (Mathematics lecture note series).
Mathematics/Statistics QA9 .S16 2010

The search for certainty : on the clash of science and philosophy of probability / Krzysztof Burdzy. Hackensack , NJ : World Scientific, c2009.
Mathematics/Statistics QA273 .B9235 2009

Subsystems of second order arithmetic / Stephen G. Simpson. Cambridge ; New York : Cambridge University Press, 2009. 2nd ed. (Perspectives in logic).
Mathematics/Statistics QA9.7 .S537 2009

La theoria della dimostrazione di Hilbert / Enrico Moriconi. Napoli : Bibliopolis, c1988. (Testi per lo studio della logica matematica ; 2).
Mathematics/Statistics QA9.54 .M67 1988 (in process)

There's something about Gödel : the complete guide to the incompleteness theorem / Francesco Berto. Malden , MA : Wiley-Blackwell, 2009.
Mathematics/Statistics QA9.54 .B4713 2009

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

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