Mainzer Klaus – författare

Visar alla böcker från författaren Mainzer Klaus. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION

   Av Mainzer Klaus, Klaus Mainzer m. fl.

   Inbunden, 2021

   2041 kr

   Lägg i varukorg

   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 proof theory, constructive mathematics and type theory, univalent mathematics and point-free …

2. 

   PROOF AND COMPUTATION: DIGITIZATION IN MATHEMATICS, COMPUTER SCIENCE, AND PHILOSOPHY

   Av Mainzer Klaus, Klaus Mainzer m. fl.

   Inbunden, 2018

   1556 kr

   Lägg i varukorg

   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, …