共 8 条
- [1] KAYE R, 1991, MODELS PEANO ARTHMET
- [2] MORTENSEN C., 1995, INCONSISTENT MATH
- [5] Priest G., 1987, CONTRADICTION
- [6] PRIEST G, IN PRESS P C LUK DUB
- [7] Slomson A., 1969, MODELS ULTRAPRODUCTS
- [8] Van Bendegem J, 1993, 1ST INT S GODELS THE, P61