Helmut Schwichtenberg: 1 book

Proof and Computation

Digitization in Mathematics, Computer Science and Philosophy

by Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg;;
Language: English
Release Date: May 30, 2018

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types,...

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy