International symposium on godel's theorem / edited by Z. W. Wolkowski - River Edge, N.J. : World Scientific, 1993. ISBN: 9810213069