新生學校財團法人新生醫護管理專科學校圖書館 |

語系: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

From Sets and Types to Topology and ...

Schuster, Peter

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

紀錄類型:	書目-電子資源 : 單行本
正題名/作者:	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.
標題:	Constructive mathematics - Congresses. -
電子資源:	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 AnalysisTowards practicable foundations for constructive mathematics[electronic resource] : - Oxford :Oxford University Press,2005 - 376 p. - Oxford scholarship online.

Electronic reproduction.
Oxford :
Oxford University Press,

(Oxford scholarship online).

Mode of access: World Wide Web. System requirements: Internet Explorer 5.5 (or higher) or Netscape Navigator 6.1 (or higher).

ISBN: 0198566514Subjects--Topical Terms:

340028
Constructive mathematics
--Congresses.

From Sets and Types to Topology and Analysis = Towards practicable foundations for constructive mathematics
LDR:00882cmm 22001694 4500 001 173879
003 UK-OxUP
005 20080304013020.0
006 m e d
007 cr bn ---auuuu
008 160302s2005 enk s 001 0 eng d
020 $a 0198566514
035 $a osouk9780198566519
100 1 $a Crosilla, Laura $3 340026
245 1 0 $a From Sets and Types to Topology and Analysis $h [electronic resource] : $b Towards practicable foundations for constructive mathematics
260 $a Oxford : $c 2005 $b Oxford University Press,
300 $a 376 p.
533 $a Electronic reproduction. $b Oxford : $c Oxford University Press, $c 2004. $f (Oxford scholarship online). $n Mode of access: World Wide Web. System requirements: Internet Explorer 5.5 (or higher) or Netscape Navigator 6.1 (or higher). $n Available as searchable text in HTML format. $n Access restricted to subscribing institutions.
650 0 $a Constructive mathematics $v Congresses. $3 340028
650 1 7 $a Constructieve wiskunde. $2 gtt $3 340029
650 1 7 $a Analyse (wiskunde) $2 gtt $3 340030
650 1 7 $a Topologie. $2 gtt $3 257247
700 1 $a Schuster, Peter $3 340027
710 2 $a Oxford University Press. $3 102235
830 0 $a Oxford scholarship online $3 336494
856 4 0 $u http://www.oxfordscholarship.com/oso/public/content/maths/9780198566519/toc.html

筆 0 讀者評論

多媒體

評論

Export

取書館別