From a Flexible Type System to Metapredicative Wellordering Proofs

By Florian Ranzi

Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakult?t der Universit?t Bern.

• Format: Paperback
• Language: English
• ISBN: 1326455206
• ISBN13: 9781326455200
• Release Date: October 2015
• Publisher: Lulu.com
• Length: 238 Pages
• Weight: 0.64 lbs.
• Dimensions: 0.5" x 5.8" x 8.3"