Une bibliographie des logiques non-standards par Peter Suber.