東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Realizability = an introduction to i...

ScienceDirect (Online service)

Linked to FindBook

Google Book

Amazon

博客來

Realizability = an introduction to its categorical side /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Realizability/ Jaap van Oosten.
Reminder of title:	an introduction to its categorical side /
Author:	Oosten, Jaap van.
Published:	Oxford :Elsevier, : 2008.,
Description:	xvi, 310 p. ;24 cm.
Series:	Studies in logic and the foundations of mathematics ;
[NT 15003449]:	Introduction -- 1. Partial Combinatory Algebras -- 2. Realizability triposes and toposes -- 3. The effective topos -- 4. Variations on Realizability.
Subject:	Logic, Symbolic and mathematical. -
Online resource:	http://www.sciencedirect.com/science/publication?issn=0049237X&volume=152An electronic book accessible through the World Wide Web; click for information
ISBN:	0444515844

Realizability = 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: 0444515844

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

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

542853
Electronic books.

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

Dewey Class. No.: 511.3

Realizability = an introduction to its categorical side /
LDR:02125cam 2200337 a 45 001 893320
003 OCoLC
005 20101126
006 m d
007 cr cn|||||||||
008 101126s2008 enk ob 001 0 eng d
020 $a 0444515844
020 $a 9780444515841
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 1068811
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 : $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.
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 532051
655 7 $a Electronic books. $2 lcsh $3 542853
710 2 $a ScienceDirect (Online service) $3 848416
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