Jean-Michel Vappereau — Bijections Paradise

の二次付録としてリストされています Vappereau's 4≠3. Hilbertの論理数量化器を使用して、生物の関数とアプリケーションを明確にして定義します.

le-paradis-des-bijections