Retrait en 2 heures
Assortiment impressionnant
Paiement sécurisé
Toujours un magasin près de chez vous

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

Wishlist

Wishlist

Chercher

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

Séries : livres de la série Studies in Logic and the Foundations of Mathematics

Séries : livres de la série Studies in Logic and the Foundations of Mathematics

Librarie Club

Tous les livres de la série Studies in Logic and the Foundations of Mathematics

19 résultats

Trier par

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
424,45 €

Livraison 2 à 3 semaines

supprimer
424,45 €

Livraison 2 à 3 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
356,45 €

Livraison 2 à 3 semaines

supprimer
356,45 €

Livraison 2 à 3 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
237,45 €

Livraison 2 à 3 semaines

supprimer
237,45 €

Livraison 2 à 3 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 semaines

supprimer
254,45 €

Livraison 2 à 3 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
279,95 €

Livraison 2 à 3 semaines

supprimer
279,95 €

Livraison 2 à 3 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
254,45 €

Livraison 2 à 3 semaines

supprimer
254,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 semaines

supprimer
308,95 €

Livraison 2 à 3 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 semaines

supprimer
157,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 semaines

supprimer
288,45 €

Livraison 2 à 3 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
203,95 €

Livraison 2 à 3 semaines

supprimer
203,95 €

Livraison 2 à 3 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 semaines

supprimer
86,45 €

Livraison 1 à 2 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 semaines

supprimer
312,45 €

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 semaines

supprimer
288,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 semaines

supprimer
225,95 €

Livraison 2 à 3 semaines
Rudiments of Calculus
- 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 semaines

supprimer
164,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 semaines

supprimer
262,95 €

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 semaines

supprimer
205,45 €

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
308,95 €

Livraison 2 à 3 semaines

supprimer
308,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 semaines

supprimer
381,95 €

Livraison 2 à 3 semaines