From a Flexible Type System to Metapredicative Wellordering Proofs
From a Flexible Type System to Metapredicative Wellordering Proofs
From a Flexible Type System to Metapredicative Wellordering Proofs
From a Flexible Type System to Metapredicative Wellordering Proofs
From a Flexible Type System to Metapredicative Wellordering Proofs
From a Flexible Type System to Metapredicative Wellordering Proofs
Trending Bestseller

From a Flexible Type System to Metapredicative Wellordering Proofs

by Florian Ranzi
No reviews yet Write a Review
Paperback / softback
21 October 2015
$25.43
Ships in 3-5 business days
Hurry up! Current stock:
Description  
Inauguraldissertation an der Philosophisch-naturwissenschaftlichen Fakultät der Universität Bern.

You Can Find This Book In

    Book Details
    ISBN-13
    9781326455200
    Author
    Florian Ranzi
    Publisher
    Lulu Press
    Published
    21 October 2015
    Format
    Paperback / softback
    Customer reviews  

    This product hasn't received any reviews yet. Be the first to review this product!

    Write a Review
    Flat Rate Shipping  
    Easy Returns  
    $25.43
    Ships in 3-5 business days
    Hurry up! Current stock:
    Flat Rate Shipping  
    Easy Returns  

    From a Flexible Type System to Metapredicative Wellordering Proofs

    $25.43

    Description

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

    You Can Find This Book In

      New Releases

      Bestselling Books

      This Book Is Categorised As