Your shopping cart is empty!
Business & Management
- Accounting & Finance
- Business & Society
- Business Ethics
- Business Self-Help
- Business Statistics & Maths
- Business Technology
- Carreer Development
- Finance & Investment
- General & Introductory Business Management
- Intellectual Property & licensing
- Marketing & Sales
- Production Operations Management
- Project Management
- Property & Real Estate
- Public Administration & Management
- Quality Management
- Small Business
- Computer Science & Information Technology
- Language & linguistics
Medicine & Health Sciences
- Anesthesia, intensive care, pain management
- Clinical Medicine
- Emergency medicine
- Epidemiology, public health and medical statistics
- Geriatric medicine
- Infectious disease
- Internal medicine
- Medical imaging
- Medical law, ethics and forensic medicine
- Medicine: general interest
- Mental health, psychiatry and clinical psychology
- Neurology and clinical neuroscience
- Obstetrics and gynecology, reproductive medicine
- Pathology and laboratory science
- Pediatrics and child health
- Respiratory medicine
- Personal Development
- Science and engineering
- Social sciences
Logic, categories and sets
This text presents methods of modern set theory as tools that can be usefully applied to other areas of mathematics. The author describes numerous applications in abstract geometry and real analysis and, in some cases, in topology and algebra. The book begins with a tour of the basics of set theory,..
This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently..
The great three-volume Principia Mathematica (CUP 1927) is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premises and primitive ideas, establishing that mat..
This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing ope..
The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure m..
The book offers categorical introductions to order, topology, algebra and sheaf theory, suitable for graduate students, teachers and researchers of pure mathematics. Readers familiar with the very basic notions of category theory will learn about the main tools that are used in modern categorical ma..
Essentials of Mathematics is designed as both a textbook and outside reading for college students who want to prepare themselves for mathematics courses beyond the first-year level. The mathematical content includes logic, set theory and a theoretical development of the number systems, giving studen..
The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments, and the rest of the papers are chosen to complement the invi..
This book offers a new, algebraic, approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore the authors explicitly construct such algebras using the theory of bisimulati..
Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives..
This volume surveys recent interactions between model theory and other branches of mathematics, notably group theory. Beginning with an introductory chapter describing relevant background material, the book contains contributions from many leading international figures in this area. Topics described..
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, t..
Showing 1 to 12 of 111 (10 Pages)