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

Cached

Download Links

by Jan M. Smith
Venue:Journal of Symbolic Logic
Citations:17 - 2 self