Pratica
Subtitle: proofs, types and categories
By: edited by Edward Hermann Haeusler and Luiz Carlos Pereira.
Contributors: Hauesler, Edward Hermann.; Pereira, Luiz Carlos.
Publisher: L.C. Pereira
Published: 1999
Place of publication: Rio de Janeiro
Language: eng
Number of pages: 219