Computability and logic (Record no. 51397)

MARC details
000 -LEADER
fixed length control field 00517nam a2200181 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521389232
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number BOO
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Boolos, George S.
245 ## - TITLE STATEMENT
Title Computability and logic
Statement of responsibility, etc. George S. Boolos and Richard C. Jeffrey
250 ## - EDITION STATEMENT
Edition statement 3rd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge
Name of publisher, distributor, etc. Cambridge University Press
Date of publication, distribution, etc. c1989
300 ## - PHYSICAL DESCRIPTION
Extent xi, 304p.; 24cm.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computable Functions
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Recursive Functions
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Symbolic Logic
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical Logic
710 ## - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Jeffrey, Richard C.
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type Source of classification or shelving scheme
          North Eastern Hill University North Eastern Hill University 24/11/2011   511.3 BOO 175841 24/11/2011 ,2 24/11/2011 Books  
        PHILOSOPHY North Eastern Hill University North Eastern Hill University 26/11/2014   511.3 BOO 12845 26/11/2014   26/11/2014 Books Dewey Decimal Classification