An Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs Ebook (djibook.shop)

$10.00

Paolo Mancosu; Sergio Galvan; Richard Zach

Category: Tag: