Petit panorama des notations logiques du 20e siècle
Origin : Files produced by the author(s)