Amvik eBook Solutions

This book is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century

A delightful tour of the greatest ideas of math, showing how math intersects with philosophy, science, art, business, current events, and everyday life, by an a

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verificati

Whether a believer or not, a devotee or an agnostic, an accomplished seeker or a simpleton, this is truly a book for all those who shall die!