Skip to main content
IMSc Library
Lists
Public lists
New Arrivals (03 July, 2024)
New Arrivals (20 June, 2024)
New Arrivals (01 June, 2024)
New Arrivals (01 June 2024)
Books on Exhibit - John Von Neumann
New Arrivals (16 May 2024)
New Arrivals (01 May 2024)
New Arrivals (16 April 2024)
New Arrivals (06 June 2022)
New Arrivals (01 April 2024)
View All
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
+91-44-22543226
library@imsc.res.in
Navigation
▾
Home
About Library
▾
▾
Objectives
Collections
Facilities
Library Services
Library Staff
Library Use Policies
Floor Plans
Library User Guides
Dspace@IMSc
Purchase Suggestions
Library Events
Contact us
IMSc Website
Search :
Library catalog
Title
Author
Subject
ISBN
Series
Call number
Publication year
Publisher
Barcode/ACCN NO
-- All Item type --
BOOKS
JOURNALS(PRINT)
E-BOOKS
E-JOURNALS
THESIS
CDROM
Advanced Search
Advanced search
Tag cloud
Libraries
Log in to your account
×
Login:
Password:
Please use your IMSc email user id and password to Login
Home
ISBD view
Normal view
MARC view
ISBD view
Barendregt, H.P
The lambda calculas its syntax and semantics
B31 M33
Universal Decimal Class. No.:
510.6 BAR
Print
Suggest for purchase
Save record
BIBTEX
Dublin Core
RIS
MARC (Unicode/UTF-8, Standard)
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC
The Institute of Mathematical Sciences, Chennai, India
Powered by
Koha
