A generalization of herbrand's theorem
By: by Reijo Ernvall.
Series: Turun yliopiston julkaisuja.; 193
Publisher: Turun Yliopisto
Published: 1989
Place of publication: Turku
Language: eng
Number of pages: 15
Notes: PRIORITY 3.