Intuitionistic completeness of first-ord
โ
Constable, Robert; Bickford, Mark
๐
Article
๐
2014
๐
Elsevier Science
๐
English
โ 521 KB