Oxford Logic Guides – serie
Visar alla böcker i serien Oxford Logic Guides. Handla med fri frakt och snabb leverans.
42 produkter
Twenty Five Years of Constructive Type Theory
Av Giovanni Sambin, Jan M. Smith
Inbunden, 1998
1898 kr
Lägg i varukorg
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This …
Elements of Intuitionism
Inbunden, 2000
3991 kr
Lägg i varukorg
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been …
Gödel's Incompleteness Theorems
Inbunden, 1992
5530 kr
Lägg i varukorg
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable". His work on the completeness of logic, the incompleteness of number theory, and the consistency …
Consequence Relations
An Introduction to the Lindenbaum-Tarski Method
Av Alex Citkin, Alexei Muravitsky
Inbunden, 2022
1419 kr
Lägg i varukorg
The publication of Rasiowa and Sikorski's The Mathematics of Metamathematics (1970), Rasiowa's An Algebraic Approach to Non-Classical Logics (1974), and Wójcicki's Theory of Logical Calculi (1988) created a niche in the field of mathematical and philosophical logic. This in-depth study of the …
Fragments of First-Order Logic
Inbunden, 2023
2039 kr
Lägg i varukorg
A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether there exists an algorithm for determining whether a given formula of first-order logic is satisfiable, or indeed …
Introduction to Logic and to the Methodology of Deductive Sciences
Inbunden, 1994
3602 kr
Lägg i varukorg
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 …
Recursion Theory for Metamathematics
Inbunden, 1993
3589 kr
Lägg i varukorg
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of …
Change, Choice and Inference
A study of Belief Revision and Nonmonotonic Reasoning
Av Hans Rott
Inbunden, 2001
3781 kr
Lägg i varukorg
Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the design of intelligent systems. The book shows that reasoning processes - the drawing on inferences and changing one's beliefs - can be viewed as belonging to …
Fibring Logics
Inbunden, 1998
2444 kr
Lägg i varukorg
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. In this book the author offers a basic methodology for combining-or fibring-systems. This means that many existing complex systems …
Interpolation and Definability
Modal and Intuitionistic Logics
Av Dov M. Gabbay, Larisa Maksimova
Inbunden, 2005
3773 kr
Lägg i varukorg
This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural …
Elementary Categories, Elementary Toposes
Av McLarty
Häftad, 1995
2810 kr
Lägg i varukorg
The book covers elementary aspects of category theory and topos theory. It has few mathematical prerequisites, and uses categorical methods throughout rather than beginning with set theoretic foundations. It works with key notions such as cartesian closedness, adjunctions, regular categories, and …
Set Theory with a Universal Set
Exploring an Untyped Universe
Inbunden, 1995
1500 kr
Lägg i varukorg
Set theory is concerned with the foundation of mathematics. In the original formulations of set theory, there were paradoxes contained in the idea of the "set of all sets". Current standard theory (Zermelo-Fraenkel) avoids these paradoxes by restricting the way sets may be formed by other sets, …
Sketches of an Elephant: A Topos Theory Compendium
Volume 2
Inbunden, 2002
5799 kr
Lägg i varukorg
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one …
Reductive Logic and Proof-search
Proof Theory, Semantics, and Control
Inbunden, 2004
3223 kr
Lägg i varukorg
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, …
Algebraic Methods in Philosophical Logic
Av J. Michael Dunn, Gary Hardegree
Inbunden, 2001
3864 kr
Lägg i varukorg
This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily for logisticians in mathematics, philosophy, computer science and linguistics with an interest in algebraic logic, but is also accessible to those from a …
A Study of Logics
Inbunden, 1991
3910 kr
Lägg i varukorg
It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author …
Models of Peano Arithmetic
Av Richard Kaye
Inbunden, 1991
3299 kr
Lägg i varukorg
Nonstandard models of arithmetic are of interest to mathematicians through the presence of infinite (or nonstandard) integers and the various properties they inherit from the finite integers. Since their introduction in the 1930s (by Skolem and Gödel ), they have come to play an important role in …
Cantorian Set Theory and Limitation of Size
Häftad, 1986
3819 kr
Lägg i varukorg
Cantor's ideas formed the basis for set theory and also for the mathematical treatment of the concept of infinity. The philosophical and heuristic framework he developed had a lasting effect on modern mathematics, and is the recurrent theme of this volume. Hallett explores Cantor's ideas and, in …
Foundations without Foundationalism
A Case for Second-Order Logic
Inbunden, 1991
1408 kr
Lägg i varukorg
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed development of higher-order logic, including a comprehensive discussion of its …
Sketches of an Elephant: A Topos Theory Compendium
Volume 1
Inbunden, 2002
5927 kr
Lägg i varukorg
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one …
Relative Category Theory and Geometric Morphisms
A Logical Approach
Av Jonathan Chapman, Frederick Rowbottom
Inbunden, 1992
610 kr
Lägg i varukorg
Topos theory provides an important setting and language for much of mathematical logic and set theory. It is well known that a typed language can be given for a topos which allows a topos to be regarded as a category of sets. This enables a fruitful interplay between category theory and set …
Geometric Stability Theory
Av Anand Pillay
Inbunden, 1996
2719 kr
Lägg i varukorg
This book is an exposition of the central features of one of the most developed and sophisticated parts of modern model theory. Geometric stability theory studies the fine structure of models of stable theories. An ever present theme is the existence and structure of definable groups. Fundamental …
Groups of Finite Morley Rank
Av Alexandre Borovik, Ali Nesin
Inbunden, 1994
3080 kr
Lägg i varukorg
The book is devoted to the theory of groups of finite Morley rank. These groups arise in model theory and generalize the concept of algebraic groups over algebraically closed fields. The book contains almost all the known results in the subject. Trying to attract pure group theorists in the subject …
Diagonalization and Self-Reference
Inbunden, 1994
4407 kr
Lägg i varukorg
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first …
Arithmetic, Proof Theory, and Computational Complexity
Inbunden, 1993
1811 kr
Lägg i varukorg
This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. Issuing from a two-year NSF and Czech Academy of Sciences …
Temporal Logic: Volume 2
Av Dov M Gabbay, M. Finger m. fl.
Inbunden, 2000
4460 kr
Lägg i varukorg
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering …
Temporal Logic: Volume 1
Av Dov M. Gabbay, Ian Hodkinson m. fl.
Inbunden, 1994
5149 kr
Lägg i varukorg
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal …
Modal Logic
Av Alexander Chagrov, Michael Zakharyaschev
Inbunden, 1997
5102 kr
Lägg i varukorg
For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators - `like it is necessary' in philosophy, `it is believed' in cognitive science, `it is …
Cardinal Arithmetic
Inbunden, 1994
4902 kr
Lägg i varukorg
Is the continuum hypothesis still open? If we interpret it as finding the laws of cardinal arithmetic (really exponentiation since addition and multiplication were classically solved), it was thought to be essentially solved by the independence results of Gödel and Cohen (and Easton) with some …
Many-Valued Logics
Inbunden, 1993
2581 kr
Lägg i varukorg
The book attempts an elementary exposition of the topics connected with many-valued logics. It gives an account of the constructions being "many-valued" at their origin, i.e. those obtained through intended introduction of logical values next to truth and falsity. To this aim, the matrix method has …
