Methods in mathematical logic proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 edited by C.A. Di Prisco

Contributor(s):

Subject(s):

DDC classification:

Other 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	Call number	Status	Date due	Barcode
Carti	IMAR	510 S 511.3-XXX-4 (Browse shelf(Opens below))	Available		0031635

Previous								Next
Previous	510 S 511.3-HOM Logic and computer science lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988	510 S 511.3-XXX-4 Category theory proceedings of the international conference held in Como, Italy, July 22-28, 1990	510 S 511.3-XXX-4 Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980	510 S 511.3-XXX-4 Methods in mathematical logic proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983	510 S 511.3-XXX-4 Recursion theory week proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984	510 S 511-BUC Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies	510 S 511-XXX-1 Numerical analysis, Lancaster, 1984 proceedings of the SERC Summer School, held in Lancaster, England, Jul. 15-Aug. 3, 1984	Next

Sponsored by Asociacion Venezolana para el Avance de la Ciencia (AsoVAC) ... et al

Cuprinde bibliografie pe capitole

There are no comments on this title.

to post a comment.