UNIVERSITY LIBRARY CATALOGUE

Computability and logic/ (Record no. 584263)

MARC details
000 -LEADER
fixed length control field 00930cam a2200277 a 4500
001 - CONTROL NUMBER
control field vtls000315676
003 - CONTROL NUMBER IDENTIFIER
control field UG-KaMUL
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250614155104.0
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 052120402X (hbk.)
039 ## - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201307241216
Level of effort used to assign classification 902
Level of effort used to assign subject headings 201305311050
Level of effort used to assign classification 902
-- 201305311044
-- 902
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
-- UG-KaMUL
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3/52
Edition information 22
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Boolos, George.
245 ## - TITLE STATEMENT
Title Computability and logic/
Statement of responsibility, etc. George George, John P. Burgess and Jeffr ey Richard
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge ;
-- New York :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 1974.
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 350 p. :
Other physical details ill. ;
Dimensions 26 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. 341) and index.
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 Logic, Symbolic and mathematical.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Burgess, John P.,
Dates associated with a name 1948-
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Jeffrey, Richard C.
852 ## - LOCATION
Former shelving location COCIS
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books - Open Access

No items available.