From a Flexible Type System to Metapredicative Wellordering Proofs

From a Flexible Type System to Metapredicative Wellordering Proofs - Paperback

$26.69
Skip to product information
From a Flexible Type System to Metapredicative Wellordering Proofs

From a Flexible Type System to Metapredicative Wellordering Proofs - Paperback

$26.69
Shipping calculated at checkout.
Details

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

Materials + Care

We prioritize quality in selecting the materials for our items, choosing premium fabrics and finishings that ensure durability, comfort, and timeless appeal.

Shipping + Returns

We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.

You might also like...