Mathematical logic books

Access to unrestricted, robust and accurate semantic analysis is widely regarded as an essential component for improving...  Read More >>

This bestselling, classic textbook continues to provide a complete one-semester introduction to mathematical logic....  Read More >>

This series of books presents the fundamentals of logic in a style accessible to both students and scholars. The...  Read More >>

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held...  Read More >>

Este libro es parte de un proyecto en donde desarrollo al calculo exterior (topologia diferencial) empleando exhaustivamente...  Read More >>

 Read More >>

In Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine,...  Read More >>

This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software...  Read More >>

This is an exciting if not rambling account of events of Raymond Smullyan's four lives - as a mathematical logician,...  Read More >>

The author presents a bombshell puzzle so startling that it seems incredible that there could be any solution at...  Read More >>

This is an exciting if not rambling account of events of Raymond Smullyan's four lives - as a mathematical logician,...  Read More >>

The author presents a bombshell puzzle so startling that it seems incredible that there could be any solution at...  Read More >>

This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity...  Read More >>

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical...  Read More >>

This textbook is designed to help students transition from calculus-type courses that focus on computation to upper-level...  Read More >>

 Read More >>

 Read More >>

 Read More >>

 Read More >>

First Published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.  Read More >>

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School...  Read More >>

 Read More >>

The book also includes current computer algebra material in Appendix C and updated independent projects (Appendix...  Read More >>

A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence...  Read More >>

SmartBook is the first and only adaptive reading experience designed to change the way students read and learn....  Read More >>