Logic

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters cover topics in mathematical and philosophical logic...

The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Large Cardinals, Determinacy and Other Topics is the final volume in a series of four books collecting the seminal papers from the original...

In this book the authors present their research into the foundations of the theory of Polish groups and the associated orbit equivalence relations. The particular case of locally compact groups has long been studied in many areas of mathematics...

This book presents methods and results from the theory of Zariski structures and discusses their applications in geometry as well as various other mathematical fields. Its logical approach helps us understand why algebraic geometry is so fundamental...

Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and...

Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. Mathematicians and physicists have been occupied for many decades pondering which problems can be solved by which procedures, and, for those that...

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Goedel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations...

The global biodiversity crisis is one of humanity's most urgent problems, but even quantifying biological diversity is a difficult mathematical and conceptual challenge. This book brings new mathematical rigour to the ongoing debate. It was born of...

An Elementary Transition to Abstract Mathematics will help students move from introductory courses to those where rigor and proof play a much greater role. The text is organized into five basic parts: the first looks back on selected topics from...

Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood...

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists. There are three components to this course: propositional logic; Boolean algebras; and predicate/first-order, logic...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848902664Author Odysseus MakridisFormat PaperbackPage Count 728Imprint College PublicationsPublisher College PublicationsWeight(grams) 1002g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848901209Author Andrzej WisniewskiFormat PaperbackPage Count 190Imprint College PublicationsPublisher College PublicationsWeight(grams) 275g

A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848901582Author Hans Van DitmarschFormat PaperbackPage Count 676Imprint College PublicationsPublisher College PublicationsWeight(grams) 930g

There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848904231Author Saharon ShelahFormat PaperbackPage Count 748Imprint College PublicationsPublisher College PublicationsWeight(grams) 1030g

Since the early 1990s, genetic programming (GP)-a discipline whose goal is to enable the automatic generation of computer programs-has emerged as one of the most promising paradigms for fast, productive software development. GP combines biological...

This text covers the parts of contemporary set theory relevant to other areas of pure mathematics. After a review of "naive" set theory, it develops the Zermelo-Fraenkel axioms of the theory before discussing the ordinal and cardinal numbers...

This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski,...

Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts. This volume offers new essays on the theories about the logical modalities (necessity and...

Point-counting results for sets in real Euclidean space have found remarkable applications to diophantine geometry, enabling significant progress on the Andre-Oort and Zilber-Pink conjectures. The results combine ideas close to transcendence theory with...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780983700494Author Fernando ZalameaFormat PaperbackPage Count 192Imprint Docent PressPublisher Docent PressWeight(grams) 263gDimensions(mm) 229mm * 152mm *...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848902671Author Odysseus MakridisFormat PaperbackPage Count 444Imprint College PublicationsPublisher College PublicationsWeight(grams) 617gDimensions(mm)...

Logical paradoxes - like the Liar, Russell's, and the Sorites - are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848904262Author Stephen ReadFormat PaperbackPage Count 248Imprint College PublicationsPublisher College PublicationsWeight(grams) 354g

From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486482194Author Dennis SentillesFormat HardbackPage Count 416Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams)...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848901681Author Roman KuznetsFormat PaperbackPage Count 246Imprint College PublicationsPublisher College PublicationsWeight(grams) 156g

The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the...

Model theory begins with an audacious idea: to consider statements about mathematical structures as mathematical objects of study in their own right. While inherently important as a tool of mathematical logic, it also enjoys connections to and...

This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of...

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the...

Mathematics as a Science of Patterns is the definitive exposition of a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual...

Computable structure theory quantifies and studies the relative complexity of mathematical structures. This text, in conjunction with the author's previous volume, represents the first full monograph on computable structure theory in two decades. It...

An accessible resource to help you puzzle out logic concepts Logic For Dummies, 2nd Edition explains all the varied ways we use logic in philosophy, science, and everyday life. College students taking a logic course and lifelong learners alike can...

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages,...

Mathematical logic has grown from an exotic branch of mathematics into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion...

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs and the basics of model theory. Building on this,...

Offering a unique resource for advanced graduate students and researchers, this book treats the fundamentals of Quillen model structures on abelian and exact categories. Building the subject from the ground up using cotorsion pairs, it develops the...