國立高雄大學圖資館 |

Language: English

Back

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)