東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Subsystems of second order arithmetic /

~

Simpson, Stephen G. (1945-)

Linked to FindBook

Google Book

Amazon

博客來

Subsystems of second order arithmetic /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Subsystems of second order arithmetic // Stephen G. Simpson.
Author:	Simpson, Stephen G.
Published:	Cambridge :Cambridge University Press, : 2009.,
Description:	xvi, 444 p. :ill. ;24 cm.
Notes:	"Association for Symbolic Logic."
Subject:	Predicate calculus. -
ISBN:	9780521884396

Subsystems of second order arithmetic /
Simpson, Stephen G.1945-

Subsystems of second order arithmetic /Stephen G. Simpson. - 2nd ed. - Cambridge :Cambridge University Press,2009. - xvi, 444 p. :ill. ;24 cm. - Perspectives in logic. - Perspectives in logic..

"Association for Symbolic Logic."

Includes bibliographical references (p. 409-424) and index.

ISBN: 9780521884396

LCCN: 2008052364

Nat. Bib. No.: GBA906363bnbSubjects--Topical Terms:

1232949
Predicate calculus.

LC Class. No.: QA9.7 / .S537 2009

Dewey Class. No.: 511.3

Subsystems of second order arithmetic /
LDR:00830cam 2200253 a 4500 001 914244
005 20100928130200.0
008 110221s2009 enka b 001 0 eng
010 $a 2008052364
015 $a GBA906363 $2 bnb
020 $a 9780521884396
020 $a 9780521150149 (pbk.) : $c US45.00
035 $a (OCoLC)ocn288374692
035 $a as99wn07024
040 $a DLC $c DLC $d UKM $d BTCTA $d YDXCP $d C#P $d CDX $d BWX $d DLC
050 0 0 $a QA9.7 $b .S537 2009
082 0 0 $a 511.3 $2 22
090 $a QA/9.7/.S537/2009//////W0137644
100 1 $a Simpson, Stephen G. $q (Stephen George), $d 1945- $3 1232947
245 1 0 $a Subsystems of second order arithmetic / $c Stephen G. Simpson.
250 $a 2nd ed.
260 $a Cambridge : $b Cambridge University Press, $c 2009.
300 $a xvi, 444 p. : $b ill. ; $c 24 cm.
490 1 $a Perspectives in logic
500 $a "Association for Symbolic Logic."
504 $a Includes bibliographical references (p. 409-424) and index.
650 0 $a Predicate calculus. $3 1232949
710 2 $a Association for Symbolic Logic. $3 515472
830 0 $a Perspectives in logic. $3 1232948

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0137644

六樓西文書區HC-Z(6F Western Language Books)

01.外借(書)_YB

一般圖書

QA9.7 S537 2009

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login