Mathematical logic and theoretical computer science/ edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith.

Contributor(s):

Series: Lecture notes in pure and applied mathematics ; v. 106.Publication details: New York: M. Dekker, c1987.Description: xviii, 383 p.: ill.; 26 cmISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 M426 1987 IMPA (Browse shelf(Opens below))	1	Available		39063000098759

Previous					No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	511.3 M426 1978 IMPA Mathematical logic: proceedings of the first Brazilian Conference/	511.3 M426 1978 IMPA Mathematical logic in Latin America: proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978/	511.3 M426 1985 IMPA Mathematical logic and formal systems: a collection of papers in honor of Professor Newton C. A. da Costa/	511.3 M426 1987 IMPA Mathematical logic and theoretical computer science/	511.3 M478a 1963 IMPA Aristotle's modal syllogisms.	511.3 M478i 1968 IMPA An introduction to decision logic tables/	511.3 M478t 1991 IMPA Truth, vagueness, and paradox: an essay on the logic of truth/	Next