Bücher

Axiomatic Thinking I Axiomatic Thinking I
2022
Axiomatic Thinking II Axiomatic Thinking II
2022
Turing’s Revolution Turing’s Revolution
2016
Formal Theories of Information Formal Theories of Information
2009
Foundational Theories of Classical and Constructive Mathematics Foundational Theories of Classical and Constructive Mathematics
2011