Jean-Michel Vappereau — Paraíso das Bijeções

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.

Le-paradis-des-bijeções

[Adicionado: 2025/08/23]