This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst ...

People have always been interested in numbers, in particular the natural numbers. Of course, we all have an intuitive notion of what these numbers are. In the late 19th century ...

This volume contains a revised and updated version of the author s Ph.D. dissertation and is focused on proof methods and theorem proving for conditional and preferential ...