| R. Ferro, C. Bonotto, S. Valentini, A. Zanardo - Mathematics - 1989 - 402 pages
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic ... | |
| E. Börger - Mathematics - 1989 - 591 pages
The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of ... | |
| J. van Benthem - Computers - 1991 - 348 pages
This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close ... | |
| L.E. Sanchis - Mathematics - 1992 - 276 pages
This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. Although aiming basically at a ... | |
| R. Frankiewicz, P. Zbierski - Mathematics - 1994 - 299 pages
Gaps and limits are two phenomena occuring in the Boolean algebra P(&ohgr;)/fin. Both were discovered by F. Hausdorff in the mid 1930's. This book aims to show how they can be ... | |
| A. Cantini - Mathematics - 1996 - 474 pages
This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential ... | |
| V.V. Rybakov - Mathematics - 1997 - 616 pages
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: • admissible or ... | |
| S.R. Buss - Mathematics - 1998 - 810 pages
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to ... | |
| E.R. Griffor - Mathematics - 1999 - 724 pages
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest ... | |
| |