Proof interpretations / Fernando Ferreira ; ed. Reinhard Kahle and Isabel Oitavem

Autor: Ferreira , FernandoCo-autor: Koepke , PeterAutor secundário: Kahle , Reinhard;Oitavem , IsabelLíngua: Inglês.País: Portugal.ISBN: 972-8564-42-2 ; 978-972-8564-42-1.Publicação: Coimbra : UC. FCT. DM, 2006Descrição: IV, 78 pColeção: (Textos de matemática, Departamento de Matemática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra ; 38)Assunto : Matemática computacionalCDU: 519.67