共 32 条
[1]
Aczel P., 1988, NON WELL FOUNDED SET
[2]
[Anonymous], HOME U
[3]
BARWISE J, 1996, VICIOUS CIRCLES CSLI
[4]
Barwise J., 1987, LIAR ESSAY TRUTH CIR
[5]
[8]
Girard J.-Y., 1972, Interpretation fonctionnelle et elimination des coupures de l'artihmetique d'ordre superieur
[9]
[10]
Gupta Anil, 1993, REVISION THEORY TRUT

