Normal view
MARC view
Mancosu et al(Personal Name)
Machine generated authority record
Work cat.: (OSt)1502738: Mancosu et al, An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs, 2021