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

Cached

Download Links

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