Type-theoretical Grammar by Aarne Ranta (English) Hardcover Book
82,98 €
By Aarne Ranta. Aarne Ranta is at University of Helsinki. Author Aarne Ranta. Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. But it has remained relatively unknown among linguists and philosophers, although it provides a comsiderable extension of the concepts and techniques of logic.
Jetzt bei Ebay:
