Back to Search

From a Flexible Type System to Metapredicative Wellordering Proofs

AUTHOR Ranzi, Florian
PUBLISHER Lulu.com (10/21/2015)
PRODUCT TYPE Paperback (Paperback)
Description
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultt der Universitt Bern.
Show More
Product Format
Product Details
ISBN-13: 9781326455200
ISBN-10: 1326455206
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: English
More Product Details
Page Count: 238
Carton Quantity: 32
Product Dimensions: 5.83 x 0.50 x 8.27 inches
Weight: 0.64 pound(s)
Country of Origin: US
Subject Information
BISAC Categories
Computers | General
Descriptions, Reviews, Etc.
publisher marketing
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultt der Universitt Bern.
Show More
List Price $14.22
Your Price  $13.51
Paperback