## The Independence of Peano's Fourth Axiom from Martin-Löf's Type Theory without Universes (1988)

by
Jan M. Smith

Venue: | Journal of Symbolic Logic |

Citations: | 18 - 2 self |