Boek
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 computer science and was the founder of the Journal of Symbolic Logic. This book presents an overview of the subject. «
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 »
Er zijn nog geen verbanden gelegd.