Hrvatska enciklopedija (2013–)
simbolička logika→ logika ...

Hrvatski obiteljski leksikon (2005)
simbolička logika → logistika ...