Mathematical logic books

George Gratzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second...  Read More >>

This book features 13 papers presented at the Fifth International Symposium on Recurrence Plots, held August 2013...  Read More >>

The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated...  Read More >>

During the last two decades, methods that originated within mathematical logic have exhibited powerful applications...  Read More >>

 Read More >>

Constructivity and Computability in Historical and Philosophical Perspective  Read More >>

This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting...  Read More >>

A Many-Sorted Calculus Based on Resolution and Paramodulation  Read More >>

A classic introduction to artificial intelligence intended to bridge the gap between theory and practice, Principles...  Read More >>

Formal Language Theory: Perspectives and Open Problems focuses on the trends and major open problems on the formal...  Read More >>

Sets: Naive, Axiomatic and Applied is a basic compendium on naive, axiomatic, and applied set theory and covers...  Read More >>

 Read More >>

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction,...  Read More >>

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic...  Read More >>

Contains an introduction to symbolic logic and a discussion of mechanical theorem proving its applications. This...  Read More >>

Computer Science and Multiple-Valued Logic: Theory and Applications focuses on the processes, methodologies, and...  Read More >>

This introduction to topos theory examines local set theories, fundamental properties of toposes, sheaves, locale-valued...  Read More >>

This introductory treatment covers the basic concepts and machinery of stability theory. Full of examples, theorems,...  Read More >>

Mathematical Proofs: A Transition to Advanced Mathematics, Third Edition, prepares students for the more abstract...  Read More >>

This book constitutes the refereed proceedings of the 13th International Conference of the Italian Association for...  Read More >>

This is the author's doctoral dissertation in logic written under the direction of Professor Solomon Feferman at...  Read More >>

This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of...  Read More >>

 Read More >>

This book constitutes the proceedings of the 10th International Workshop on Fuzzy Logic and Applications, WILF 2013,...  Read More >>

 Read More >>