पुस्तकें — proofs

EN
हास्केल का तर्क, गणित और प्रोग्रामिंग का मार्ग

हास्केल का तर्क, गणित और प्रोग्रामिंग का मार्ग

A

Kees Doets, Jan van Eijck

प्रोग्रामिंग भाषाएँ