Mario Rodriguez-Artalejo (rodriguezartalejo)

Contributions to Philosophie.ch

Bibliography

Ebbinghaus, Hans Dieter, Fernandez-Prida, J., Garrido, Manuel, Lascar, Daniel and Rodriguez-Artalejo, Mario, eds. 1989. Logic Colloquium ’87, Proceedings of the Colloquium held in Granada Spain, 20-25 July 1987. Studies in Logic and the Foundations of Mathematics n. 129. Amsterdam: North-Holland Publishing Co.
Moreno-Navarro, Juan Jose and Rodriguez-Artalejo, Mario. 1987. “A First-Order Logic for Logic Programming.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 303–314. New York: Plenum Press.