Mathematical logic books

Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate...  Read More >>

David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought....  Read More >>

Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs...  Read More >>

Ferner enthält der Band Hausdorff's kritische Besprechung von Russells ""The Principles of Mathematics"", aus dem...  Read More >>

This volume takes its name from a popular series of intensive mathematics workshops hosted at institutions in Appalachia...  Read More >>

An interdisciplinary attempt to bring together physicists and linguists who use the same compositional mathematical...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on...  Read More >>

In this book, the general theory of stable groups is developed from the beginning, concentrating on the model- and...  Read More >>

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. Recursive...  Read More >>

 Read More >>

Algebraic logic is a subject in the interface between logic, algebra...  Read More >>

The book is about Gentzen calculi for (the main systems of) modal logic. In the third and and final part we analyse...  Read More >>

herrschen. Bedeutsam ist auch die Abgrenzung der dritten Ebene, der Ebene der verselb- ständigten Variablen und...  Read More >>

A Constraint Satisfaction Problem (CSP) consists of a set of variables, a domain of values for each variable and...  Read More >>

The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language...  Read More >>

Speech technology - the use of speech as a means of sending information to, and receiving information from computer...  Read More >>

Set Theory has experienced a rapid development in recent years, with major advances in forcing, inner models, large...  Read More >>

Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux,...  Read More >>

In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum...  Read More >>

 Read More >>

Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie für wissenschaftliche...  Read More >>

Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie für wissenschaftliche...  Read More >>

Classically, the predicates and variables of the predicate calculus are kept distinct, inasmuch as no variable is...  Read More >>

 Read More >>