Mathematical logic books

 Read More >>

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding...  Read More >>

 Read More >>

This monograph looks at causal nets from a philosophical point of view. The author shows that one can build a general...  Read More >>

"Miller says a number of years ago he asked himself the question, what would be less problematic: to take on the...  Read More >>

Numerical computation, knowledge discovery and statistical data analysis integrated with powerful 2D and 3D graphics...  Read More >>

In Chapter 4 they generalize FM set theory by providing a new set of axioms inspired by the theory of amorphous...  Read More >>

Theinformational view of semantics is also a prominent theme in Dunn’s research onother logics, such as quantum...  Read More >>

This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes...  Read More >>

The reader will also find introductions to the theory of uniform spaces, the theory of locally convex spaces, as...  Read More >>

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the...  Read More >>

The prize-winning essays in this book address the fascinating but sometimes uncomfortable relationship between physics...  Read More >>

This mathematics textbook covers the fundamental ideas used in writing proofs. Proof techniques covered include...  Read More >>

An unabridged printing of the second edition taken from the 'New...  Read More >>

This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written...  Read More >>

How one powerful concept reveals the biggest (and smallest) mathematical truths How big is the universe? How many...  Read More >>

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems....  Read More >>

"A TeXas Style Introduction to Proof is an IBL textbook designed for a one-semester course on proofs (the """"bridge...  Read More >>

 Read More >>

The book is a collection of contributionsby leading experts, developed around traditional themes discussed at the...  Read More >>

The book answers long-standing questions on scientific modeling andinference across multiple perspectives and disciplines,...  Read More >>

This book is a Festschrift dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday. It contains contributions...  Read More >>

This book explains exactly what human knowledge is. The key concepts in this book are structures and algorithms,...  Read More >>

This course is ideal for accelerating students as an alternative to the traditional developmental math sequence...  Read More >>

 Read More >>