Report - eidos Fecha de recepción: febrero 16 de 2016En lógica modal cuantificacional con identidad, asumiendo S5 3, el necesitismo puede ser formulado como (N) Ε∀ x Ε∃ y (x = y) mas

Please pass captcha verification before submit form