Developing Mathematical Reasoning

How we reason with mathematical ideas continues to be a fascinating and challenging topic of research--particularly with the rapid and diverse developments in the field of cognitive science that have...

The study of deductive reasoning is one of the key areas in cognitive psychology. Much of the initial impetus for studies in this field came from a developmental perspective, in particular as a...

This volume is a collection of papers on philosophy of mathematics whichdeal with a series of questions quite different from those which occupied theminds of the proponents of the three classic...

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. ...