MARC details
000 -LEADER |
fixed length control field |
01387n a2200397#a 4500 |
001 - CONTROL NUMBER |
control field |
36550 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20231124143637.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
130926t20142014njua b 001 0 eng d |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2013949122 |
015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
National bibliography number |
GBB394847 |
Source |
bnb |
015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
National bibliography number |
GBB394847 |
Source |
dnb |
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
Record control number |
016520683 |
Source |
Uk |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780691160443 |
Qualifying information |
(pbk. : acid-free paper) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0691160449 |
Qualifying information |
(pbk. : acid-free paper) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
140084875X |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781400848751 |
040 ## - CATALOGING SOURCE |
Transcribing agency |
P5AA |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.3 |
Item number |
L898t |
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES |
IMPA CODE FOR CLASSIFICATION SHELVES |
Lógica e Fundamentos 02-Lógica Matemática e Funções Recursivas. |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Loveland, Donald W. |
Relator term |
author. |
9 (RLIN) |
39334 |
245 10 - TITLE STATEMENT |
Title |
Three views of logic: |
Remainder of title |
mathematics, philosophy, and computer science/ |
Statement of responsibility, etc. |
Donald W. Loveland, Richard E. Hodel, S.G. Sterrett. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
Princeton, New Jersey: |
Name of producer, publisher, distributor, manufacturer |
Princeton University Press, |
Date of production, publication, distribution, manufacture, or copyright notice |
[2014] |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xv, 322 pages: |
Other physical details |
illustrations; |
Dimensions |
26 cm |
336 ## - CONTENT TYPE |
Content type term |
text |
Content type code |
txt |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
unmediated |
Media type code |
n |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
volume |
Carrier type code |
nc |
Source |
rdacarrier |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references and index. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Proof theory. |
9 (RLIN) |
37150 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computable functions. |
9 (RLIN) |
37437 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Nonclassical mathematical logic. |
9 (RLIN) |
7267 |
697 ## - LOCAL SUBJECT |
Local Subject |
Lógica e Fundamentos 02- |
Description subdivision |
Lógica Matemática e Funções Recursivas. |
Linkage |
23728 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Hodel, Richard E., |
Relator term |
author. |
9 (RLIN) |
7264 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Sterrett, Susan G., |
Relator term |
author. |
9 (RLIN) |
7265 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
Instituto de Matemática Pura e Aplicada |
Koha item type |
Books |