Mathematical logic books

Introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories...  Read More >>

 Read More >>

 Read More >>

Theory in reader-response and stylistics traditions supports L2 work with literature as it is valued by students...  Read More >>

 Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational...  Read More >>

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from...  Read More >>

 Read More >>

 Read More >>

This report was created for strategic planners, international executives and import/export managers who are concerned...  Read More >>

This report was created for strategic planners, international executives and import/export managers who are concerned...  Read More >>

 Read More >>

Investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. This title examines...  Read More >>

Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name...  Read More >>

Methods of dimensionality reduction provide a way to understand and visualize the structure of complex data sets....  Read More >>

Features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics...  Read More >>

 Read More >>

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from...  Read More >>

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications,...  Read More >>

This book exclusively surveys the active on-going research of the current maturity of fuzzy logic over the last...  Read More >>

This text extends the theory of revealed preference to fuzzy choice functions and provides applications to multicriteria...  Read More >>

Can the straight line be analyzed mathematically such that it does not fall apart into a set of discrete points,...  Read More >>

The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating...  Read More >>

Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting...  Read More >>

 Read More >>