Description

Book Synopsis

The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.



Table of Contents
*Frontmatter, pg. i*CONTENTS, pg. v*Chapter I. INTRODUCTORY, pg. 1*Chapter II. LAMBDA-CONVERSION, pg. 8*Chapter III. LAMBDA-DEFINABILITY, pg. 28*Chapter IV. COMBINATIONS, GODEL NUMBERS, pg. 43*Chapter V. THE CALCULI OF lambda-K-CONVERSION AND lambda-delta- CONVERSION, pg. 58*INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION, pg. 72*BIBLIOGRAPHY, pg. 73*CORRECTION AND ADDITIONS, pg. 82

The Calculi of LambdaConversion

    Product form

    £42.50

    Includes FREE delivery

    RRP £50.00 – you save £7.50 (15%)

    Order before 4pm tomorrow for delivery by Tue 23 Jun 2026.

    A Paperback / softback by Alonzo Church

    1 in stock


      View other formats and editions of The Calculi of LambdaConversion by Alonzo Church

      Publisher: Princeton University Press
      Publication Date: 21/01/1985
      ISBN13: 9780691083940, 978-0691083940
      ISBN10: 0691083940

      Description

      Book Synopsis

      The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.



      Table of Contents
      *Frontmatter, pg. i*CONTENTS, pg. v*Chapter I. INTRODUCTORY, pg. 1*Chapter II. LAMBDA-CONVERSION, pg. 8*Chapter III. LAMBDA-DEFINABILITY, pg. 28*Chapter IV. COMBINATIONS, GODEL NUMBERS, pg. 43*Chapter V. THE CALCULI OF lambda-K-CONVERSION AND lambda-delta- CONVERSION, pg. 58*INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION, pg. 72*BIBLIOGRAPHY, pg. 73*CORRECTION AND ADDITIONS, pg. 82

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account