Mathematical interpretation of formal systems / (Record no. 277626)

000 -LEADER
fixed length control field 00657nam a22002057a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150914083935.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 150914b xxu||||| |||| 00| 0 eng d
040 ## - CATALOGING SOURCE
Transcribing agency UG
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.37
Item number S5
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Skolen, Thoralf,
Dates associated with a name 1887-
245 ## - TITLE STATEMENT
Title Mathematical interpretation of formal systems /
Statement of responsibility, etc [by] T. Skolem [and others].-
250 ## - EDITION STATEMENT
Edition statement 2d ed.-
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Amsterdam :
Name of publisher, distributor, etc North-Holland Publishing Co.,
Date of publication, distribution, etc 1971.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 113p.-
490 ## - SERIES STATEMENT
Series statement (Studies in logic and the foundations of mathematics).
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
Topical term or geographic name as entry element Mathematics
General subdivision Philosophy.
9 (RLIN) 20226
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Entry Department SYS
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-09-14Turkeyen Campus2015-09-14 2015-09-14 3 Weeks LoanScience & Technology52103   Turkeyen CampusQA9.37 S5