On formally undecidable propositions of principia mathematics and related systems. (Record no. 278962)

000 -LEADER
fixed length control field 00521nam a22001817a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20151005111112.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 151005b xxu||||| |||| 00| 0 eng d
040 ## - CATALOGING SOURCE
Transcribing agency UG
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA248 G573
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Godel, Kurt.
245 ## - TITLE STATEMENT
Title On formally undecidable propositions of principia mathematics and related systems.
Statement of responsibility, etc Translated by B.Meltzen.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc London,
Name of publisher, distributor, etc Oliver & Boyd,
Date of publication, distribution, etc 1962.
300 ## - PHYSICAL DESCRIPTION
Extent 72p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Godel's theorem.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Entry Department CIR.
Source of classification or shelving scheme
Holdings
Price effective from Permanent Location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Shelving location Barcode Damaged status Lost status Withdrawn status Current Location Full call number
2015-10-05Turkeyen Campus2015-10-05 2015-10-05 3 Weeks LoanScience & Technology6120   Turkeyen CampusQA248 G573
2015-10-05Turkeyen Campus2015-10-05 2015-10-05 3 Weeks LoanScience & Technology6121   Turkeyen CampusQA248 G573