Vidyasyahadri ...
Wang, Guo-Jun.

Introduction to mathematical logic and resolution principle. Textual Documents - 2nd ed. - Oxford: Alpha Science International., 2009 - viii, 335p.

Logic, Symbolic and mathematical

511.3 /

Powered by Koha