- 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 "Studies in Logic and the Foundations of Mathematics"
-
Relation Algebras
Roger Duncan Maddux
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 150
- The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has consi... Savoir plus
209,95 €Livraison sous 1 à 4 semaines209,95 €Livraison sous 1 à 4 semaines -
Quantification in Nonclassical Logic
Dov M Gabbay, Dimitrij Skvortsov, Valentin Shehtman
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 153
- Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient... Savoir plus
241,95 €Livraison 1 à 2 semaines241,95 €Livraison 1 à 2 semaines -
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 151
- The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated s... Savoir plus
159,45 €Livraison sous 1 à 4 semaines159,45 €Livraison sous 1 à 4 semaines -
Lectures on the Curry-Howard Isomorphism
Morten Heine Sørensen, Pawel Urzyczyn
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 149
- The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi... Savoir plus
174,95 €Livraison 1 à 2 semaines174,95 €Livraison 1 à 2 semaines -
Realizability
Jaap Van Oosten
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 152
- Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has pas... Savoir plus
184,45 €Livraison sous 1 à 4 semaines184,45 €Livraison sous 1 à 4 semaines -
Relation Algebras by Games
Robin Hirsch, Ian Hodkinson
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 147
- Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in p... Savoir plus
254,45 €Livraison 2 à 3 semaines254,45 €Livraison 2 à 3 semaines -
Handbook of Proof Theory
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 137
- This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be... Savoir plus
308,95 €Livraison 2 à 3 semaines308,95 €Livraison 2 à 3 semaines -
Constructivism in Mathematics, Vol 2
A S Troelstra, D Van Dalen
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 123
- Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in... Savoir plus
69,95 €Livraison sous 1 à 4 semaines69,95 €Livraison sous 1 à 4 semaines -
Classical Recursion Theory, Volume II
P Odifreddi
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 143
- Volume II of Classical Recursion Theory describes the universe from a local (bottom-upor synthetical) point of view, and covers the whole spectrum, fr... Savoir plus
184,45 €Livraison sous 1 à 4 semaines184,45 €Livraison sous 1 à 4 semaines -
Set Theory an Introduction to Independence Proofs
K Kunen
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 102
- Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative... Savoir plus
86,45 €Livraison 1 à 2 semaines86,45 €Livraison 1 à 2 semaines -
Categorical Logic and Type Theory
B Jacobs
- Livre broché | Anglais | Studies in Logic and the Foundations of Mathematics | n° 141
- This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of ... Savoir plus
138,45 €Livraison 1 à 2 semaines138,45 €Livraison 1 à 2 semaines -
Classical Recursion Theory
P Odifreddi
- Livre broché | Anglais | Studies in Logic and the Foundations of Mathematics | n° 125
- 1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is bot... Savoir plus
157,95 €Livraison 2 à 3 semaines157,95 €Livraison 2 à 3 semaines -
Logical Frameworks for Truth and Abstraction
A Cantini
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 135
- This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as typ... Savoir plus
288,45 €Livraison 2 à 3 semaines288,45 €Livraison 2 à 3 semaines -
Handbook of Computability Theory
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 140
- The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated wit... Savoir plus
312,45 €Livraison 2 à 3 semaines312,45 €Livraison 2 à 3 semaines -
Rudiments of Calculus
Andre Arnold, Damian Niwinski
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 146
- This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. ... Savoir plus
164,45 €Livraison 2 à 3 semaines164,45 €Livraison 2 à 3 semaines -
Computable Structures and the Hyperarithmetical Hierarchy
C J Ash, J Knight
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 144
- This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on compl... Savoir plus
225,95 €Livraison 2 à 3 semaines225,95 €Livraison 2 à 3 semaines -
Many-Dimensional Modal Logics: Theory and Applications
A Kurucz, F Wolter, M Zakharyaschev, Dov M Gabbay
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 148
- Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations ... Savoir plus
288,45 €Livraison 2 à 3 semaines288,45 €Livraison 2 à 3 semaines -
Language in Action
J Van Benthem
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 130
- This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical p... Savoir plus
205,45 €Livraison 2 à 3 semaines205,45 €Livraison 2 à 3 semaines -
Tools and Techniques in Modal Logic
M Kracht
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 142
- This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer th... Savoir plus
262,95 €Livraison 2 à 3 semaines262,95 €Livraison 2 à 3 semaines -
Constructivism in Mathematics, Vol 1
A S Troelstra, D Van Dalen
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 121
- These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathema... Savoir plus
381,95 €Livraison 2 à 3 semaines381,95 €Livraison 2 à 3 semaines -
Admissibility of Logical Inference Rules
V V Rybakov
- Livre relié | Anglais | Studies in Logic and the Foundations of Mathematics | n° 136
- The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is fo... Savoir plus
153,95 €Livraison sous 1 à 4 semaines153,95 €Livraison sous 1 à 4 semaines
21 sur 21 résultat(s) affiché(s)