Formula:LTL/tomus/doc
< Formula:LTL | tomus
Haec est subpagina documentationis de "Formula:LTL/tomus". Haec subpagina informationes categoriasque et alias res continet quae in pagina principali respectiva non continentur. |
{{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.