東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Truth through proof = a formalist fo...

~

Weir, Alan.{me_controlnum}

FindBook

Google Book

Amazon

博客來

Truth through proof = a formalist foundation for mathematics /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Truth through proof/ Alan Weir.
其他題名:	a formalist foundation for mathematics /
作者:	Weir, Alan.{me_controlnum}
出版者:	Oxford :Oxford University Press, : 2010.,
面頁冊數:	1 online resource (xiv, 281 p.) :ill.
標題:	Mathematics - Philosophy. -
電子資源:	http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
ISBN:	9780191594915 (ebook) :

Truth through proof = a formalist foundation for mathematics /
Weir, Alan.{me_controlnum}

Truth through proofa formalist foundation for mathematics /[electronic resource] :Alan Weir. - Oxford :Oxford University Press,2010. - 1 online resource (xiv, 281 p.) :ill.

Includes bibliographical references and index.

'Truth Through Proof' defends an anti-platonist philosophy of mathematics derived from game formalism. Weir develops a more satisfactory successor to game formalism utilising anaccepted broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.

ISBN: 9780191594915 (ebook) :No priceSubjects--Topical Terms:

523930
Mathematics
--Philosophy.

LC Class. No.: QA8.4

Dewey Class. No.: 510.1

Truth through proof = a formalist foundation for mathematics /
LDR:01208nmm 2200253 a 4500 001 1326882
003 StDuBDS
005 20120601162315.0
006 m||||||||d||||||||
007 cr||||||||||||
008 130123s2010 enka fo 001 0 eng d
020 $a 9780191594915 (ebook) : $c No price
020 $a 0191594911 (ebook) : $c No price
035 $a EDZ0000076353
040 $a StDuBDS $c StDuBDS
050 4 $a QA8.4
082 0 4 $a 510.1 $2 22
100 1 $a Weir, Alan.{me_controlnum} $3 1617170
245 1 0 $a Truth through proof $h [electronic resource] : $b a formalist foundation for mathematics / $c Alan Weir.
260 $a Oxford : $b Oxford University Press, $c 2010.
300 $a 1 online resource (xiv, 281 p.) : $b ill.
504 $a Includes bibliographical references and index.
520 8 $a 'Truth Through Proof' defends an anti-platonist philosophy of mathematics derived from game formalism. Weir develops a more satisfactory successor to game formalism utilising anaccepted broadly neo-Fregean framework, in which the proposition expressed by an utterance is a function of both sense and background circumstance.
588 $a Description based on print version record.
650 0 $a Mathematics $x Philosophy. $3 523930
650 0 $a Logic, Symbolic and mathematical. $3 532051
776 0 8 $i Print version $z 9780199541492
856 4 0 $3 Oxford scholarship online $u http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

W9149736

電子資源

11.線上閱覽_V

電子書

EB QA8.4

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

多媒體

評論

新增評論分享你的心得

Export

取書館

變更密碼

登入