Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture / J. Y. Girard

Na minha lista:
Detalhes bibliográficos
Superior document:Dissertationes mathematicae 136
VerfasserIn:
Place / Publishing House:Warszawa : PWN, 1976
Ano de Publicação:1976
Idioma:English
Colecção:Dissertationes mathematicae 136
Descrição Física:49 S.
Observações:Literaturverz. S. [45]
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Descrição
ac_no:AC07832278
Hierarchical level:Monograph
Statement of Responsibility: J. Y. Girard