Kripke N and N 1

From Richard Greene  

views comments