From a Flexible Type System to Metapredicative Wellordering Proofs

From a Flexible Type System to Metapredicative Wellordering Proofs - Paperback

$20.48
Sale price  $20.48 Regular price 
Skip to product information
From a Flexible Type System to Metapredicative Wellordering Proofs

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

You may also like