Martin Hofmann profile picture

Martin Hofmann

Is this your author profile? Create an account to customize it!

Stand Alone

Siegfried Kracauer
Foundations of Software Science and Computational Structures
Automatentheorie und Logik
Extensional Constructs in Intensional Type Theory
Powerful Arguments Standards of Validity in Late Imperial China