An alternate formulation of Kripke's the
โ
Lawrence Davis
๐
Article
๐
1979
๐
Springer Netherlands
๐
English
โ 363 KB