999 followers
あ,これのイントロ読まないと.Louis Couturat -Traité de Logique algorithmique (edited by Schlaudt and Sakhri, Springer, 2010) https://t.co/a1qXraJ0jl
あ,これのイントロ読まないと.Louis Couturat -Traité de Logique algorithmique (edited by Schlaudt and Sakhri, Springer, 2010) https://t.co/a1qXraJ0jl