Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
TR 2009/006 ISSN 0874-338X The Area Method, Rigorous Proofs of Lemmas in Hilbert's
 

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