The completeness of intuitionistic logic
โ
Peter Schroeder-Heister
๐
Article
๐
1983
๐
Springer Netherlands
๐
English
โ 857 KB