A note on Spector's quantifier-free rule
โ
Ulrich Kohlenbach
๐
Article
๐
2001
๐
Springer
๐
English
โ 33 KB