1  20
Next
Number of results to display per page
 Pearl, Judea, author.
 First edition.  New York, NY : Basic Books, [2018]
 Description
 Book — x, 418 pages : illustrations ; 25 cm
 Summary

 Introduction : Mind over data
 The ladder of causation
 From buccaneers to guinea pigs : the genesis of causal inference
 From evidence to causes : Reverend Bayes meets Mr. Holmes
 Confounding and deconfounding : or, slaying the lurking variable
 The smokefilled debate : clearing the air
 Paradoxes galore!
 Beyond adjustment : the conquest of Mount Intervention
 Counterfactuals : mining worlds that could have been
 Mediation : the search for a mechanism
 Big data, artificial intelligence, and the big questions.
(source: Nielsen Book Data) 9780465097609 20181029
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
2. Ten great ideas about chance [2018]
 Diaconis, Persi, author.
 Princeton ; Oxford : Princeton University Press, [2018]
 Description
 Book — x, 255 pages : illustrations ; 25 cm
 Summary

 Preface ixAcknowledgments xi1 Measurement
 12 Judgment
 223 Psychology
 484 Frequency
 625 Mathematics
 796 Inverse Inference
 1007 Unification
 1228 Algorithmic Randomness
 1459 Physical Chance
 16510 Induction 190Appendix: Probability Tutorial 209Notes 225Annotated Select Bibliography 239Image Credits 247Index 249.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780691174167 20180205
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA273 .A4 D53 2018  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA273 .A4 D53 2018  Unknown 
 Delo akademika Nikolai͡a Nikolaevicha Luzina. English.
 Providence, Rhode Island : American Mathematical Society, [2016]
 Description
 Book — xxxi, 375 pages, 8 unnumbered pages of plates : illustrations ; 26 cm.
 Summary

 * Introduction* The case of academician Luzin in the collective memory of the scientific community* Minutes of the meetings of the USSR Academy of Sciences Commission in the case of academician Luzin* Minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin:
 7 July Minutes of the meeting of the USSR Academy of Sciences Commission on the matter of academician Luzin*9 July Minutes of the meeting of the USSR Academy of Sciences Commission on the matter of academician Luzin*11 July Minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*13 July Minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*15 July Commentaries on the minutes of the meetings of the USSR Academy of Sciences Commission in the case of academician Luzin* Commentaries on the minutes of the meetings of the USSR Academy of Sciences Commission in the case of academician Luzin Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*7 July
 1936 Commentary on the minutes of the USSR Academy of Sciences Commission in the matter of academician Luzin*9 July
 1936 Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*11 July
 1936 Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*13 July
 1936 Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*15 July
 1936 Literature Appendices* Appendices introduction* A pleasant disillusionment* Reply to academician N. Luzin* Enemies wearing a Soviet mask* Letter from L. Z. Mekhlis, editor of $\textit{Pravda}$, to the Central Committee,
 3 July 1936* Resolution concerning the articles "Response to academician Luzin" and "Enemies wearing a Soviet mask" in $\textit{Pravda}$* Draft of the proposal of the special session of the Presidium of the USSR Academy of Sciences,
 4 July 1936* Letter from P. L. Kapitsa to Molotov,
 6 July 1936* Excerpt from the minutes of the Presidum meeting of
 7 July 1936* Letters from V. I. Vernadski iand N. V. Nasonov to the Academy of Sciences Division of Mathematical and Natural Sciences and to academicians A. E. Fersman and N. P. Gorbunov in support of academician Luzin* Letter from academician N. N. Luzin to the Central Committee of the Communist Party
 7 July 1936* Traditions of servility* Resolution of the General Assembly of Scientists of the Department of Mechanics and Mathematics and Institute of Mathematics, Mechanics, and Astronomy at Moscow University* Letter from Luzin to an undetermined addressee,
 11 July 1936* Enemies wearing a Soviet mask* The Leningrad scholars respond* Letter from L. Z. Mekhlis, Editor of Pravda, to Stalin and Molotov,
 14 July 1936* The enemy exposed Luzin's statement to the Presidium of the Academy of Sciences,
 14 July 1936* Academician Gubkin on socalled academician Luzin* The Belarus scholars on the exposed enemy Luzin* The scholarly community condemns enemies wearing a Soviet mask* Note accompanying the draft of the findings of the Presidium of the USSR Academy of Sciences regarding academician N. N. Luzin,
 25 July 1936* Conclusion of the Commission On academician N. N. Luzin* Findings of the Presidium of the USSR Academy of Sciences,
 5 August 1936* To rid academia of Luzinism* Glossary of Soviet terms and people* Subject index* Name index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9781470426088 20160711
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
Q127 .S65 D4513 2016  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
Q127 .S65 D4513 2016  Unknown 
4. Handbook of epistemic logic [2015]
 [UK] : College Publications, [2015]
 Description
 Book — xviii, 655 pages : illustrations ; 24 cm
 Summary

 An introduction to logics of knowledge and belief
 [pt.] I. Informational attitudes
 Only knowing
 Awareness
 Epistemic probabilistic logic
 [pt.] II. Dynamics of informational attitudes
 Knowledge and time
 Dynamic epistemic logic
 Dynamic logics of belief change
 [pt.] III. Applications
 Model checking temporal epistemic logic
 Epistemic foundations of game theory
 BDI logics
 Knowledge and ability
 Knowledge and security.
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA269 .H36 2015  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA269 .H36 2015  Unknown 
5. Rigor and structure [2015]
 Burgess, John P., 1948
 1st ed.  Oxford, UK : Oxford University Press, 2015.
 Description
 Book — vii, 215 p. ; 23 cm
 Summary

 Preface
 Acknowledgments
 1. Rigor and Rigorization
 2. Rigor and Foundations
 3. Structure and Structuralism
 4. Structure and Foundations
 Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780198722229 20160618
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.4 .B855 2015  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA8.4 .B855 2015  Unknown 
 Maudlin, Tim.
 1st ed.  Oxford ; New York : Oxford University Press, 2014.
 Description
 Book — ix, 363 p. : ill. ; 24 cm
 Summary

 Acknowledgments
 Introduction
 MATHEMATICAL FOUNDATIONS
 1. Topology and Its Shortcomings
 2. Linear Structures, Neighborhoods, Open Sets
 Appendix to
 Chapter 2
 3. Closed Sets, Open Sets (Again), Connected Spaces
 4. Separation Properties, Convergence, and Extensions
 5. Properties of Functions
 6. Subspaces and Substructures Straightness and Differentiability
 7. Metrical Structure
 Appendix: A Remark about Minimal Regular Metric Spaces
 8. Product Spaces and Fiber Bundles
 9. Beyond Continua
 Axioms and Definitions
 Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780198701309 20160614
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA447 .M38 2014  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA447 .M38 2014  Unknown 
7. Philosophy of biology [2014]
 GodfreySmith, Peter author.
 Princeton : Princeton University Press, [2014]
 Description
 Book — 187 pages : illustrations ; 23 cm.
 Summary

 Preface ix CHAPTER ONE Philosophy and Biology
 1 CHAPTER TWO Laws, Mechanisms, and Models
 11 CHAPTER THREE Evolution and Natural Selection
 28 CHAPTER FOUR Adaptation, Construction, Function
 50 CHAPTER FIVE Individuals
 66 CHAPTER SIX Genes
 81 CHAPTER SEVEN Species and the Tree of Life
 100 CHAPTER EIGHT Evolution and Social Behavior
 120 CHAPTER NINE Information
 144 References
 159 Index 179.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780691140018 20160612
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QH331 .G615 2014  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QH331 .G615 2014  Unknown 
 Hacking, Ian.
 New York : Cambridge University Press, 2014.
 Description
 Book — xv, 290 pages ; 23 cm
 Summary

 Foreword
 1. A Cartesian introduction
 2. What makes mathematics mathematics?
 3. Why is there philosophy of mathematics?
 4. Proofs
 5. Applications
 6. In Plato's name
 7. CounterPlatonisms Disclosures.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9781107658158 20160612
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.4 .H33 2014  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA8.4 .H33 2014  Unknown 
9. Alan Turing : his work and impact [2013]
 Waltham, MA : Elsevier, c2013.
 Description
 Book — xxi, 914 p. : ill. ; 29 cm.
 Summary

 Part I: How Do We Compute? What Can We Prove? 1.Alan Mathison Turing 2.On Computable Numbers, with an Application to the Entscheidungsproblem 3.On Computable Numbers, with an Application to the Entscheidungsproblem  correction 4.Review of Turing 19367 5.Computability and definability 6.The pfunction in Kconversion 7.Systems of Logic based on Ordinals 8.A Formal Theorem in Church's Theory of Types 9.The Use of Dots as Brackets in Church's System 10.Practical Forms of Type Theory 11.The Reform of Mathematical Notation Part II: Hiding and Unhiding Information: Cryptology, Complexity and Number Theory. 1.On the Gaussian Error Function 2.A Method for the Calculation of the Zetafunction 3.Some Calculations of the Riemann Zetafunction 4.On a Theorem of Littlewood 5.The Word Problem in Semigroups with Cancellation 6.Solvable and Unsolvable Problems 7.The Word Problem in Compact Groups 8.On Permutation Groups 9.Roundingoff Errors in Matrix Processes 10.A Note on Normal Numbers 11.Turing's treatise on the Enigma (Prof's Book) Report by Turing on U. S. Navy cryptanalytic work and their machinery, November 1942 Speech System 'Delilah'  report on progress,
 6 June 1944 Checking a Large Routine An early program proof by Alan Turing Programmers' Handbook for the Manchester electronic computer Local Programming Methods and Conventions Part III: Building a Brain: Intelligent Machines, Practice and Theory. 1.Lecture to the London Mathematical Society 2.Intelligent Machinery 3.Computing Machinery and Intelligence 4.Chess Solvable and Unsolvable Problems 5.Intelligent Machinery: A heretical theory Can digital computers think? Can automatic calculating machines be said to think? 6.Some Remarks on the Undecidability Results Part IV: The Mathematics of Emergence: The Mysteries of Morphogenesis. 1.The Chemical Basis of Morphogenesis 2.A Diffusion Reaction Theory of Morphogenesis in Plants 3.Morphogen Theory of Phyllotaxis Geometrical and Descriptive Phyllotaxis Chemical Theory of Morphogenesis A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry 4.Outline of the Development of the Daisy.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780123869807 20190128
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA29 .T8 A45 2013  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA29 .T8 A45 2013  Unknown 
 Longino, Helen E.
 Chicago : The University of Chicago Press, 2013.
 Description
 Book — 249 pages.
 Summary

 Approaches to understanding human behavior
 Quantitative behavioral genetics
 Socialenvironmental approaches
 Molecular behavioral genetics
 Neurobiological approaches
 Integrative approaches
 Scope and limits of the approaches
 Epistemological, ontological, and social analysis
 What we could know
 Defining behavior
 The social life of behavioral science
 A brief conclusion.
