Nerode A
Logic for Applications - 2nd ed - Beijing China Machine Press 2006 - 456 p
ГФ 16804
Англи хэл дээр,
7-111-19772-0 0-387-94893-7
mathematical logic modal logic frames and forcing
Logic for Applications - 2nd ed - Beijing China Machine Press 2006 - 456 p
ГФ 16804
Англи хэл дээр,
7-111-19772-0 0-387-94893-7
mathematical logic modal logic frames and forcing