Un metodo de aproximaciones finitas en la logica de primer orden.

Tesis doctoral de Mario Rodríguez Artalejo Se parte de trabajos de j. Hintikka wischonfeld y t. wolf sobre la forma […]

, , , , ,