PhD Thesis, Department of Mathematics, Universisity of Oviedo. December 1995. Directed by Antonio Bahamonde and María Camino Rodríguez Vela.
A Parallel Deductive Model for First Order Logic
- You are here:
-
Home
-
PhD Thesis
- A Parallel Deductive Model for First Order Logic