Groups of Finite Morley Rank

Alexandre Borovik, Ali Nesin

• Hardcover | Engels | Oxford Logic Guides | nr. 26
• This book clearly details the theory of groups of finite Morley rank--groups which arise in model theory and generalize the concept of algebraic group... Lees meer

A Study of Logics

John P Cleave

• Hardcover | Engels | Oxford Logic Guides | nr. 18
• It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal... Lees meer

Geometric Stability Theory

Anand Pillay

• Hardcover | Engels | Oxford Logic Guides | nr. 32
• This book gives an account of the fundamental results in geometric stability theory, a subject that has grown out of categoricity and classification t... Lees meer

Foundations Without Foundationalism

Stewart Shapiro

• Hardcover | Engels | Oxford Logic Guides | nr. 17
• 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 develo... Lees meer

Foundations Without Foundationalism

Stewart Shapiro

• Paperback | Engels | Oxford Logic Guides
• 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 develo... Lees meer

From Sets and Types to Topology and Analysis

• Hardcover | Engels | Oxford Logic Guides | nr. 48
• This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developmen... Lees meer

Set Theory

J L Bell

• Paperback | Engels | Oxford Logic Guides | nr. 47
• This second edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory, .... Lees meer

Diagonalization and Self-Reference

Raymond M Smullyan

• Hardcover | Engels | Oxford Logic Guides | nr. 27
• This book presents a systematic, unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic... Lees meer

Twenty-Five Years of Constructive Type Theory

Giovanni Sambin, Jan M Smith

• Hardcover | Engels | Oxford Logic Guides | nr. 36
• Per Martin-Löf's work on the development of constructive type theory has had a tremendous impact on the fields of logic and the foundations of mathema... Lees meer

The Structure of Models of Peano Arithmetic

Roman Kossak, Jim Schmerl

• Hardcover | Engels | Oxford Logic Guides
• Aimed at research logicians and mathematicians, this much-awaited monograph covers over forty years of work on relative classification theory for non-... Lees meer

Set Theory with a Universal Set

T E Forster

• Hardcover | Engels | Oxford Logic Guides | nr. 31
• Increasing interest in set theory, particularly the possibility of a set of all sets ("universal set"), has been stimulated by its relevance to comput... Lees meer

Reductive Logic and Proof-Search

David J Pym, Eike Ritter

• Hardcover | Engels | Oxford Logic Guides | nr. 45
• This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including... Lees meer

Cardinal Arithmetic

Saharon Shelah

• Hardcover | Engels | Oxford Logic Guides | nr. 29
• Is the continuum hypothesis still open? If we interpret it as finding the laws of cardinal arithmetic (or exponentiation, since addition and multiplic... Lees meer

Category Theory

Steve Awodey

• Hardcover | Engels | Oxford Logic Guides | nr. 52
• Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians... Lees meer

Modal Logic

Alexander Chagrov, Michael Zakharyaschev

• Hardcover | Engels | Oxford Logic Guides | nr. 35
• For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models... Lees meer

Computability and Randomness

Andre Nies

• Paperback | Engels | Oxford Logic Guides
• The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerou... Lees meer

Sketches of an Elephant

P T Johnstone

• Hardcover | Engels | Oxford Logic Guides | nr. 43
• Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its pow... Lees meer

Relative Category Theory and Geometric Morphisms

Jonathan Chapman, Frederick (both at the School of Mathematics, both at the School

• Hardcover | Oxford Logic Guides
• Topos theory provides an important setting and language for much of mathematical logic and set theory. This book presents a convenient and natural sol... Lees meer

Models of Peano Arithmetic

Richard Kaye

• Hardcover | Engels | Oxford Logic Guides | nr. 15
• Non-standard models of arithmetic are of interest to mathematicians through the presence of infinite integers and the various properties they inherit ... Lees meer

Algebraic Methods in Philosophical Logic

J Michael Dunn, Gary Hardegree

• Hardcover | Engels | Oxford Logic Guides | nr. 41
• This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily at logisticians... Lees meer

Consequence Relations

Alex Citkin, Alexei Muravitsky

• Hardcover | Engels | Oxford Logic Guides
• The publication of Rasiowa and Sikorski's The Mathematics of Metamathematics (1970), Rasiowa's An Algebraic Approach to Non-Classical Logics (1974), a... Lees meer

Category Theory

Steve Awodey

• Paperback | Engels | Oxford Logic Guides | nr. 52
• Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians... Lees meer

Introduction to Logic and to the Methodology of the Deductive Sciences

Alfred Tarski

• Hardcover | Engels | Oxford Logic Guides | nr. 24
• Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book ex... Lees meer

Recursion Theory for Metamathematics

Raymond M Smullyan

• Hardcover | Engels | Oxford Logic Guides | nr. 22
• This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleten... Lees meer