Welcome to the Online Catalogue, Central Library Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur Accredited by NAAC with A++ Grade

Type theory and formal proof : an introduction (Record no. 25166)

MARC details
000 -LEADER
fixed length control field 00628nam a22002417a 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20180913000429.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 090503t xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781107036505 (HB)
040 ## - CATALOGING SOURCE
Original cataloging agency university
Language of cataloging English
Transcribing agency University
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3 NED(TYP)
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Rob Nederpelt
245 ## - TITLE STATEMENT
Title Type theory and formal proof : an introduction
250 ## - EDITION STATEMENT
Edition statement
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Cambridge University Press
Date of publication, distribution, etc. 2014
300 ## - PHYSICAL DESCRIPTION
Extent xxv, 436p.
500 ## - GENERAL NOTE
General note
518 ## - DATE/TIME AND PLACE OF AN EVENT NOTE
Date/time and place of an event note inv no.SAR/352/2017; dt.16-09-2017
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Type theory
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Herman Geuvers
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Central Library Central Library 09/23/2017 Saraswati Pustakalaya Kolkata 5296.00   511.3 NED(TYP) 25310 09/23/2017 1 09/23/2017 Books
Visitor count :