![](/img/cover-not-exists.png)
The Russell-Prawitz embedding and the atomization of universal instantiation
Santo, José EspÃrito, Ferreira, GildaJournal:
Logic Journal of the IGPL
DOI:
10.1093/jigpal/jzaa025
Date:
July, 2020
File:
PDF, 1.47 MB
2020