Filter by
A Higher-Dimensional Sieve Method With Procedures for Computing Sieve Functions
Nearly a hundred years have passed since Viggo Brun invented his famous sieve, and the use of sieve methods is constantly evolving. As probability and combinatorics have penetrated the fabric of mathematical activity, sieve methods have become more versatile and sophisticated and in recent years have played a part in some of the most spectacular mathematical discoveries. Many arithmetical inves…
- Edition
- -
- ISBN/ISSN
- 9780511542909
- Collation
- -
- Series Title
- Cambridge Tracts in Mathematics (177)
- Call Number
- -
A General Algebraic Semantics for Sentential Logics
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of…
- Edition
- -
- ISBN/ISSN
- 9781316716915
- Collation
- -
- Series Title
- Lecture Notes in Logic (7)
- Call Number
- -
A Course on Set Theory
Set theory is the mathematics of infinity and part of the core curriculum for mathematics majors. This book blends theory and connections with other parts of mathematics so that readers can understand the place of set theory within the wider context. Beginning with the theoretical fundamentals, the author proceeds to illustrate applications to topology, analysis and combinatorics, as well as to…
- Edition
- -
- ISBN/ISSN
- 9780511996351
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography