東華大學圖書館 |

Language: English

Back

Switch To: Labeled | MARC Mode | ISBD

Advances in contemporary logic and c...

Carnielli, Walter A.

Amazon

博客來

Advances in contemporary logic and computer science : = proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Advances in contemporary logic and computer science :/ Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.
Reminder of title:	proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil /
other author:	Carnielli, Walter A.
corporate name:	Brazilian Conference on Mathematical Logic
Published:	Providence, RI :American Mathematical Society, : 1999.,
Description:	xi, 326 p. :ill. ;26 cm.
Subject:	Computer logic - Congresses. -
ISBN:	0821813641 (pbk. : alk. paper) :

Advances in contemporary logic and computer science : = proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil /
Advances in contemporary logic and computer science :proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil /Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. - Providence, RI :American Mathematical Society,1999. - xi, 326 p. :ill. ;26 cm. - Contemporary mathematics ;235. - Contemporary mathematics (American Mathematical Society) ;v. 235..

Includes bibliographical references.

ISBN: 0821813641 (pbk. : alk. paper) :US60.00

LCCN: 99023309Subjects--Topical Terms:

726280
Computer logic
--Congresses.

LC Class. No.: QA76.9.L36 / B73 1996

Dewey Class. No.: 005.1/01/5113

Advances in contemporary logic and computer science : = proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil /
LDR:00768cam a2200193 a 45 001 683463
005 20020115153322.8
008 020102s1999 riua b 100 0 eng
010 $a 99023309
020 $a 0821813641 (pbk. : alk. paper) : $c US60.00
035 $a as0900398
040 $a DLC $c DLC $d DLC
042 $a pcc
050 0 0 $a QA76.9.L36 $b B73 1996
082 0 0 $a 005.1/01/5113 $2 21
111 $a Brazilian Conference on Mathematical Logic $n (11th : $d 1996 : $c Salvador, Brazil) $3 726279
245 1 0 $a Advances in contemporary logic and computer science : $b proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil / $c Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.
260 $a Providence, RI : $c 1999. $b American Mathematical Society,
300 $a xi, 326 p. : $b ill. ; $c 26 cm.
490 1 $a Contemporary mathematics ; $v 235
504 $a Includes bibliographical references.
650 $a Computer logic $x Congresses. $3 726280
650 $a Logic, Symbolic and mathematical $x Congresses. $3 658487
700 $a Carnielli, Walter A. $q (Walter Alexandre) $3 726277
700 $a D'Ottaviano, Itala M. L., $d 1944- $3 726278
830 $a Contemporary mathematics (American Mathematical Society) ; $v v. 235. $3 726281