Mathematical constructivism in space-time (1998)

by G Hellman