Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Vous voulez être sûr que vos cadeaux seront sous le sapin de Noël à temps? Nos magasins vous accueillent à bras ouverts. La plupart de nos magasins sont ouverts également les dimanches, vous pouvez vérifier les heures d'ouvertures sur notre site.
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Oxford Logic Guides"
-
Groups of Finite Morley Rank
Alexandre Borovik, Ali Nesin
- Livre relié | Anglais | Oxford Logic Guides | n° 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... Savoir plus
354,45 €Livraison 2 à 3 semaines354,45 €Livraison 2 à 3 semaines -
A Study of Logics
John P Cleave
- Livre relié | Anglais | Oxford Logic Guides | n° 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... Savoir plus
394,95 €Livraison 2 à 3 semaines394,95 €Livraison 2 à 3 semaines -
Geometric Stability Theory
Anand Pillay
- Livre relié | Anglais | Oxford Logic Guides | n° 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... Savoir plus
273,95 €Livraison 2 à 3 semaines273,95 €Livraison 2 à 3 semaines -
Foundations Without Foundationalism
Stewart Shapiro
- Livre relié | Anglais | Oxford Logic Guides | n° 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... Savoir plus
105,95 €Livraison 1 à 2 semaines105,95 €Livraison 1 à 2 semaines -
Foundations Without Foundationalism
Stewart Shapiro
- Livre broché | Anglais | 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... Savoir plus
75,95 €Livraison 1 à 2 semaines75,95 €Livraison 1 à 2 semaines -
From Sets and Types to Topology and Analysis
- Livre relié | Anglais | Oxford Logic Guides | n° 48
- This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developmen... Savoir plus
394,95 €Livraison 2 à 3 semaines394,95 €Livraison 2 à 3 semaines -
Set Theory
J L Bell
- Livre broché | Anglais | Oxford Logic Guides | n° 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, .... Savoir plus
64,45 €Livraison 1 à 2 semaines64,45 €Livraison 1 à 2 semaines -
Diagonalization and Self-Reference
Raymond M Smullyan
- Livre relié | Anglais | Oxford Logic Guides | n° 27
- This book presents a systematic, unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic... Savoir plus
411,45 €Livraison 1 à 2 semaines411,45 €Livraison 1 à 2 semaines -
Reductive Logic and Proof-Search
David J Pym, Eike Ritter
- Livre relié | Anglais | Oxford Logic Guides | n° 45
- This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including... Savoir plus
330,45 €Livraison 2 à 3 semaines330,45 €Livraison 2 à 3 semaines -
Twenty-Five Years of Constructive Type Theory
Giovanni Sambin, Jan M Smith
- Livre relié | Anglais | Oxford Logic Guides | n° 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... Savoir plus
193,45 €Livraison 2 à 3 semaines193,45 €Livraison 2 à 3 semaines -
The Structure of Models of Peano Arithmetic
Roman Kossak, Jim Schmerl
- Livre relié | Anglais | 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-... Savoir plus
290,45 €Livraison 2 à 3 semaines290,45 €Livraison 2 à 3 semaines -
Set Theory with a Universal Set
T E Forster
- Livre relié | Anglais | Oxford Logic Guides | n° 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... Savoir plus
148,45 €Livraison 2 à 3 semaines148,45 €Livraison 2 à 3 semaines -
Cardinal Arithmetic
Saharon Shelah
- Livre relié | Anglais | Oxford Logic Guides | n° 29
- Is the continuum hypothesis still open? If we interpret it as finding the laws of cardinal arithmetic (or exponentiation, since addition and multiplic... Savoir plus
507,95 €Livraison 2 à 3 semaines507,95 €Livraison 2 à 3 semaines -
Category Theory
Steve Awodey
- Livre relié | Anglais | Oxford Logic Guides | n° 52
- Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians... Savoir plus
213,95 €Livraison 1 à 2 semaines213,95 €Livraison 1 à 2 semaines -
Modal Logic
Alexander Chagrov, Michael Zakharyaschev
- Livre relié | Anglais | Oxford Logic Guides | n° 35
- For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models... Savoir plus
523,95 €Livraison 2 à 3 semaines523,95 €Livraison 2 à 3 semaines -
Computability and Randomness
Andre Nies
- Livre broché | Anglais | 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... Savoir plus
114,45 €Livraison 2 à 3 semaines114,45 €Livraison 2 à 3 semaines -
Sketches of an Elephant
P T Johnstone
- Livre relié | Anglais | Oxford Logic Guides | n° 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... Savoir plus
843,45 €Livraison 1 à 2 semaines843,45 €Livraison 1 à 2 semaines -
Relative Category Theory and Geometric Morphisms
Jonathan Chapman, Frederick (both at the School of Mathematics, both at the School
- Livre relié | 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... Savoir plus
73,95 €Livraison 1 à 2 semaines73,95 €Livraison 1 à 2 semaines -
Models of Peano Arithmetic
Richard Kaye
- Livre relié | Anglais | Oxford Logic Guides | n° 15
- Non-standard models of arithmetic are of interest to mathematicians through the presence of infinite integers and the various properties they inherit ... Savoir plus
268,95 €Livraison 1 à 2 semaines268,95 €Livraison 1 à 2 semaines -
Algebraic Methods in Philosophical Logic
J Michael Dunn, Gary Hardegree
- Livre relié | Anglais | Oxford Logic Guides | n° 41
- This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily at logisticians... Savoir plus
386,95 €Livraison 2 à 3 semaines386,95 €Livraison 2 à 3 semaines -
Consequence Relations
Alex Citkin, Alexei Muravitsky
- Livre relié | Anglais | 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... Savoir plus
185,45 €Livraison 2 à 3 semaines185,45 €Livraison 2 à 3 semaines -
Category Theory
Steve Awodey
- Livre broché | Anglais | Oxford Logic Guides | n° 52
- Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians... Savoir plus
82,45 €Livraison 1 à 2 semaines82,45 €Livraison 1 à 2 semaines -
Introduction to Logic and to the Methodology of the Deductive Sciences
Alfred Tarski
- Livre relié | Anglais | Oxford Logic Guides | n° 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... Savoir plus
218,45 €Livraison 1 à 2 semaines218,45 €Livraison 1 à 2 semaines -
Recursion Theory for Metamathematics
Raymond M Smullyan
- Livre relié | Anglais | Oxford Logic Guides | n° 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... Savoir plus
407,45 €Livraison 2 à 3 semaines407,45 €Livraison 2 à 3 semaines