Mathematical logic books

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications....  Read More >>

 Read More >>

A textbook suitable for a wide range of courses from a brief symbolic logic course for first-year undergraduates...  Read More >>

"Der osterreichische Mathematiker Kurt Godel (1906 1978) ist einer der herausragendsten Logiker des 20. Jahrhunderts....  Read More >>

A vivid and comprehensive picture of the current state of research in all directions of logic and philosophy of...  Read More >>

This volume aims to provide a consistent mathematical and physical treatment of empirical data processing in vibrational...  Read More >>

In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with...  Read More >>

 Read More >>

Twenty-one revised full papers present research results on all aspects of Petri nets as well as advanced applications...  Read More >>

This volume focuses on the basic theory of inverse problems. The first chapter offers an introduction to the theory...  Read More >>

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most...  Read More >>

The intuitive concept of consequence has driven the study of logic for more than two thousand years. But logic has...  Read More >>

Concurrent systems are generally understood in terms of behavioural notions. This text analyzes the subject in terms...  Read More >>

Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive...  Read More >>

 Read More >>

Logic languages are used in computing. Model theory is the mathematical logic which concerns the relationship between...  Read More >>

These 25 refereed post workshop papers and three reviewed invited papers span the whole scope of computer science...  Read More >>

Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics, with over...  Read More >>

Logic has recently become a basic modelling tool alongside mathematics, and the two styles of modelling are beginning...  Read More >>

Compiles the seminal contributions of Michio Sugeno to the field of fuzzy systems and technologies. This book outlines...  Read More >>

This text present the proceedings of the 4th International Conference on Typed Lambda Calculi and Applications....  Read More >>

 Read More >>

This volume brings together a selection of Solomon Feferman's most important recent writings, covering the relation...  Read More >>

Cellular automata can be viewed both as computational models and modelling systems of real processes. Their computational...  Read More >>

The high-interest stories and illustrations in this book will motivate your students to learn every aspect of sequencing...  Read More >>