Add 'lambda calculus from logical perspective' which illustrates
how such calculus allows one to perform all kind of computation.
{Conclusion is not finished!}