(source: Nielsen Book Data) 9780226492889 20160615
 Online
Green Library, Philosophy Library (Tanner), Science Library (Li and Ma)
Green Library  Status 

Find it Stacks  
BF199 .L58 2013  Unknown 
Philosophy Library (Tanner)  Status 

Stacks  
BF199 .L58 2012  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
BF199 .L58 2013  Unknown 
 Benthem, Johan van, 1949
 Cambridge, UK ; New York : Cambridge University Press, 2011.
 Description
 Book — xi, 373 p. : ill. ; 26 cm.
 Summary

 Preface
 1. Logical dynamics, agency, and intelligent interaction
 2. Epistemic logic and semantic information
 3. Dynamic logic of public observation
 4. Multiagent dynamicepistemic logic
 5. Dynamics of inference and awareness
 6. Questions and issue management
 7. Soft information, correction, and belief change
 8. An encounter with probability
 9. Preference statics and dynamics
 10. Decisions, actions, and games
 11. Processes over time
 12. Epistemic group structure and collective agency
 13. Logical dynamics in philosophy
 14. Computation as conversation
 15. Rational dynamics in game theory
 16. Meeting cognitive realities
 17. Conclusion Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521765794 20160606
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA9 .B3988 2011  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA9 .B3988 2011  Unknown 
12. Descriptive set theory [2009]
 Moschovakis, Yiannis N.
 2nd ed.  Providence, R.I. : American Mathematical Society, 2009.
 Description
 Book — xiv, 502 p. : ill. ; 27 cm.
 Summary

Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and so can be expected to have special properties not enjoyed by arbitrary pointsets. This subject was started by the French analysts at the turn of the 20th century, most prominently Lebesgue, and, initially, was concerned primarily with establishing regularity properties of Borel and Lebesgue measurable functions, and analytic, coanalytic, and projective sets. Its rapid development came to a halt in the late 1930s, primarily because it bumped against problems which were independent of classical axiomatic set theory. The field became very active again in the 1960s, with the introduction of strong settheoretic hypotheses and methods from logic (especially recursion theory), which revolutionized it. This monograph develops Descriptive Set Theory systematically, from its classical roots to the modern 'effective' theory and the consequences of strong (especially determinacy) hypotheses. The book emphasizes the foundations of the subject, and it sets the stage for the dramatic results (established since the 1980s) relating large cardinals and determinacy or allowing applications of Descriptive Set Theory to classical mathematics. The book includes all the necessary background from (advanced) set theory, logic and recursion theory.
(source: Nielsen Book Data) 9780821848135 20160528
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA248 .M66 2009  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA3 .A4 V.155  Unknown 
 Sober, Elliott.
 Cambridge ; New York : Cambridge University Press, 2008.
 Description
 Book — xx, 392 p. : ill. ; 24 cm.
 Summary

 Preface
 1. Evidence
 2. Intelligent design
 3. Natural selection
 4. Common ancestry Conclusion References Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521871884 20160528
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QH360.5 .S625 2008  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QH360.5 .S625 2008  Unknown 
 Priest, Graham.
 2nd ed.  Cambridge ; New York : Cambridge University Press, 2008.
 Description
 Book — xxxii, 613 pages ; 25 cm.
 Summary

 Preface to the first edition Preface to the second edition Mathematical prolegomenon Part I. Propositional Logic:
 1. Classical logic and the material conditional
 2. Basic modal logic
 3. Normal modal logics
 4. Nonnormal modal logics strict conditionals
 5. Conditional logics
 6. Intuitionist logic
 7. Manyvalued logics
 8. First degree entailment
 9. Logics with gaps, gluts, and worlds
 10. Relevant logics
 11. Fuzzy logics 11a. Appendix: many valued modal logics Postscript: an historical perspective on conditionals Part II. Qualification and Identity:
 12. Classical logic
 13. Free logic
 14. Constant domain modal logics
 15. Variable domain modal logics
 16. Necessary identity in modal logic
 17. Contingent identity in modal logic
 18. Nonnormal modal logics
 19. Conditional logics
 20. Intuitionist logic
 21. Manyvalued logics
 22. First degree entailment
 23. Logics with gaps, gluts, and worlds
 24. Relevant logics
 25. Fuzzy logics Postscript: a methodological coda.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521854337 20160618
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.4 .P75 2008  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA9.4 .P75 2008  Unknown 
15. Philosophy of mathematics : a contemporary introduction to the world of proofs and pictures [2008]
 Brown, James Robert.
 2nd ed.  New York : Routledge, 2008.
 Description
 Book — xiv, 245 p. : ill. ; 24 cm.
 Summary

 Contents Preface and Acknowledgements
 Chapter 1: Introduction: The Mathematical Image
 Chapter 2: Platonism
 Chapter 3: Pictureproofs and Platonism
 Chapter 4: What is Applied Mathematics?
 Chapter 5: Hilbert and Godel
 Chapter 6: Knots and Notation
 Chapter 7: What is a Definition?
 Chapter 8: Constructive Approaches
 Chapter 9: Proofs, Pictures and Procedures in Wittgenstein
 Chapter 10: Computation, Proof and Conjecture
 Chapter 11: How to Refute the Continuum Hypothesis
 Chapter 12: Calling the Bluff Notes Bibliography Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780415960472 20160527
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.4 .B76 2008  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA8.4 .B76 2008  Unknown 
16. An introduction to Gödel's Theorems [2007]
 Smith, Peter, 1935
 Cambridge, UK ; New York : Cambridge University Press, 2007.
 Description
 Book — xiv, 361 p. ; 26 cm.
 Summary

 Preface
 1. What Godel's Theorems say
 2. Decidability and enumerability
 3. Axiomatized formal theories
 4. Capturing numerical properties
 5. The truths of arithmetic
 6. Sufficiently strong arithmetics
 7. Interlude: taking stock
 8. Two formalized arithmetics
 9. What Q can prove
 10. Firstorder Peano Arithmetic
 11. Primitive recursive functions
 12. Capturing funtions
 13. Q is p.r. adequate
 14. Interlude: a very little about Principia
 15. The arithmetization of syntax
 16. PA is incomplete
 17. Godel's First Theorem
 18. Interlude: about the First Theorem
 19. Strengthening the First Theorem
 20. The Diagonalization Lemma
 21. Using the Diagonalization Lemma
 22. Secondorder arithmetics
 23. Interlude: incompleteness and Isaacson's conjecture
 24. Godel's Second Theorem for PA
 25. The derivability conditions
 26. Deriving the derivability conditions
 27. Reflections
 28. Interlude: about the Second Theorem
 29. Recursive functions
 30. Undecidability and incompleteness
 31. Turing machines
 32. Turing machines and recursiveness
 33. Halting problems
 34. The ChurchTuring Thesis
 35. Proving the Thesis?
 36. Looking back.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521857840 20160528
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.65 .S65 2007  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA9.65 .S65 2007  Unknown 
 New York : Springer, c2006.
 Description
 Book — xxi, 326 p. : ill. ; 24 cm.
 Summary

 Introduction by Reuben Hersh. A. Renyi: Socratic Dialogue. C. Celluci: Filosofia e Matematica, introduction. W. Thurston: On Proof and Progress in Mathematics. A. Aberdein: The Informal Logic of Mathematical Proof. Y. Rav: Philosophical Problems of Mathematics in Light of Evolutionary Epistemology. B. Rotman: Towards a Semiotics of Mathematics. D. Mackenzie: Computers and the Sociology of Mathematical Proof. T. Stanway: From G.H.H. and Littlewood to XML and Maple: Changing Needs and Expectations in Mathematical Knowledge Management. R. Nunez: Do Numbers Really Move? T. Gowers: Does Mathematics Need a Philosophy? J. Azzouni: How and Why Mathematics is a Social Practice. G.C. Rota: The Pernicious Influence of Mathematics Upon Philosophy. J. Schwartz: The Pernicious Influence of Mathematics on Science. Alfonso Avila del Palacio: What is Philosophy of Mathematics Looking For?. A. Pickering: Concepts and the Mangle of Practice: Constructing Quaternions. E. Glas: Mathematics as Objective Knowledge and as Human Practice. L. White: The Locus of Mathematical Reality: An Anthropological Footnote. R. Hersh: Inner Vision, Outer Truth.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780387257174 20160528
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.6 .A13 2006  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA8.6 .A13 2006  Unknown 
 Diamond, Jared M.
 New York : Viking, 2005.
 Description
 Book — xi, 575 p., [24] p. of plates : ill., maps ; 25 cm.
 Summary

