Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Truth through proof : = a formalist ...
~
Weir, Alan.
Truth through proof : = a formalist foundation for mathematics /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Truth through proof :/ Alan Weir.
Reminder of title:
a formalist foundation for mathematics /
Author:
Weir, Alan.
Published:
Oxford :Clarendon Press, : 2010.,
Description:
xiv, 281 p. :ill. ; : 25 cm.;
Subject:
Logic, Symbolic and mathematical. -
ISBN:
9780199541492 (cloth) :
Truth through proof : = a formalist foundation for mathematics /
Weir, Alan.
Truth through proof :
a formalist foundation for mathematics /Alan Weir. - Oxford :Clarendon Press,2010. - xiv, 281 p. :ill. ;25 cm.
Includes bibliographical references (p. [262]-272) and indexes.
ISBN: 9780199541492 (cloth) :NT1677Subjects--Topical Terms:
527823
Logic, Symbolic and mathematical.
LC Class. No.: QA8.4 / .W43 2010
Dewey Class. No.: 510.1
Truth through proof : = a formalist foundation for mathematics /
LDR
:00601cam a2200181 a 4500
001
671354
005
20110629162742.0
008
110706s2010 enka b 001 0 eng
020
$a
9780199541492 (cloth) :
$c
NT1677
020
$a
0199541493 (cloth)
035
$a
ocn615830913
040
$a
UKM
$c
UKM
$d
YDXCP
$d
BWK
$d
CDX
$d
NUI
$d
CVU
041
0 #
$a
eng
050
# 4
$a
QA8.4
$b
.W43 2010
082
0 4
$a
510.1
$2
22
100
1
$a
Weir, Alan.
$3
773473
245
1 0
$a
Truth through proof :
$b
a formalist foundation for mathematics /
$c
Alan Weir.
260
#
$a
Oxford :
$c
2010.
$b
Clarendon Press,
300
$a
xiv, 281 p. :
$b
ill. ;
$c
25 cm.
504
$a
Includes bibliographical references (p. [262]-272) and indexes.
650
# 0
$a
Logic, Symbolic and mathematical.
$3
527823
650
# 0
$a
Mathematics
$x
Philosophy.
$3
575254
based on 0 review(s)
ALL
圖書館3F 書庫
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
E034873
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
510.1 W425 2010
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login