Combinators, $\lambda& - Terms and Proof Theory Soren Stenlund

By:

Series: Synthese LibraryPublication details: Dordrecht D. Reidel Publishing Company 1972Description: 184 p ill 22 cmISBN:

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 15876 (Browse shelf(Opens below))	Available		0019963

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	Next
Previous	II 15874 Programming for a Digital Computer in the Fortran Language	II 15875 Functional - Analytic Concepts and Structures of Neutron Transport Theory Vol. II	II 15875 Functional - Analytic Concepts and Structures of Neutron Transport Theory	II 15876 Combinators, $\lambda& - Terms and Proof Theory	II 15877 Sbornik podgotovitel'nyh zadach po matematike dlia postupaiushchih v vuzy	II 15878 Basic invetory Systems Concepts an Analysis	II 15879 Grundriss der Mechanik deformierbarer Medien	Next

Contine bibliografie si index

There are no comments on this title.

to post a comment.