Image from Google Jackets

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

By: Material type: TextTextSeries: Studies in logic and the foundations of mathematics ; v. 103Publication details: Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., c1984.Edition: Rev. edDescription: xv, 621 p. : ill. ; 23 cmISBN:
  • 0444867481
  • 0444875085 (pbk.)
Subject(s): DDC classification:
  • 511.3 19th ed. BAR
LOC classification:
  • QA9.5 .B36 1984
Online resources:
Item type: Books
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Current library Call number Copy number Status Notes Barcode
The Iddi Basajjabalaba Memorial Library Open Shelves QA9.5 .B36 1984 (Browse shelf(Opens below)) 001 Available Material available in hard copy IBML14025461

Browsing The Iddi Basajjabalaba Memorial Library shelves,Shelving location: Open Shelves Close shelf browser (Hides shelf browser)

Q375 .T35 2007 The black swan : Q4276.158 1991 Instructor's manual for statistics / Q4276 .158 2001 Instructor's resource manual / QA9.5 .B36 1984 The lambda calculus : QA9.D991 1999 Fundamentals of mathematics/ QA9.D991 1999 Fundamentals of mathematics/ QA9.D991 1999 Fundamentals of mathematics/

Includes bibliographical references (p. 585-598) and indexes.

There are no comments on this title.

to post a comment.
Share
©2019. Iddi Basajjabalaba Memorial Library. P.O Box 20000 Kansanga, Kampala, Uganda. Email: ibmlsadmin@kiu.ac.ug: Website: http://library.kiu.ac.ug All rights reserved.