Bemærk: Kan ikke leveres før jul.
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science.... Læs mere
Bemærk: Kan ikke leveres før jul.