Système de logique déductive et inductive; exposé des principes de la preuve ...

Le chargement des données se connectera à OpenLibrary et vérifiera les métadonnées de ce livre qui ne sont pas présentes ici. Les métadonnées existantes ne seront pas écrasées.