:: O systému ::

Jde o jednoduchý systém pro procvičování a zvládnutí teorie k matematickým základum logiky. Který byl naprogramován jako diplomová práce v oboru informatika a výpočetní technika v roce 2006.