Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy
E-bok,
2018,
Engelska,
ISBN 9789813270954
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of …
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
E-bok,
2021,
Engelska,
ISBN 9789811236495
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of …