In Collapse, Jared Diamond investigates the fate of past human societies, and the lessons for our own future. What happened to the people who built the ruined temples of Angkor Wat, the longabandonded statues of Easter Island, the crumbling Maya pyramids of the Yucatan? All saw their cultures collapse because of environmental crises. And it looks as if those crises were selfinduced. As in his celebrated global bestseller Guns, Germs and Steel, Diamond brings together new evidence from a startling range of sources to tell a story with epic scope. And he lends it urgency for the modern world by probing the roots of decisions which allowed some societies to avoid ecological catastrophe, while others succumbed. How, he asks, can we learn to be survivors?
(source: Nielsen Book Data) 9780713992861 20160528
Jared Diamond investigates the fate of past human societies, and the lessons for our own future.
(source: Nielsen Book Data) 9780713998627 20160528
 Online
Green Library, Earth Sciences Library (Branner), Philosophy Library (Tanner), Science Library (Li and Ma)
Green Library  Status 

Find it Stacks  
HN13 .D5 2005  Unknown 
Earth Sciences Library (Branner)  Status 

Stacks  
HN13 .D5 2005  Unknown 
Philosophy Library (Tanner)  Status 

Stacks  
HN13 .D5 2005  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
HN13 .D5 2005  Unknown 
19. A mathematical introduction to logic [2001]
 Enderton, Herbert B.
 2nd ed.  San Diego : Harcourt/Academic Press, c2001.
 Description
 Book — xii, 317 p. ; 24 cm.
 Summary

 USEFUL FACTS ABOUT SETS. SENTENTIAL LOGIC. FIRSTORDER LOGIC. UNDECIDABILITY. SECONDORDER LOGIC.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780122384523 20170626
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

On reserve at Tanner Library  
QA9 .E54 2001  Unknown 
QA9 .E54 2001  Unknown 
Stacks  
QA9 .E54 2001  Unavailable Checked out  Overdue Request 
QA9 .E54 2001  Unknown Permanent reserve: Ask at circulation desk 
Science Library (Li and Ma)  Status 

Stacks  
QA9 .E54 2001  Unknown 
QA9 .E54 2001  Unknown 
20. Modal logic [2001]
 Blackburn, Patrick, 1959
 Cambridge [England] ; New York : Cambridge University Press, 2001.
 Description
 Book — xxii, 554 p. ; 24 cm.
 Summary

 1. Basic concepts
 2. Models
 3. Frames
 4. Completeness
 5. Algebras and general frames
 6. Computability and complexity
 7. Extended modal logic.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521802000 20160528
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.46 .B58 2001  Unknown 
QA9.46 .B58 2001  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA9.46 .B58 2001  Unknown 