We could collect on this page all references concerning logical issues, since this is the logical language.
For start: