Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Information and Knowledge :A Constru...
~
Primiero, Giuseppe.
Information and Knowledge :A Constructive Type-theoretical Approach /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Information and Knowledge :by Giuseppe Primiero.
Reminder of title:
A Constructive Type-theoretical Approach /
Author:
Primiero, Giuseppe.
Published:
Dordrecht :Springer Science + Business Media B.V,2008.
Description:
210 p. :ill., digital ;24 cm.
Series:
Logic, Epistemology, and the Unity of Science ;
Contained By:
Springer eBooks
Subject:
Computer science.
Online resource:
http://dx.doi.org/10.1007/978-1-4020-6170-7
ISBN:
9781402061691 (paper)
Information and Knowledge :A Constructive Type-theoretical Approach /
Primiero, Giuseppe.
Information and Knowledge :
A Constructive Type-theoretical Approach /[electronic resource] :by Giuseppe Primiero. - Dordrecht :Springer Science + Business Media B.V,2008. - 210 p. :ill., digital ;24 cm. - Logic, Epistemology, and the Unity of Science ;10.
ISBN: 9781402061691 (paper)Subjects--Topical Terms:
199325
Computer science.
LC Class. No.: HM651 / .P75 2008
Dewey Class. No.: 306.42
Information and Knowledge :A Constructive Type-theoretical Approach /
LDR
:00934nmm _22002415a_450
001
185166
003
Springer
005
20080416131653.0
006
m d
007
cr nn 008maaau
008
090528s2008 ne j eng d
020
$a
9781402061691 (paper)
020
$a
9781402061707 (electronic bk.)
035
$a
00330814
050
0 0
$a
HM651
$b
.P75 2008
082
0 0
$2
22
$a
306.42
090
$a
HM651
$b
.P953 2008
100
0
$a
Primiero, Giuseppe.
$3
275627
245
1 0
$a
Information and Knowledge :
$b
A Constructive Type-theoretical Approach /
$c
by Giuseppe Primiero.
$h
[electronic resource] :
260
#
$a
Dordrecht :
$c
2008.
$b
Springer Science + Business Media B.V,
300
$a
210 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Logic, Epistemology, and the Unity of Science ;
$v
10
650
# 0
$a
Computer science.
$3
199325
650
# 0
$a
Genetic epistemology.
$3
275628
650
# 0
$a
Logic, Symbolic and mathematical.
$3
180452
650
# 0
$a
Philosophy.
$3
176573
650
# 0
$a
Epistemology.
$3
275100
650
# 0
$a
Logic.
$3
180785
650
# 0
$a
Mathematical Logic and Formal Languages.
$3
275383
650
# 0
$a
Mathematical Logic and Foundations.
$3
274479
710
0 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer eBooks
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-1-4020-6170-7
$z
http://dx.doi.org/10.1007/978-1-4020-6170-7
950
$a
Humanities, Social Science and Law (Springer-11648; ZDB-2-SHU)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000010540
電子館藏
1圖書
電子書
EB HM651 .P953 2008
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-1-4020-6170-7
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login