Normal view MARC view ISBD view

Provability in elementary type theory Peter B. Andrews

Publication details: Carnegie-Mellon University Carnegie-Mellon 1972Description: 17 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 15283 (Browse shelf(Opens below))	Available		0032718

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 15278 A formal expansion procedure for the solitary wave problem	III 15281 Characterizations of generalized convex function by best L2 -approximations	III 15282 Bowls, f-fibre -bundles and the alteration of critical values	III 15283 Provability in elementary type theory	III 15284 Asympotic stability for a class of functional differential equations	III 15285 A derivation of the Poincare group	III 15286 The periodic limit for the leslie model	Next

Contine bibliografie

There are no comments on this title.

to post a comment.