Juan Jose Moreno-Navarro (morenonavarro)

Beiträge zu Philosophie.ch

Bibliography

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.