General relativistic hypercomputing and foundation of mathematics (2009)

by H Andréka, I Németi, P Németi
Venue:Nat. Comp