Semantics of type theory : correctness, completeness, and independence results /
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | English |
| Publicado em: |
Boston :
Birkhauser,
1991.
|
| Colecção: | Progress in theoretical computer science
|
| Assuntos: |
| Descrição Física: | xii, 298 p. : ill. ; 25 cm. |
|---|---|
| Bibliografia: | Includes bibliographical references (p. 292-295) and index. |
| ISBN: | 3764335947 (hard : acid-free) : 0817635947 (hard : acid-free) : |