1  20
Next
2. Two Applications of Logic to Mathematics [1978]
 Takeuti, Gaisi, 19262017, author. Author http://id.loc.gov/vocabulary/relators/aut
 Princeton, NJ : Princeton University Press, [2015]
 Description
 Book — 1 online resource (148 p). Digital: text file; PDF.
 Summary

 Frontmatter
 Preface
 Contents
 Introduction
 Part I. Boolean Valued Analysis
 Introduction
 Chapter 1. Boolean Valued Analysis Using Projection Algebras
 Chapter 2. Boolean Valued Analysis Using Measure Algebras
 References
 Part II. A Conservative Extension of Peano Arithmetic
 Introduction
 Chapter 1. Real Analysis
 Chapter 2. Complex Analysis
 References
 Index
 Backmatter
3. Sheaf theory through examples [2022]
 Rosiak, Daniel, author.
 Cambridge, Massachusetts : The MIT Press, [2022]
 Description
 Book — 1 online resource.
 Summary

"This book presents copious and sometimes unexpected examples of sheaf theory, a mathematical tool with promising applications in data science and engineering and in efforts to apply category theory more widely" Provided by publisher.
4. Elements of ∞category theory [2022]
 Riehl, Emily, author.
 Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2022.
 Description
 Book — 1 online resource (xix, 759 pages) : illustrations.
 Summary

 Part I. Basic Category Theory: 1. Cosmoi and their homotopy 2categories
 2. Adjunctions, limits, and colimits I
 3. Comma categories
 4. Adjunctions, limits, and colimits II
 5. Fibrations and Yoneda's lemma
 6. Exotic cosmoi
 Part II. The Calculus of Modules: 7. Twosided fibrations and modules
 8. The calculus of modules
 9. Formal category theory in a virtual equipment
 Part III. Model Independence: 10. Changeofmodel functors
 11. Model independence
 12. Applications of model independence.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Goldblatt, Robert.
 Cambridge ; New York : Cambridge University Press, 2011.
 Description
 Book — xiii, 268 p. ; 24 cm.
 Summary

 Introduction and overview
 1. Logics with actualist quantifiers
 2. The Barcan formulas
 3. The existence predicate
 4. Propositional functions and predicate substitution
 5. Identity
 6. Cover semantics for relevant logic
 References
 Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA9.46 .G664 2011  Unknown 
6. Two Applications of Logic to Mathematics [2015]
 Takeuti, Gaisi, author.
 Princeton, N.J. : Princeton University Press, [2015]
 Description
 Book — 1 online resource(152 p.) : illustrations. Digital: text file; PDF.
 Summary

 Frontmatter
 Preface
 Contents
 Introduction
 Introduction
 Chapter 1. Boolean Valued Analysis Using Projection Algebras
 Chapter 2. Boolean Valued Analysis Using Measure Algebras
 References
 Introduction
 Chapter 1. Real Analysis
 Chapter 2. Complex Analysis
 References
 Index
 Backmatter.
7. Quantification in nonclassical logic [2009 ]
 Gabbay, Dov M., 1945
 1st ed.  Amsterdam ; London : Elsevier, 2009
 Description
 Book — v. : ill. ; 24 cm.
 Summary

Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and language in ancient times; they were studied by traditional informal methods until the 20th century. In the last century the tools became highly mathematical, and both modal logic and quantification found numerous applications in Computer Science. At the same time many other kinds of nonclassical logics were investigated and applied to Computer Science. Although there exist several good books in propositional modal logics, this book is the first detailed monograph in nonclassical firstorder quantification. It includes results obtained during the past thirty years. The field is very large, so we confine ourselves with only two kinds of logics: modal and superintuitionistic.The main emphasis of volume 1 is modeltheoretic, and it concentrates on descriptions of different sound semantics and completeness problem  even for these seemingly simple questions we have our hands full. The major part of the presented material has never been published before. Some results are very recent, and for other results we either give new proofs or first proofs in full detail.
(source: Nielsen Book Data)
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks


QA9.4 .G222 2009 V.1  Unknown 
8. An introduction to nonclassical logic [2001]
 Priest, Graham.
 Cambridge ; New York : Cambridge University Press, 2001.
 Description
 Book — xxi, 242 p. ; 24 cm.
 Summary

 Introduction
 1. Classical logic and the material conditional
 2. Basic modal logic
 3. Normal modal logics
 4. Nonnormal worlds
 strict conditionals
 5. Conditional logics
 6. Intuitionist logic
 7. Manyvalued logics
 8. First degree entailment
 9. Basic relevant logic
 10. Mainstream relevant logics
 11. Fuzzy logic
 12. Conclusion: a historical perspective.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.4 .P75 2001  Available 
9. The classical decision problem [1997]
 Boerger, Egon, 1946
 New York : Springer, c1997.
 Description
 Book — xii, 482 p. : ill. ; 25 cm.
 Summary

