Mathematical logic books

This work introduces tools, from the field of category theory, that make it possible to tackle until now unsolvable...  Read More >>

This book provides axioms of partial order and some basic material, for example consequences of “criss-crossing”...  Read More >>

 Read More >>

In this concise and fascinating book, Fawaz A. Gerges argues that Al-Qaeda has degenerated into a fractured, marginal...  Read More >>

This book, which is based on Pólya's method of problem solving, aids students in their transition from calculus...  Read More >>

Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications  Read More >>

This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz...  Read More >>

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held...  Read More >>

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. The 11th...  Read More >>

Originally published in 1910, Principia Mathematica led to the development of mathematical logic and computers and...  Read More >>

Powerful grizzlies, foraging polar bears, and serene-seeming pandas . . . bears are fascinating to watch and read...  Read More >>

Set theory is the mathematics of infinity and part of the core curriculum for mathematics majors. This book blends...  Read More >>

 Read More >>

This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries....  Read More >>

Combinatory Logic: Pure, Applied and Typed  Read More >>

In 1847, mathematician George Boole published a pamphlet, The Mathematical Analysis of Logic, which launched him...  Read More >>

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal...  Read More >>

Constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, that was...  Read More >>

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

This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic...  Read More >>

Krantz takes the reader on a journey around the globe and through centuries of history , exploring the many transformations...  Read More >>

This 2011 volume commemorates the life, work and foundational views of Kurt Godel by exploring the impact of his...  Read More >>

Written almost 700 years ago by an anonymous Christian monk, this priceless treatise describes the surprisingly...  Read More >>

 Read More >>

 Read More >>