From a Flexible Type System to Metapredicative Wellordering Proofs by Ranzi, Florian

From a Flexible Type System to Metapredicative Wellordering Proofs (Paperback) (ISBN-13: 9781326455200)

Vendor: Florian Ranzi
Product type: Books
Format: Paperback
$13.54
$13.54
$13.54
Subtotal: $13.54
From a Flexible Type System to Metapredicative Wellordering Proofs by Ranzi, Florian

From a Flexible Type System to Metapredicative Wellordering Proofs

$13.54
From a Flexible Type System to Metapredicative Wellordering Proofs by Ranzi, Florian

From a Flexible Type System to Metapredicative Wellordering Proofs

$13.54
Format: Paperback
Description
Description
x
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern.

Author: Florian Ranzi
ISBN-10: 1326455206
ISBN-13: 9781326455200
Publisher: Lulu.com
Language: English
Published: 10/21/2015
Pages: 238
Format: Paperback
Weight: 0.64lbs
Size: 8.27h x 5.83w x 0.50d

Recently Viewed Products