Some weak fragments of HA and certain closure properties
Moniri, Morteza, Moniri, MojtabaVolume:
67
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1190150031
Date:
March, 2002
File:
PDF, 1005 KB
english, 2002