Catalogue > People > Profile
2 Publications
Peter Aczel
in: Foundational theories of classical and constructive mathematics, Berlin,
in: Logicism, intuitionism, and formalism, Berlin,
