國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Realizability : = an introduction to...

~

Oosten, Jaap van.

Realizability : = an introduction to its categorical side /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Realizability :/ Jaap van Oosten.
其他題名:	an introduction to its categorical side /
作者:	Oosten, Jaap van.
出版者:	Oxford :Elsevier, : 2008.,
面頁冊數:	xvi, 310 p. ;24 cm.;
叢書名:	Studies in logic and the foundations of mathematics ;
標題:	Logic, Symbolic and mathematical. -
ISBN:	0444515844 (hbk.)

Realizability : = an introduction to its categorical side /
Oosten, Jaap van.

Realizability :an introduction to its categorical side /Jaap van Oosten. - 1st ed. - Oxford :Elsevier,2008. - xvi, 310 p. ;24 cm. - Studies in logic and the foundations of mathematics ;152..

Includes bibliographical references (p. 291-304) and index.

ISBN: 0444515844 (hbk.)

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

527823
Logic, Symbolic and mathematical.

Dewey Class. No.: 511.3

Realizability : = an introduction to its categorical side /
LDR:00737cam 22002178a 4500 001 609010
003 OCoLC
005 20080603050451.0
008 090918s2008 enk b 001 0 eng
015 $2 bnb $a GBA788187
020 $a 0444515844 (hbk.)
020 $a 9780444515841 (hbk.)
035 $a (OCoLC)180470932
040 $a UKM $c UKM $d BAKER $d BTCTA $d NFU $d NTU $d OCLCQ $d OHX $d SUC $d TXH $d YDXCP
082 0 4 $2 22 $a 511.3
090 $a QA9.7 $b .O66 2008
100 1 $a Oosten, Jaap van. $3 633628
245 1 0 $a Realizability : $b an introduction to its categorical side / $c Jaap van Oosten.
250 $a 1st ed.
260 $a Oxford : $c 2008. $b Elsevier,
300 $a xvi, 310 p. ; $c 24 cm.
440 0 $a Studies in logic and the foundations of mathematics ; $v 152.
504 $a Includes bibliographical references (p. 291-304) and index.
650 0 $a Logic, Symbolic and mathematical. $3 527823

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E030063

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

511.3 O67 2008

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入