On Equivalents of Well-Foundedness

Authors
P.Rudnicki
Citation
P.rudnicki, On Equivalents of Well-Foundedness, Journal of automated reasoning , 23(3/4), 1999, pp. 197-234
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
23
Issue
3/4
Year of publication
1999
Pages
197 - 234
Database
ACNP
SICI code