Normal view MARC view ISBD view

On the Syntax of Martin-Lof's Theories A. S. Troelstra

By:

Series: Report. 3 Publication details: Amsterdam University Amsterdam 1986Description: 29 p 29 cm

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	III 28003 (Browse shelf(Opens below))	Available		0030102

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	III 28000 Polynomial approximation numbers, capacities and extended green functions for C and Cn	III 28001 Prym varieties of triple cyclic coves	III 28002 Domain invariance in infinite-dimensional linear spaces	III 28003 On the Syntax of Martin-Lof's Theories	III 28004 A Central Limit Theorem for Generalized Quadratic Forms	III 28005 Rigid Borel Sets and Better Quasiorder Theory	III 28006 Towards a computational semantic	Next

Contine bibliografie

There are no comments on this title.

to post a comment.