Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results

Limit/Sort Search

Available items only

Record 1 of 23

Previous Record Next Record

Electronic Book

Conference

Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil), issuing body.

Title Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.

Publication Info.

Providence, Rhode Island : American Mathematical Society, 1999.

Connect to
Available to Pittsburg State University patrons only.

Copies

Location	Call No.	OPAC Message	Status
Axe ProQuest E-Book	Electronic Book	---	Available

Description	1 online resource (344 pages) : illustrations.
	text rdacontent
	computer rdamedia
	online resource rdacarrier
Series	Contemporary mathematics, 0271-4132 ; 235
	Contemporary mathematics (American Mathematical Society) ; 235.
Bibliography	Includes bibliographical references.
Note	Description based on print version record.
Subject	Computer logic -- Congresses.
	Logic, Symbolic and mathematical -- Congresses.
Genre/Form	Electronic books.
Added Author	Carnielli, Walter A. (Walter Alexandre), editor.
	D'Ottaviano, Itala M. L., 1944- editor.
Other Form:	Print version: Brazilian Conference on Mathematical Logic. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil. Providence, Rhode Island : American Mathematical Society, 1999 xi, 326 pages ; 26 cm. Contemporary mathematics ; 235 9780821813645 (DLC)10873278
ISBN	0821813641 (pbk. : alk. paper)
	9780821813645
	9780821878262 (e-book)