The Russell-Prawitz embedding and the atomization of universal instantiation

arXiv

Miscellaneous

G. Ferreira

Publication

Year of publication: 2019

Identifiers

ISSN: 23318422

Other: 2-s2.0-85098337226

Locators

Alternative Titles