Jean-Michel Vappereau — Le paradis des bijections

Listed as a secondary appendix to Vappereau‘s 4≠3. Clarifies and defines bijective functions and applications using Hilbert’s logical quantifiers.

Le-paradis-des-bijections