Formula:LTL/tomus

E Vicipaedia
Icon documentationis Documentatio formulae[inspice] [recense] [historiam ostende] [purga]

{{LTL/tomus}} est subformula auxiliaris qua aliae formulae utuntur, humanis non est directe invocanda.

Haec est formula auxiliaris {{LTL}} septem argumenta petens. Non est directe invocanda.