大葉大學圖書館 |

登入

回首頁 到查詢結果 [ subject:"Logic, Symbolic and mathematical." ]

Realizability[electronic resource] :...

Oosten, Jaap van.

Realizability[electronic resource] :an introduction to its categorical side /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	511.3
書名/作者:	Realizability : an introduction to its categorical side // Jaap van Oosten.
作者:	Oosten, Jaap van.
出版者:	Oxford : : Elsevier,, 2008.
面頁冊數:	xvi, 310 p. ;; 24 cm.
叢書名:	Studies in logic and the foundations of mathematics ;
標題:	Logic, Symbolic and mathematical.
ISBN:	9780444515841
ISBN:	0444515844
書目註:	Includes bibliographical references (p. 291-304) and index.
內容註:	Introduction -- 1. Partial Combinatory Algebras -- 2. Realizability triposes and toposes -- 3. The effective topos -- 4. Variations on Realizability.
摘要、提要註:	Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field.
電子資源:	An electronic book accessible through the World Wide Web; click for information

Realizability[electronic resource] :an introduction to its categorical side /
Oosten, Jaap van.

Realizabilityan introduction to its categorical side /[electronic resource] :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.

Introduction -- 1. Partial Combinatory Algebras -- 2. Realizability triposes and toposes -- 3. The effective topos -- 4. Variations on Realizability.

Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field.

Electronic reproduction.
Amsterdam :
Elsevier Science & Technology,
2008.

Mode of access: World Wide Web.

ISBN: 9780444515841

Source: 116962:117062Elsevier Science & Technologyhttp://www.sciencedirect.comSubjects--Topical Terms:

381130
Logic, Symbolic and mathematical.
Index Terms--Genre/Form:

336502
Electronic books.

LC Class. No.: QA9.7 / .O66 2008eb

Dewey Class. No.: 511.3

Realizability[electronic resource] :an introduction to its categorical side /
LDR:02211cam 2200349Ia 4500 001 338136
003 OCoLC
005 20100729101520.0
006 m d
007 cr cn|||||||||
008 110620s2008 enk ob 001 0 eng d
020 $a 9780444515841
020 $a 0444515844
029 1 $a NZ1 $b 13068752
035 $a (OCoLC)272382234
035 $a ocn272382234
037 $a 116962:117062 $b Elsevier Science & Technology $n http://www.sciencedirect.com
040 $a OPELS $b eng $c OPELS
049 $a TEFA
050 1 4 $a QA9.7 $b .O66 2008eb
082 0 4 $a 511.3 $2 22
100 1 $a Oosten, Jaap van. $3 405343
245 1 0 $a Realizability $h [electronic resource] : $b an introduction to its categorical side / $c Jaap van Oosten.
250 $a 1st ed.
260 $a Oxford : $b Elsevier, $c 2008.
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.
505 0 $a Introduction -- 1. Partial Combinatory Algebras -- 2. Realizability triposes and toposes -- 3. The effective topos -- 4. Variations on Realizability.
520 $a Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field.
533 $a Electronic reproduction. $b Amsterdam : $c Elsevier Science & Technology, $d 2008. $n Mode of access: World Wide Web. $n System requirements: Web browser. $n Title from title screen (viewed on Nov. 14, 2008). $n Access may be restricted to users at subscribing institutions.
650 0 $a Logic, Symbolic and mathematical. $3 381130
655 7 $a Electronic books. $2 local $3 336502
710 2 $a ScienceDirect (Online service) $3 365609
776 1 $c Original $z 9780444515841 $z 0444515844 $w (OCoLC)180470932
856 4 0 $3 ScienceDirect $u http://www.sciencedirect.com/science/publication?issn=0049237X&volume=152 $z An electronic book accessible through the World Wide Web; click for information
994 $a C0 $b TEF

筆 0 讀者評論

多媒體

多媒體檔案
http://www.sciencedirect.com/science/publication?issn=0049237X&volume=152

評論

新增評論分享你的心得

Export

取書館別