Truth Through Proof: A Formalist Foundation for Mathematics
by
Alan Weir
Hardcover
details (
UK
).
ISBN: 978-0-19-954149-2
ISBN-10: 0-19-954149-3
OUP Oxford
· 2010