[fr] Logique monadique du premier ordre

[pt] Lógica de segunda ordem monádica

[uk] Числення одномісних предикатів

[zh] 一元谓词演算