Classical Recursion Theory

P Odifreddi

• Paperback | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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... Lees meer

Tools and Techniques in Modal Logic

M Kracht

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 142
• This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer th... Lees meer

Lectures on the Curry-Howard Isomorphism

Morten Heine Sørensen, Pawel Urzyczyn

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 149
• The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi... Lees meer

Relation Algebras by Games

Robin Hirsch, Ian Hodkinson

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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... Lees meer

Handbook of Proof Theory

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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... Lees meer

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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... Lees meer

Computable Structures and the Hyperarithmetical Hierarchy

C J Ash, J Knight

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 144
• 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

Language in Action

J Van Benthem

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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... Lees meer

Relation Algebras

Roger Duncan Maddux

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 150
• The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has consi... Lees meer

Set Theory an Introduction to Independence Proofs

K Kunen

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 102
• Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative... Lees meer

Classical Recursion Theory, Volume II

P Odifreddi

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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... Lees meer

Handbook of Computability Theory

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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... Lees meer

Constructivism in Mathematics, Vol 2

A S Troelstra, D Van Dalen

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 123
• Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in... Lees meer

Rudiments of Calculus

Andre Arnold, Damian Niwinski

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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. ... Lees meer

Quantification in Nonclassical Logic

Dov M Gabbay, Dimitrij Skvortsov, Valentin Shehtman

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 153
• Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient... Lees meer

Constructivism in Mathematics, Vol 1

A S Troelstra, D Van Dalen

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 121
• These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathema... Lees meer

Logical Frameworks for Truth and Abstraction

A Cantini

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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... Lees meer

Many-Dimensional Modal Logics: Theory and Applications

A Kurucz, F Wolter, M Zakharyaschev, Dov M Gabbay

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 148
• Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations ... Lees meer

Categorical Logic and Type Theory

B Jacobs

• Paperback | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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 ... Lees meer

Realizability

Jaap Van Oosten

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 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... Lees meer

Admissibility of Logical Inference Rules

V V Rybakov

• Hardcover | Engels | Studies in Logic and the Foundations of Mathematics | nr. 136
• 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