Normal view MARC view ISBD view

General models, descriptions and choice in type theory Peter Andrews

By:

Series: Report. 71-29 Publication details: Carnegie-Mellon University Carnegie-Mellon 1971Description: 25 p 28 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 12828 (Browse shelf(Opens below))	Available		0031523

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 12825 On mean values of entire functions of exponential type	III 12826 On the absolute matrix summability of fourier series	III 12827 General models and extensionality	III 12828 General models, descriptions and choice in type theory	III 12829 The self-circumferences of polar convex disks	III 12830 L-orthogonally scattered measures	III 12831 The theorem of Rayleigh-Faber-Krahn for the characteristic values associated with a class of nonlinear boundary value problems	Next

Contine bibliografie

There are no comments on this title.

to post a comment.