AUTHORS (1-2 of 2)
Weir, Alan
1
book jacket

Truth through proof : a formalist foundation for mathematics
Weir, Alan
Oxford : Clarendon Press, 2010
 
2010
PRINTED

Location: Euro-Am Studies Lib
LOCATION CALL # STATUS OPACMSG BARCODE
 Euro-Am 3F Western Mat.  510.1 W4336 2010    AVAILABLE  -  30500101421066
2
book jacket

Truth through proof a formalist foundation for mathematics
Weir, Alan
Oxford : Oxford University Press, 2010
2010
電子書

Location: 中央研究院