History of the Lwów–Warsaw school of logic