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

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