Frege and Gödel; (Record no. 2340)

MARC details
000 -LEADER
fixed length control field 01429nam a2200313 4500
001 - CONTROL NUMBER
control field 3130579
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20201202145144.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 710106r19701879maua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 71116736
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0674318447
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency ATU
Modifying agency DLC
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title engger
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9
Item number .F88 1970
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 164
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Van Heijenoort, Jean,
Dates associated with a name 1912-
Relator term comp.
9 (RLIN) 4944
245 10 - TITLE STATEMENT
Title Frege and Gödel;
Remainder of title two fundamental texts in mathematical logic.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, Mass.,
Name of publisher, distributor, etc. Harvard University Press,
Date of publication, distribution, etc. 1970.
300 ## - PHYSICAL DESCRIPTION
Extent 116 p.
Other physical details illus.
Dimensions 26 cm.
350 ## - PRICE (NR) (BK AM CF MU VM SE) [OBSOLETE]
Price $6.00
500 ## - GENERAL NOTE
General note "These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
9 (RLIN) 4107
Topical term or geographic name entry element Mathematics
General subdivision Philosophy.
9 (RLIN) 4945
700 12 - ADDED ENTRY--PERSONAL NAME
Personal name Frege, Gottlob,
Dates associated with a name 1848-1925.
Title of a work Begriffsschrift. English. 1970.
9 (RLIN) 4946
Personal name Gödel, Kurt.
9 (RLIN) 4947
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 4
e ncip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type ATU Book
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Materials specified (bound volume or other part) Damaged status Not for loan Home library Current library Shelving location Date acquired Inventory number Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
      SCIENCE     SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY General Stacks 12/02/2020 2340   QA9 .F88 1970 0000003085 12/02/2020 12/02/2020 ATU Book

© 2024. All Right Reserved. Property of Accra Technical University


^