Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt GFodel
Publisher: Springer
Published: 1969-01-01