Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality
Daniel DzierzgowskiVolume:
61
Pages:
12
Journal:
Studia Logica
DOI:
10.1023/a:1005022208588
Date:
November, 1998
File:
PDF, 542 KB
1998