"21" Result
Sort By:
The papers collected here belong to a new wave of the logical tradition. Either directly or indirectly, they address the shortcomings of the earlier work, and develop the tradition in a variety of new and important directions. Topics discussed include: how to build feature struc…
The Essence of Logic is an exciting new publication that provides a concise introduction to formal logic. Making little demands on previous mathematical knowledge, this comprehensive text prepares the reader for the analysis and application of logic techniques in computing. It c…
"Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory." "This book provides a pragmatic introduction to the development…
