Läuchli’s completeness theorem from a topos-theoretic (2007)

Cached

Download Links

by Matías Menni
Citations:1 - 1 self