Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Mathematical Problems from Applied Logic I :Logics for the XXIst Century /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Mathematical Problems from Applied Logic I :edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.
Reminder of title:
Logics for the XXIst Century /
other author:
Zakharyaschev, Michael.
Published:
New York, NY :Springer Science+Business Media, Inc.,2006.
Description:
v.: digital
Series:
International Mathematical Series, ;
Subject:
Logic design
Online resource:
http://dx.doi.org/10.1007/0-387-31072-X
ISBN:
9780387286884 (paper)
Mathematical Problems from Applied Logic I :Logics for the XXIst Century /
Mathematical Problems from Applied Logic I :
Logics for the XXIst Century /[electronic resource] :edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. - New York, NY :Springer Science+Business Media, Inc.,2006. - v.: digital - International Mathematical Series, ;4,1571-5485 ;.
ISBN: 9780387286884 (paper)Subjects--Topical Terms:
253765
Logic design
LC Class. No.: QA9.A1 / M38 2006
Dewey Class. No.: 511.3
Mathematical Problems from Applied Logic I :Logics for the XXIst Century /
LDR
:00916nmm _22002295a_450
001
178926
003
Springer
005
20070828111709.0
006
m e
007
cr nn 008mamaa
008
090528s2006 nyu j eng d
020
$a
9780387286884 (paper)
020
$a
9780387310725 (electronic bk.)
035
$a
00287838
050
0 0
$a
QA9.A1
$b
M38 2006
082
0 0
$2
22
$a
511.3
090
$a
QA9.A1
$b
M426 2006
245
0 0
$a
Mathematical Problems from Applied Logic I :
$b
Logics for the XXIst Century /
$c
edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.
$h
[electronic resource] :
260
#
$a
New York, NY :
$c
2006.
$b
Springer Science+Business Media, Inc.,
300
$b
v.: digital
440
0
$a
International Mathematical Series, ;
$v
4,
$x
1571-5485 ;
650
# 0
$a
Logic design
$3
253765
650
# 0
$a
Computer science
$3
252805
650
# 0
$a
Logic
$3
217984
650
# 0
$a
Logic, Symbolic and mathematical
$3
254195
650
# 0
$a
Mathematics
$3
252617
650
# 0
$a
Logics and Meanings of Programs
$3
253766
650
# 0
$a
Mathematical Logic and Formal Languages
$3
253767
650
# 0
$a
Mathematics of Computing
$3
253615
650
# 0
$a
Mathematical Logic and Foundations
$3
254197
700
0 #
$a
Zakharyaschev, Michael.
$3
261297
700
0 #
$a
Gabbay, Dov M..
$3
261295
700
0 #
$a
Goncharov, Sergei S..
$3
261296
856
4 0
$u
http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/0-387-31072-X
$z
http://dx.doi.org/10.1007/0-387-31072-X
950
$a
Mathematics and Statistics (Springer-11649; ZDB-2-SMA)
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
000000006486
電子館藏
1圖書
電子書
EB QA9.A1 M426 2006
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/0-387-31072-X
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login