Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Introduction To Mathematical Logic (pms-13) One of the pioneers of mathematical logic in the 20th century was Alonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of... »