Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 edited by G.H. Muller, G. Takeuti, and T. Tugue

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		0031533

Previous								Next
Previous	510 S 511.3-CHO-1 Techniques of admissible recursion theory	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	Next

Cuprinde bibliografie pe capitole

There are no comments on this title.

to post a comment.