Indices – serie

Visar alla böcker i serien Indices. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Type-theoretical Grammar

   Av Aarne Ranta

   Inbunden, 1995

   1828 kr

   Lägg i varukorg

   Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a comsiderable …