Bellin, G. (1990). Mechanizing proof theory: Resource-aware logics and proof-transformations to extract implicit information.
Chicago-Zitierstil (17. Ausg.)Bellin, Gianluigi. Mechanizing Proof Theory: Resource-aware Logics and Proof-transformations to Extract Implicit Information. Stanford, Calif, 1990.
MLA-Zitierstil (9. Ausg.)Bellin, Gianluigi. Mechanizing Proof Theory: Resource-aware Logics and Proof-transformations to Extract Implicit Information. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.