Segunda parte de um trabalho de duas partes de Vappereau em separação. Usa álgebra booleana e topologia para a formalização de seu argumento.
[Adicionado: 2025/08/28]
Segunda parte de um trabalho de duas partes de Vappereau em separação. Usa álgebra booleana e topologia para a formalização de seu argumento.
[Adicionado: 2025/08/28]