|
|||||
|
|
The Faithfulness of Fat: A Proof-Theoretic Proof |
|
| Authors: | Fernando Ferreira Gilda Ferreira |
| Institution: | 1. Departamento de Matemática, Faculdade de Ciências da Universidade de Lisboa, Campo Grande, Ed. C6, 1749-016, Lisbon, Portugal 2. Departamento de Matemática, Universidade Lusófona de Humanidades e Tecnologias, Av. do Campo Grande, 376, 1749-024, Lisbon, Portugal |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |