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