Skip to product information
From a Flexible Type System to Metapredicative Wellordering Proofs - Paperback
$20.48
Sale price
$20.48
Regular price
by Florian Ranzi (Author)
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern.
Number of Pages: 238
Dimensions: 0.5 x 8.27 x 5.83 IN
Publication Date: October 21, 2015