Normal view MARC view ISBD view

Formalized recursive functionals and formalized realizability S. C. Kleene

By:

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	II 8978 (Browse shelf(Opens below))	Available		0018881

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	No cover image available	Next
Previous	II 8976 On domination estimates and global existence	II 8977 Denjoy integration in abstract spaces	II 8977 Denjoy integration in abstract spaces	II 8978 Formalized recursive functionals and formalized realizability	II 898 Les oscillations electriques	II 8981 Algebre de Rees These presente a la faculte des sciences de montpellier pour obtenir le grande de docteur de specialite	II 8982 Anneau de Rees d'un Ideal	Next

Contine bibliografie

Lucrarea este multigrafiata

There are no comments on this title.

to post a comment.