General relativistic hypercomputing and foundation of mathematics (0)

by H Andréka, I Németi, P Németi
Venue:Natural Computing