Crossmark

Constructive Validity of a Generalized Kreisel–Putnam Rule

Crossref DOI link: https://doi.org/10.1007/s11225-024-10129-x

Published Online: 2024-07-15

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

Authors

Pezlar, Ivo https://orcid.org/0000-0003-1965-2159
Funding

Funding for this research was provided by:

Grantová Agentura Ceské Republiky (21-23610 M)
License Information

Text and Data Mining valid from 2024-07-15

Version of Record valid from 2024-07-15
More Information

Article History

Received: 24 September 2023

First Online: 15 July 2024