Summary: TR 2009/006 ISSN 0874-338X
The Area Method, Rigorous Proofs of Lemmas in Hilbert's
Style Axiom System
Pedro Quaresma
Department of Mathematics
University of Coimbra, Portugal
&
Predrag Janici
Faculty of Mathematics
University of Belgrade, Serbia
Center for Informatics and Systems of the University of Coimbra
The Area Method, Rigorous Proofs of Lemmas in Hilbert's
Style Axiom System
Pedro Quaresma
CISUC/Department of Mathematics
University of Coimbra
3001-454 Coimbra, Portugal
E-mail: pedro@mat.uc.pt
Predrag Janici
Faculty of Mathematics

Source: Almeida, Pedro Quaresma de - Departamento de Matemática, Universidade de Coimbra

Collections: Mathematics