Descripción del título
Sistemes de Gentzen multidi...
Monografía
monografia Rebiun27929709 https://catalogo.rebiun.org/rebiun/record/Rebiun27929709 h| |||||||||| 980127s1997 spc |b 001 ||cat LL1998 bnc B 27578-1997 Biblioteca de Catalunya 8447516946 CBUC 991040970449706706 ES-BaBC cat ES-BaBC cat cat eng 512.563 Gil Estallo, Àngel Sistemes de Gentzen multidimensionals i lògiques finitament valorades Microforma] teoria i aplicacions : memòria presentada per optar al grau de doctor en ciències matemàtiques per la Universitat de Barcelona Ángel Javier Gil Estallo Barcelona Publicac. Universitat de Barcelona 1997 Barcelona Barcelona Publicac. Universitat de Barcelona 1 microfitxa 11x15 cm + 1 fullet (9 p. ; 16 cm) 1 microfitxa Col·lecció de tesis doctorals microfitxades 3138 Tesi doctoral--Universitat de Barcelona, Facultat de Matemàtiques, Departament de Lògica, Història i Filosofia de la Ciencia, 1996 Bibliografia. Índexs Lógica matemática Lógica matemática Universidad de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència Col·lecció de tesis doctorals microfitxades 3138