Cate'gories et Machines (1988)

by Y Lafont, Logiques