Type-theoretical Grammar - Indices - Ranta, Aarne (Department of Philosophy, Department of Philosophy, University of Helsinki) - Livros - Oxford University Press - 9780198538578 - 5 de janeiro de 1995
Caso a capa e o título não sejam correspondentes, considere o título como correto

Type-theoretical Grammar - Indices

Preço
R$ 747,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 9 de out
Receba avisos sobre novos lançamentos de Ranta, Aarne (Department of Philosophy, Department of Philosophy, University of Helsinki)
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

BL First book to apply type theory to natural languagePer Martin Lof first presented constructive type theory in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This book is the first to take an in-depth look at the theory from the point of view of linguistics and the philosophy of language.


238 pages, line figures

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 5 de janeiro de 1995
ISBN13 9780198538578
Editoras Oxford University Press
Páginas 238
Dimensões 162 × 241 × 18 mm   ·   494 g
Idioma Inglês  

Mais da mesma editora