Alonzo Church – författare
Visar alla böcker från författaren Alonzo Church. Handla med fri frakt och snabb leverans.
5 produkter
Calculi of Lambda-Conversion
Häftad, 1985
569 kr
Lägg i varukorg
The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.
Introduction to Mathematical Logic
Häftad, 1996
943 kr
Lägg i varukorg
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid …
Discourse Delivered Before the Georgia Historical Society
On the Occasion of Its 6th Anniversary, on Wednesday, 12th Feb., 1845.
Häftad, 2012
227 kr
Lägg i varukorg
Introduction to Mathematical Logic
E-bok, 2016
1312 kr
Lägg i varukorg
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid …
Calculi of Lambda-Conversion
E-bok, 2016
768 kr
Lägg i varukorg
The classic book that inspired Alan Turing and helped to lay the foundation for theoretical computer science This book provides a concise introduction to the calculi of lambda-conversion first discovered by Alonzo Church and developed by him in collaboration with his students, S. C. Kleene and J. …
