Crossmark

A herbrandized functional interpretation of classical first-order logic

Crossref DOI link: https://doi.org/10.1007/s00153-017-0555-6

Published Online: 2017-05-19

Published Print: 2017-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Ferreira, Fernando http://orcid.org/0000-0002-8693-7210
Ferreira, Gilda http://orcid.org/0000-0003-1447-9764
Funding

Funding for this research was provided by:

Fundação para a Ciência e a Tecnologia (SFRH/BPD/93278/2013)
License Information

License valid from 2017-05-19