Well-foundedness in Realizability

DSpace/Manakin Repository

Hofmann, M.; Oosten, J. van; Streicher, T.

(2006) Archive for Mathematical Logic, volume 45, issue 7, pp. 795 - 805

(Article)

Download/Full Text

ISSN: 1432-0665 (online)
0933-5846 (printed)

Publisher: Springer Berlin / Heidelberg

See more statistics about this item