- 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
- 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
Résultats pour "Oxford Logic Guides"
-
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 -
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 -
Model Theory
Maria Manzano, Ruy J G B de Queiroz
- Livre relié | Anglais | Oxford Logic Guides | n° 37
- Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned wit... Savoir plus
386,95 €Livraison 2 à 3 semaines386,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 -
Cantorian Set Theory and Limitation of Size
Michael Hallett
- Livre broché | Anglais | Oxford Logic Guides | n° 10
- Cantor's ideas formed the basis for set theory and also for the mathematical treatment of the concept of infinity. The philosophical and heuristic fra... Savoir plus
386,95 €Livraison 2 à 3 semaines386,95 €Livraison 2 à 3 semaines -
Many-Valued Logics
Grzegorz Malinowski
- Livre relié | Anglais | Oxford Logic Guides | n° 25
- This book provides an incisive, basic introduction to many-valued logics and to the constructions that are "many-valued" at their origin. Using the ma... Savoir plus
257,95 €Livraison 2 à 3 semaines257,95 €Livraison 2 à 3 semaines -
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 -
Change, Choice and Inference
Hans Rott
- Livre relié | Anglais | Oxford Logic Guides | n° 42
- Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the design o... Savoir plus
386,95 €Livraison 2 à 3 semaines386,95 €Livraison 2 à 3 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
70,45 €Livraison 1 à 2 semaines70,45 €Livraison 1 à 2 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
203,95 €Livraison 1 à 2 semaines203,95 €Livraison 1 à 2 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 -
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
131,45 €Livraison 1 à 2 semaines131,45 €Livraison 1 à 2 semaines -
Arithmetic, Proof Theory, and Computational Complexity
- Livre relié | Anglais | Oxford Logic Guides | n° 23
- This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory" the study of bounded arithmetic, propositi... Savoir plus
177,45 €Livraison 2 à 3 semaines177,45 €Livraison 2 à 3 semaines -
Temporal Logic: Volume 1
Dov M. Gabbay, Ian Hodkinson, Mark (, Dept of Ciencia da ComputacaoUniv Sao Paulo, Brazil) Rey
- Livre relié | Oxford Logic Guides
- BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mat... Savoir plus
431,95 €Livraison sous 1 à 4 semaines431,95 €Livraison sous 1 à 4 semaines -
Fibring Logics
Dov M Gabbay
- Livre relié | Anglais | Oxford Logic Guides | n° 38
- Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working t... Savoir plus
241,95 €Livraison 2 à 3 semaines241,95 €Livraison 2 à 3 semaines -
Set Theory
John L Bell
- Livre relié | Anglais | Oxford Logic Guides | n° 47
- This monograph is a follow up to the author's classic text Boolean-Valued Models and Independence Proofs in Set Theory , providing an exposition of so... Savoir plus
118,45 €Livraison sous 1 à 4 semaines118,45 €Livraison sous 1 à 4 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 -
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 -
Interpolation and Definability
Dov M Gabbay, Larisa Maksimova
- Livre relié | Anglais | Oxford Logic Guides | n° 46
- This monograph is on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where ... Savoir plus
378,95 €Livraison 2 à 3 semaines378,95 €Livraison 2 à 3 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 -
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
92,95 €Livraison sous 1 à 4 semaines92,95 €Livraison sous 1 à 4 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
70,45 €Livraison sous 1 à 4 semaines70,45 €Livraison sous 1 à 4 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 -
Elements of Intuitionism
Michael Dummett
- Livre relié | Anglais | Oxford Logic Guides | n° 39
- 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 intuitionisti... Savoir plus
363,95 €Livraison 1 à 2 semaines363,95 €Livraison 1 à 2 semaines