[[!redirects Logic]] [[!redirects logic]] [[!redirects Logic in HoTT]] < [[nlab:logic]] category: redirected to nlab