{"product_id":"the-calculi-of-lambdaconversion-9780691083940","title":"The Calculi of LambdaConversion","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eThe description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003e*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","brand":"Princeton University Press","offers":[{"title":"Default Title","offer_id":49526153511255,"sku":"9780691083940","price":42.5,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9780691083940.jpg?v=1731863150","url":"https:\/\/bookcurl.com\/products\/the-calculi-of-lambdaconversion-9780691083940","provider":"Book Curl","version":"1.0","type":"link"}