Normal view MARC view ISBD view

The Lambda Calculus : Its Syntax snd Semantics / H. P Barendregt

By:

Barendregt, H. P

Material type: Text

Text

TextPublication details: Amsterdam, Londra, New York North-Holland, American Elsevier 1985Subject(s):

Mathematical logic (Symbolic logic)

DDC classification:

511.3

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	CSR -511.3-BAR (Browse shelf(Opens below))	Available

Browsing IMAR shelves Close shelf browser (Hides shelf browser)

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	CSR-511.3-ABI Boolean rings	CSR -511.3-ALB Fundamnetele matematicii	CSR-511.3-ARN-1 Logic and Boolean Algebra	CSR -511.3-BAR The Lambda Calculus : Its Syntax snd Semantics /	CSR-511.3-BAR Matematica aplicata in tehnica de calcul: Manual pentru licee cu profil de matematica si matematica-fizica: clasa a IX-a	CSR-511.3-BAR-1 An algebraic introduction to mathematical logic	CSR-511.3-BEC Logica matematica si teoria multimilor	Next

There are no comments on this title.

to post a comment.

Powered by Koha