Computability and Logic / (Record no. 5643)

MARC details
000 -LEADER
fixed length control field 00647cam a2200217 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240322174215.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 070403s2007 enka b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9780521701464 (pbk.)
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.352
Item number BooC5
100 1# - MAIN ENTRY--AUTHOR NAME
Personal name Boolos, George S.
245 10 - TITLE STATEMENT
Title Computability and Logic /
Statement of responsibility, etc George S. Boolos, John P. Burgess and Richard C. Jeffrey
250 ## - EDITION STATEMENT
Edition statement 5th Ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Cambridge :
-- New York :
Name of publisher Cambridge University Press,
Year of publication c1974.
300 ## - PHYSICAL DESCRIPTION
Number of Pages xiii, 350p.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computable Functions
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Recursive Functions
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Burgess, John P.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jeffrey, Richard C.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Collection code Home library Current library Shelving location Date acquired Source of acquisition Purchase Price Bill number Full call number Accession Number Print Price Bill Date/Price effective from Koha item type
      Mathematics Indian Institute of Technology Tirupati Indian Institute of Technology Tirupati General Stacks 22/03/2024 Shah Book House 1906.25 SBH21297 511.352 BooC5 10349 3031.09 23/10/2023 Books