Algorithmic logic

logic for mathematics

en-GB/ˌælɡəˈɹɪθmɪk ˈlɒd͡ʒɪk/

分类：

theoretical computer science