14 titles from eBooks.com

``Platonism and intuitionism are rival philosophies of Mathematics, the former holding that the...

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical...

Morgan & Claypool Publishers (2007)

CA$52.85

Multiple Valued Logic: Concepts and Representations begins with a survey of the use ofmultiple-valued logic in several modern application areas including electronic design automation algorithms and circuit design. The mathematical basis and concepts of various algebras and systems of multiple valued logic are provided including comparisons among...

Multiple Valued Logic: Concepts and Representations begins with a survey of the use...

Modal logics, originally conceived in philosophy, have recently found many applications in computer...

Quantification and modalities have always been topics of great interest for logicians. These two...

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

This book covers a broad range of up-to-date issues in non-classical logic that are of interest not...

Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the...

Functions which are defined on finite sets occur in almost all fields of mathematics. For more than...

Springer Netherlands (2006)

CA$218.58

Following developments in modern geometry, logic and physics, many scientists and philosophers in the modern era considered Kant’s theory of intuition to be obsolete. But this only represents one side of the story concerning Kant, intuition and twentieth century science. Several prominent mathematicians and physicists were convinced that the formal...

Following developments in modern geometry, logic and physics, many scientists and philosophers in...