馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

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

Corporate Authors: Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil)
Group Author: (Walter Alexandre); D'Ottaviano Itala M. L., 1944-; Carnielli Walter A.
Published: American Mathematical Society,
Publication Dates: c1999.
Call Number: O141-532/B827/1996

Book

2

Cover is for reference only

Algebraic foundations of many-valued reasoning

Main Authors: Cignoli Roberto.
Group Author: D'Ottaviano Itala M. L., 1944-; Mundici Daniele, 1946-
Published: Kluwer Academic Publishers,
Publication Dates: c2000.
Call Number: O141.1/C571

Book

3

Cover is for reference only

Paraconsistency：the logical way to the inconsistent : proceedings of the world congress held in São Paulo

Corporate Authors: World Congress on Paraconsistency (2nd 2000 São Paulo, Brazil)
Group Author: (Walter Alexandre); Coniglio Marcelo E., 1963-; D'Ottaviano Itala M. L., 1944-; Carnielli Walter A.
Published: Marcel Dekker,
Publication Dates: c2002.
Call Number: B81-532/W927/2000

Book

Narrow Search