Saúl A. Kripke
Frege�s system of first-order logic is presented in a contemporary framework. The system described is distinguished by economy of expression and an unusual syntax.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: