Pietro Sabelli

Un guide clair sur les définitions inductives et coinductives et leur importance.

Une nouvelle approche des fondements des maths axée sur la clarté et la structure.