Introduction aux logiques non classiques - Miéville, Denis (My University, 1997)