Truth Through Proof: A Formalist Foundation for Mathematics

Foundation

by Alan Weir

Hardcover

ISBN: 978-0-19-954149-2

ISBN-10: 0-19-954149-3

OUP Oxford · 2010