Filter
Matematikens grunder
Filter
This book introduces the graduate mathematician and researcher to the effective use of nonstandard analysis (NSA). It provides a tutorial introduction to this modern theory of …
This book is addressed to all those - logicians, computer scientists, mathe maticians, philosophers of science as well as the students in all these disci plines - who may be …
The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ¨ Wilhelms–Universitat ¨ in Munster ¨ . It was …
This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic …
Number theory as studied by the logician is the subject matter of the book. This first volume can stand on its own as a somewhat unorthodox introduction to mathematical logic for …
Hypothesis formation is known as one of the branches of Artificial Intelligence, The general question of Artificial IntelligencE' ,"Can computers think?" is specified to the …