• PhilPeople
  • PhilPapers
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 

Drag to reposition

Ana Veloso
Universidade de Aveiro
  •  Home
  •  Publications
    1
    • Most Recent
    • Most Downloaded
  •  News and Updates
    1
 More details
  • Universidade de Aveiro
    Graduate student
Areas of Interest
Philosophy of Mind
  • All publications (1)
  •  8
    Exploring Computational Contents of Intuitionist Proofs
    with M. Hamazaki da Silva Geiza and Haeusler Edward Hermann
    Logic Journal of the IGPL 13 (1): 69-93. 2005.
    Science, Logic, and Mathematics
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback