Listado como um apêndice secundário para Vappereau‘S. 4≠ 3. Esclarece e define funções e aplicativos bijetivos usando os quantificadores lógicos de Hilbert.
[Adicionado: 2025/08/23]
Listado como um apêndice secundário para Vappereau‘S. 4≠ 3. Esclarece e define funções e aplicativos bijetivos usando os quantificadores lógicos de Hilbert.
[Adicionado: 2025/08/23]