Peter Szabó

Unifikationstheorie erster Ordnung.
. Karlsruhe Institute of Technology, Germany, (1983)
  •  :
  •  :
далее