This treatment of the classical decision problem of mathematical logic and its role in modern computer science provides an analysis of the natural order of decidable and undecidable cases. Of particular interest is the complete classification of the solvable and unsolvable standard cases of the classical decision problem, the complexity analysis of the solvable cases, the extremely comprehensive treatment of the reduction method, and the modeltheoretic analysis of solvable cases. Many simple proofs and exercises are included in the book.
(source: Nielsen Book Data)
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA9.65 .B64 1997  Unknown 
QA9.65 .B64 1997  Unknown 
10. Cornerstones of undecidability [1994]
 Rozenberg, Grzegorz.
 Hemel Hempstead, Hertfordshire ; Englewood Cliffs, NJ : Prentice Hall, 1994.
 Description
 Book — xvi, 197 p. : ill. ; 24 cm.
 Summary

 Halting problem
 post correspondence problem
 diophantine problems
 classes of problems and proofs
 the secret number.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.63 .R69 1994  Available 
 Moskva : Int filosofii AN SSSR, 1990.
 Description
 Book — 152 p. ; 20 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.4 .F55 1990  Available 
 Lerman, M. (Manuel), 1943
 Berlin ; New York : SpringerVerlag, 1983.
 Description
 Book — xiii, 307 p. : ill. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.63 .L47 1983  Available 
 Halle, Saale : Abt. Wissenschaftspublizistik der MartinLutherUniversität HalleWittenberg, 1985.
 Description
 Book — 125 p. ; 22 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
AS182 .H125 1985:V.19  Available 
 Meyer Viol, W. P. M.
 Utrecht : LEd, c1995.
 Description
 Book — x, 215 p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.4 .M49 1995  Available 
15. Aspects of definability [1977]
 Rantala, Veikko.
 Amsterdam : NorthHolland Pub. Co., 1977.
 Description
 Book — 236 p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
105 .A188 V.29:NO.2/3  Available 
 Description
 Book
 Online
SAL3 (offcampus storage), Special Collections
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
024099  Available 
Special Collections  Status 

University Archives  Request via Aeon (opens in new tab) 
024099  Inlibrary use 
17. Probability, uncertainty and rationality [2010]
 Pisa [Italy] : Edizioni della Normale, c2010.
 Description
 Book — xviii, 294 p. : ill. ; 24 cm.
 Summary

 Introduction.
 1. Foundations. Ordered algebras and logic. George Metcalfe, Francesco Paoli and Constantine Tsinakis.
 2. Probability. The social entropy process: Axiomatising the aggregation of probabilistic beliefs. George Wilmers. Conditional probability in the light of qualitative belief change. David Makinson. Is there a probability theory of manyvalued events? Vincenzo Marra.
 3. Uncertainty. On Giles style dialogue games and hypersequent systems. Christian G. Fermuller. Poset representation for free RDPalgebras. Diego Valota. Uncertainty, indeterminacy and fuzziness: A probabilistic approach. Martina Fedel.
 4. Rationality. Tractable depthbounded logics and the problem of logical omniscience. Marcello D'Agostino. Rational behaviour at trust nodes. Hykel Hosni and Silvia Milano.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA9.4 .P76 2010  Unknown 
18. Regulated grammars and automata [2014]
 Meduna, Alexander, 1957 author.
 New York : Springer, [2014]
 Description
 Book — 1 online resource (690 pages) : illustrations Digital: text file.PDF.
 Summary

 Introduction. Mathematical Background. Rudiments of Formal Language Theory. ContextBased Grammatical Regulation. RuleBased Grammatical Regulation. OneSided Versions of Random Context Grammars. On Erasing Rules and Their Elimination. Extension of Languages Resulting from Regulated Grammars. Sequential Rewriting over Word Monoids. Regulated ET0L Grammars. Uniform Regulated Rewriting in Parallel. Parallel Rewriting over Word Monoids. Regulated Multigenerative Grammar Systems. Controlled Pure Grammar Systems. SelfRegulating Automata. Automata Regulated by Control Languages. Jumping Finite Automata. Deep Pushdown Automata. Applications: Overview. Case Studies. Concluding Remarks. Summary.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 O logice matematycznej i metodzie dedukcyjnej. English
 Tarski, Alfred.
 4th ed. / edited by Jan Tarski.  New York : Oxford University Press, 1994.
 Description
 Book — 1 online resource (xxii, 229 pages).
 Summary

The fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the applications of logic in theory building.
(source: Nielsen Book Data)
Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the book introduces the concepts and principles which make up the elements of logic, demonstrating that the concepts of logic are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The book goes on to show the applications of logic in mathematical theory building using concrete examples, drawing upon the concepts and principles presented in the first section. An introduction to the theory of real numbers is also presented. Exercises are included, designed to assist in the assimilation of the concepts and principles. Throughout the conceptual side or logic is stressed. Thoroughly revised by the author's son, the book remains a fundametal guide to modern mathematica logic and is a very important addition to this highly successful series.
(source: Nielsen Book Data)
20. Countable Boolean algebras and decidability [1997]
 Schetnye bulevy algebry. English
 Goncharov, S. S.
 New York : Consultants Bureau, c1997.
 Description
 Book — xii, 318 p. : ill. ; 24 cm.
 Summary

This book describes the latest Russian research covering the structure and algorithmic properties of Boolean algebras from the algebraic and modeltheoretic points of view. A significantly revised version of the author's "Countable Boolean Algebras" (Nauka, Novosibirsk, 1989), the text presents new results as well as a selection of open questions on Boolean algebras. Other current features include discussions of the Kottonen algebras in enrichments by ideals and automorphisms, and the properties of the automorphism groups.
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA10.3 .G6613 1997  Available 
Articles+
Journal articles, ebooks, & other eresources
Guides
Course and topicbased guides to collections, tools, and services.