Standaard Boekhandel gebruikt cookies en gelijkaardige technologieën om de website goed te laten werken en je een betere surfervaring te bezorgen.
Hieronder kan je kiezen welke cookies je wilt inschakelen:
Standaard Boekhandel gebruikt cookies en gelijkaardige technologieën om de website goed te laten werken en je een betere surfervaring te bezorgen.
We gebruiken cookies om:
De website vlot te laten werken, de beveiliging te verbeteren en fraude te voorkomen
Inzicht te krijgen in het gebruik van de website, om zo de inhoud en functionaliteiten ervan te verbeteren
Je op externe platformen de meest relevante advertenties te kunnen tonen
Je cookievoorkeuren
Standaard Boekhandel gebruikt cookies en gelijkaardige technologieën om de website goed te laten werken en je een betere surfervaring te bezorgen.
Hieronder kan je kiezen welke cookies je wilt inschakelen:
Technische en functionele cookies
Deze cookies zijn essentieel om de website goed te laten functioneren, en laten je toe om bijvoorbeeld in te loggen. Je kan deze cookies niet uitschakelen.
Analytische cookies
Deze cookies verzamelen anonieme informatie over het gebruik van onze website. Op die manier kunnen we de website beter afstemmen op de behoeften van de gebruikers.
Marketingcookies
Deze cookies delen je gedrag op onze website met externe partijen, zodat je op externe platformen relevantere advertenties van Standaard Boekhandel te zien krijgt.
Wil je zeker zijn dat je cadeautjes op tijd onder de kerstboom liggen? Onze winkels ontvangen jou met open armen. Nu met extra openingsuren op zondag!
Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten
Wil je zeker zijn dat je cadeautjes op tijd onder de kerstboom liggen? Onze winkels ontvangen jou met open armen. Nu met extra openingsuren op zondag!
Je kan maximaal 250 producten tegelijk aan je winkelmandje toevoegen. Verwijdere enkele producten uit je winkelmandje, of splits je bestelling op in meerdere bestellingen.
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has consi...Lees meer
Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient...Lees meer
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...Lees meer
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has pas...Lees meer
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...Lees meer
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi...Lees meer
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be...Lees meer
Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in...Lees meer
Volume II of Classical Recursion Theory describes the universe from a local (bottom-upor synthetical) point of view, and covers the whole spectrum, fr...Lees meer
This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as typ...Lees meer
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...Lees meer
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 ...Lees meer
Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative...Lees meer
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...Lees meer
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations ...Lees meer
This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on compl...Lees meer
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. ...Lees meer
This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical p...Lees meer
This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer th...Lees meer
These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathema...Lees meer
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is fo...Lees meer