Matheson Library
Empowering Knowledge, Inspiring Discovery

Formal number theory and computability (Record no. 11485)

MARC details
000 -LEADER
fixed length control field 00791nam a2200277 a 4500
001 - CONTROL NUMBER
control field 00374741
003 - CONTROL NUMBER IDENTIFIER
control field PWmBRO
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240602095613.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 831021s1982 enka a o0011 eng l
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 512
Item number .72
090 00 - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) 511.3/F533f
100 10 - MAIN ENTRY--PERSONAL NAME
Personal name Fisher, Alec
245 10 - TITLE STATEMENT
Title Formal number theory and computability
Remainder of title a workbook
Statement of responsibility, etc. by Alec Fisher
260 00 - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Oxford [Oxfordshire]
Name of publisher, distributor, etc. Clarendon Press
Date of publication, distribution, etc. 1982
300 00 - PHYSICAL DESCRIPTION
Extent xiii, 190 p.
Other physical details ill.
Dimensions 25 cm.
440 00 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Oxford logic guides
Volume/sequential designation 7
440 00 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Oxford science publications
500 00 - GENERAL NOTE
General note Includes index
595 00 -
-- 0198531788
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Godel's theorem
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Incompleteness theorems
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Number theory
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
994 ## -
-- 001013323 84143 0001
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Main Collection Matheson Library Matheson Library Main Collection 02.06.2024   511.3 F533f 013323 23.03.2018 23.03.2018 Books