Repository | Directory | Profile
Quine's conjecture on many-sorted logic
2017
Hans Halvorson
Synthese 194/9