Godel 96 Logical foundations of mathematics, computer sciene and physics Vol 6. - Hajek Petr Ed. (Berlin Springer, 1996)
Keywords: MATHEMATICS