Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 - Paperback
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 - Paperback
FormatBook
Language
English
ISBN-13 / SKU
9798585284120
About this item
by Henk Barendregt (Author)
This book is an extended version of the author's 1971 PhD thesis, containing a facsimile of the original and several extensions: motivation, hindsight and the making of. It is concerned with consistency of equating unsolvable terms and adding the omega-rule as strengthening of the principle of extensionality. The republication is put in context of the transition of lambda-calculus from an academic theory to a major foundation for fruitful aspects of logic, having an impact on mathematics and computer science and technology with a societal impact by securing correctness of complex systems.
Number of Pages: 312
Dimensions: 0.65 x 10 x 7.99 IN
Publication Date: December 22, 2020
$29.08
In Stock.
Nationwide Shipping
We deliver across the USA.
Sold by
Novelly Books
Curated additions for your library
The Freight Broker Book: A 21st Century Training Guide to Running a Successful Freight Brokerage Business Startup From Scratch - Hardcover
$32.64
Python Ethical Hacking from Scratch: Think like an ethical hacker, avoid detection, and successfully develop, deploy, detect, and avoid malware - Paperback
$71.52
Certified Ethical Hacker (Ceh) Preparation Guide: Lesson-Based Review of Ethical Hacking and Penetration Testing - Paperback
$75.79
International Health and Safety at Work: For the Nebosh International General Certificate in Occupational Health and Safety - Paperback
$118.95
Raspberry Pi IoT In Python Using Linux Drivers - Paperback
$50.95