现代类型论的发展与应用 - Tapa blanda

The Development and Application of Modern Typology(Chinese Edition)

paperback. Condición: New. Paperback.Pub Date:2024-04 Pages:213 Publisher:Tsinghua University Press This book is a monograph on modern type theory. Similar to set theory. modern type theory is the basic language of mathematics and many other fields. This book introduces modern type theory (and its meta-theory). and uses natural language semantics and computer-assisted reasoning as examples to discuss in-depth and easy-to-understand application fields based on modern type theory. As a basic language. modern type theory . Nº de ref. del artículo: DS057778

Contactar al vendedor