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

Document Versions

The Independence of Peano's Fourth Axiom from Martin-Löf's Type Theory without Universes –Jan M. Smith — 1988 — Journal of Symbolic Logic