On Equivalents of Well-foundedness -- An experiment in Mizar (1998)

Cached

Download Links

by Piotr Rudnicki , Andrzej Trybulec
Citations:13 - 3 self

Document Versions

On Equivalents of Well-foundedness -- An experiment in Mizar –Piotr Rudnicki, Andrzej Trybulec — 1998