Olejárova encyklopédia logiky - Základné pojmy