The lambda calculus its syntax and semantics H.P.Barendregt

By:

Publication details: Amsterdam North-Holland 1984Edition: Rev. edDescription: 621p. 24cmISBN:

Subject(s):

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	Home library	Collection	Call number	Materials specified	Copy number	Status	Date due	Barcode
AM	PERPUSTAKAAN TUN SERI LANANG	PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5)	-	QA9.5.B36 1984 (Browse shelf(Opens below))		1	Available		00000145993

Previous								Next
Previous	QA9.4.N65 Non-standard logics for automated reasoning /	QA9.45.I57 1975 Modern uses of multiple-valued logic : invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975 /	QA9.47.B7 Brouwer`s Cambridge lectures on intuitionism /	QA9.5.B36 1984 The lambda calculus its syntax and semantics	QA9.54.B46 The moment of proof : mathemanical epiphanies /	QA9.54.B877 Extending the frontiers of mathematics : inquiries into proof and argumentation /	QA9.54.C48 2008 Mathematical proofs : a transition to advanced mathematics /	Next

There are no comments on this title.

to post a comment.