From a Flexible Type System to Metapredicative Wellordering Proofs
Author | : Florian Ranzi |
Publisher | : Lulu.com |
Total Pages | : 240 |
Release | : 2015-10-21 |
ISBN-10 | : 9781326455200 |
ISBN-13 | : 1326455206 |
Rating | : 4/5 (206 Downloads) |
Book Synopsis From a Flexible Type System to Metapredicative Wellordering Proofs by : Florian Ranzi
Download or read book From a Flexible Type System to Metapredicative Wellordering Proofs written by Florian Ranzi and published by Lulu.com. This book was released on 2015-10-21 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt: Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern.