國立高雄大學圖資館 |

Language: English

Back

Analysis and Synthesis of Logics :Ho...

Carnielli, Walter.

Analysis and Synthesis of Logics :How to Cut and Paste Reasoning Systems /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Analysis and Synthesis of Logics :by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
Reminder of title:	How to Cut and Paste Reasoning Systems /
Author:	Carnielli, Walter.
other author:	Gabbay, Dov M.
Published:	Dordrecht :Springer Science+Business Media B.V.,2008.
Description:	xvi, 600 p. :ill., digital ;25 cm.
Series:	Applied Logic Series, ;
Contained By:	Springer eBooks
Subject:	Logic, Symbolic and mathematical.
Online resource:	http://dx.doi.org/10.1007/978-1-4020-6782-2
ISBN:	9781402067815 (paper)

Analysis and Synthesis of Logics :How to Cut and Paste Reasoning Systems /
Carnielli, Walter.

Analysis and Synthesis of Logics :How to Cut and Paste Reasoning Systems /[electronic resource] :by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. - Dordrecht :Springer Science+Business Media B.V.,2008. - xvi, 600 p. :ill., digital ;25 cm. - Applied Logic Series, ;35,1386-2790 ;.

ISBN: 9781402067815 (paper)Subjects--Topical Terms:

180452
Logic, Symbolic and mathematical.

Dewey Class. No.: 511.3

Analysis and Synthesis of Logics :How to Cut and Paste Reasoning Systems /
LDR:00956nmm _22002295a_450 001 185563
003 Springer
005 19980122193530.0
006 m d
007 cr nn 008maaau
008 090528s2008 ne j eng d
020 $a 9781402067815 (paper)
020 $a 9781402067822 (electronic bk.)
035 $a 00331211
082 0 0 $2 22 $a 511.3
090 $a QA9 $b .C289 2008
100 0 $a Carnielli, Walter. $3 276666
245 1 0 $a Analysis and Synthesis of Logics : $b How to Cut and Paste Reasoning Systems / $c by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. $h [electronic resource] :
260 # $a Dordrecht : $c 2008. $b Springer Science+Business Media B.V.,
300 $a xvi, 600 p. : $b ill., digital ; $c 25 cm.
440 0 $a Applied Logic Series, ; $v 35, $x 1386-2790 ;
650 # 0 $a Logic, Symbolic and mathematical. $3 180452
650 # 0 $a Mathematics. $3 184409
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
700 0 # $a Gabbay, Dov M. $3 272790
700 0 # $a Gouveia, Paula. $3 276664
700 0 # $a Sernadas, Cristina. $3 276665
700 0 # $a Coniglio, Marcelo. $3 276663
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-6782-2 $z http://dx.doi.org/10.1007/978-1-4020-6782-2
950 $a Mathematics and Statistics (Springer-11649; ZDB-2-SMA)