Sökt på: Böcker av Alonzo Church
totalt 5 träffar
The Calculi of Lambda-Conversion (AM-6), Volume 6
The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.
Introduction to Mathematical Logic (PMS-13), Volume 13
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 …
Introduction to Mathematical Logic (PMS-13), Volume 13
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 …
Introduction to Mathematical Logic, V1: Princeton Mathematical Series, No. 17
Calculi of Lambda-Conversion (AM-6), Volume 6
The classic book that inspired Alan Turing and helped to lay the foundation for theoretical computer scienceThis book provides a concise introduction to the calculi of …