Jean-Michel Vappereau — Paradiso delle bici

Elencato come un'appendice secondaria a Vappereau'S 4≠ 3. Chiarisce e definisce le funzioni e le applicazioni biiettitive utilizzando i quantificatori logici di Hilbert.

Le-paradis-de-biiections

[Aggiunto: 2025/08/23]