पुस्तकें — formal logic systems

RU
डिस्क्रीट गणित। औपचारिक तार्किक प्रणालियाँ और भाषाएँ

डिस्क्रीट गणित। औपचारिक तार्किक प्रणालियाँ और भाषाएँ

A

С. М. Авдошин, А. А. Набебин

एल्गोरिदम और सिद्धांत