J. P. Aguilera

Vienna University of Technology,

Institute of Discrete Mathematics and Geometry,

Wiedner Hauptstrasse 8–10,

1040 Vienna, Austria.


Email: surname at logic.at


Research Interests: mathematical logic, set theory, proof theory.







Some Articles

Structural Proof Theory

Provability Logic and Logics of Proofs

Other