Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Nous utilisons des cookies dans le but suivant :
Assurer le bon fonctionnement du site web, améliorer la sécurité et prévenir la fraude
Avoir un aperçu de l'utilisation du site web, afin d'améliorer son contenu et ses fonctionnalités
Pouvoir vous montrer les publicités les plus pertinentes sur des plateformes externes
Gestion des cookies
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Cookies techniques et fonctionnels
Ces cookies sont indispensables au bon fonctionnement du site internet et vous permettent par exemple de vous connecter. Vous ne pouvez pas désactiver ces cookies.
Cookies analytiques
Ces cookies collectent des informations anonymes sur l'utilisation de notre site web. De cette façon, nous pouvons mieux adapter le site web aux besoins des utilisateurs.
Cookies marketing
Ces cookies partagent votre comportement sur notre site web avec des parties externes, afin que vous puissiez voir des publicités plus pertinentes de Club sur des plateformes externes.
Une erreur est survenue, veuillez réessayer plus tard.
Il y a trop d’articles dans votre panier
Vous pouvez encoder maximum 250 articles dans votre panier en une fois. Supprimez certains articles de votre panier ou divisez votre commande en plusieurs commandes.
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
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
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
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
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
This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developmen...Savoir plus
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
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
Aimed at research logicians and mathematicians, this much-awaited monograph covers over forty years of work on relative classification theory for non-...Savoir plus
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
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including...Savoir plus
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
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
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
For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models...Savoir plus
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
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
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
Non-standard models of arithmetic are of interest to mathematicians through the presence of infinite integers and the various properties they inherit ...Savoir plus
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
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
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
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
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