Mathematical logic organizations