Mathematical logic books

This Handbook was produced in the style of previous handbook series like the Handbook of Philosophical Logic, the...  Read More >>

The aim of this work, which contains the proceedings of a conference held in Amsterdam in June 1998, is to provide...  Read More >>

The contents of this volume range from expository papers on several aspects of number theory, intended for general...  Read More >>

Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary source of ideas and...  Read More >>

The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer...  Read More >>

Fixed point theory in probabilistic metric spaces can be considered as a part of Probabilistic Analysis, which...  Read More >>

This collection presents contemporary Polish work in philosophical logic which in many respects continue the Polish...  Read More >>

In 1992 we published a book entitled Fuzzy Measure Theory (Plenum Press, New York), in which the term ‘‘fuzzy measure’’...  Read More >>

This unique book proposes a uniform logic and probabilistic (LP) approach to risk estimation and analysis in engineering...  Read More >>

Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction...  Read More >>

La varietà e l’interesse dei contributi alla Lettera Matematica Pristem hanno spinto i curatori, d’accordo con il...  Read More >>

The present book contains lectures on recent results in algebraic model theory, covering topics from the following...  Read More >>

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. There...  Read More >>

The premises of using carbon instead of silicon, and DNA molecules instead of microchips, have been studied extensively....  Read More >>

This book presents a specific and unified approach to Knowledge Discovery and Data Mining, termed IFN for Information...  Read More >>

Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its...  Read More >>

The notion of a dominated or rnajorized operator rests on a simple idea that goes as far back as the Cauchy method...  Read More >>

Consequently, the first field where t-norms played a major role was the theory of probabilistic metric spaces (...  Read More >>

The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in...  Read More >>

This is the first of two volumes comprising the papers submitted for publication by the invited participants to...  Read More >>

Indeed, when in the early '50s, one of us started thinking about closure spaces, we thought ofit as the generalization...  Read More >>

In the summer of 1991 the Department of Mathematics and Statistics of the Universite de Montreal was fortunate to...  Read More >>

Today the notion of the algorithm is familiar not only to mathematicians. this article is called ""Mathematical...  Read More >>

Since their appearance in the late 19th century, the Cantor--Dedekind theory of real numbers and philosophy of...  Read More >>

Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas were formulated by Lotfi...  Read More >>