Mathematical logic books

 Read More >>

Field Arithmetic explores Diophantine fields through their absolute Galois groups. The treatment starts with techniques...  Read More >>

This book is aimed at providing an introduction to the basic models of computability to the undergraduate students....  Read More >>

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

 Read More >>

This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast...  Read More >>

Complexity science has been a source of new insight in physical and social systems and has demonstrated that unpredictability...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Applications...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Membrane Computing,...  Read More >>

Presents an introduction in the standard methods of discrete, continuous and hybrid Petri Nets. This monograph demonstrates...  Read More >>

'Introduction to Modern Number Theory' surveys from a unified point of view both the modern state and the trends...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the International Workshop on Principles and Practice of Semantic...  Read More >>

This book constitutes the refereed proceedings of the 5th International Conference on Computational Linguistics...  Read More >>

This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM...  Read More >>

This book presents a unique state-of-the-art survey on progress in the field of program development making use of...  Read More >>

This book constitutes the refereed proceedings of the 23rd Conference on Foundations of Software Technology and...  Read More >>

A First Course in Fuzzy Logic, Third Edition continues to provide the ideal introduction to the theory and applications...  Read More >>

This is a softcover reprint of the English translation of 1968 of N. Bourbaki's, Theorie des Ensembles (1970).  Read More >>

Building on fuzzy logic and evolutionary computing, this book introduces fuzzy cooperative coevolution as a novel...  Read More >>

Constitutes the refereed proceedings of the 6th International Conference on Cellular Automata for Research and Industry,...  Read More >>

The authors are aware of the fact, that the book does not cover all relevant methods of automated model building...  Read More >>

The topics addressed focus on all current issues in this new approach to designing algorithms.  Read More >>

Gödel's Incompleteness Theorems are among the most significant results in the foundation of mathematics  Read More >>

Gödel's Incompleteness Theorems are among the most significant results in the foundation of mathematics  Read More >>