`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...

THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. ...

This book constitutes the refereed proceedings of the First International Conference on Intellige...

This book constitutes the refereed proceedings of the 14th International Conference on Intelligen...

This book describes how logical reasoning works and puts it to the test in applications. It is se...

In 1922,Curry started reading Principia Mathematica and was intrigued by the complications of i...

This book is a different approach to teaching the foundations of mathematical analysis and of com...

THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. ...

`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...