RelBib: Studies in logic and the foundations of mathematics

http://relbib.de/Record/130710032