Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Introduction to Mathematical Logic (PMS-13), Volume 13
E-bok,
2016,
Engelska,
ISBN 9781400881451
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 …
Calculi of Lambda-Conversion (AM-6), Volume 6
E-bok,
2016,
Engelska,
ISBN 9781400881932
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 …