國立高雄大學圖資館 |

語系: 繁體中文

登入

回首頁 到查詢結果 [ subject:"Analyse (wiskunde)" ]

切換: 標籤 | MARC模式 | ISBD

From Sets and Types to Topology and ...

Crosilla, Laura

From Sets and Types to Topology and Analysis :Towards practicable foundations for constructive mathematics

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	From Sets and Types to Topology and Analysis :
其他題名:	Towards practicable foundations for constructive mathematics
作者:	Crosilla, Laura
其他作者:	Schuster, Peter
出版者:	Oxford :Oxford University Press,2005
面頁冊數:	376 p.
標題:	Topologie.
電子資源:	http://www.oxfordscholarship.com/oso/public/content/maths/9780198566519/toc.html
ISBN:	0198566514

From Sets and Types to Topology and Analysis :Towards practicable foundations for constructive mathematics
Crosilla, Laura

From Sets and Types to Topology and Analysis :Towards practicable foundations for constructive mathematics[electronic resource] : - Oxford :Oxford University Press,2005 - 376 p. - Oxford scholarship online.

Electronic reproduction.
Oxford :
2004.

(Oxford scholarship online).

Access restricted to subscribing institutions.

ISBN: 0198566514Subjects--Topical Terms:

272452
Topologie.

From Sets and Types to Topology and Analysis :Towards practicable foundations for constructive mathematics
LDR:00993cmm _22001694 _450 001 184151
003 UK-OxUP
005 20080304013020.0
006 m e d
007 cr bn ---auuuu
008 090528s2005 enk s 001 0 eng d
020 $a 0198566514
035 $a 00326748
100 0 $a Crosilla, Laura $3 272448
245 1 0 $a From Sets and Types to Topology and Analysis : $b Towards practicable foundations for constructive mathematics $h [electronic resource] :
260 # $a Oxford : $c 2005 $b Oxford University Press,
300 $a 376 p.
533 $a Electronic reproduction. $b Oxford : $c 2004. $c Oxford University Press, $f (Oxford scholarship online). $n Access restricted to subscribing institutions. $n Available as searchable text in HTML format. $n Mode of access: World Wide Web. System requirements: Internet Explorer 5.5 (or higher) or Netscape Navigator 6.1 (or higher).
650 # 0 $a Topologie. $2 gtt $3 272452
650 # 0 $a Constructive mathematics $v Congresses. $3 444668
650 # 0 $a Constructieve wiskunde. $2 gtt $3 272450
650 # 0 $a Analyse (wiskunde) $2 gtt $3 272451
700 0 # $a Schuster, Peter $3 272447
710 0 # $a Oxford University Press. $3 180112
830 0 $a Oxford scholarship online $3 267830
856 4 0 $u http://libsw.nuk.edu.tw:81/login?url=http://www.oxfordscholarship.com/oso/public/content/maths/9780198566519/toc.html $z http://www.oxfordscholarship.com/oso/public/content/maths/9780198566519/toc.html