National Science Library of Georgia

General recursion theory : (Record no. 512695)

MARC details
000 -LEADER
fixed length control field 00955nam a22003137a 4500
001 - CONTROL NUMBER
control field 1808474
003 - CONTROL NUMBER IDENTIFIER
control field Ge_NSL
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200129131519.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 790417s1980 de b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 79013099
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387093494
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.6
Item number .F46
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 510.6
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511/.3
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Fenstad, Jens Erik
9 (RLIN) 143453
245 10 - TITLE STATEMENT
Title General recursion theory :
Remainder of title an axiomatic approach /
Statement of responsibility, etc Jens E. Fenstad.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin ;
-- New York :
Name of publisher, distributor, etc Springer-Verlag,
Date of publication, distribution, etc 1980.
300 ## - PHYSICAL DESCRIPTION
Extent xi, 225 p. ;
Dimensions 25 cm.
490 0# - SERIES STATEMENT
სერიის ცნობა Perspectives in mathematical logic
500 ## - GENERAL NOTE
General note Includes indexes.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Bibliography: p. [209]-216.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Recursion theory.
9 (RLIN) 86557
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term მათემატიკა
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term მათემატიკური ლოგიკა
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ocip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Universal Decimal Classification
Item type წიგნი
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
  შესამოწმებელია Universal Decimal Classification     ეროვნული სამეცნიერო ბიბლიოთეკა 1 ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. 13.01.2020   510.6 2020-0839 13.01.2020 3E13202 13.01.2020 წიგნი
Copyright © 2023 Sciencelib.ge All rights reserved.