Methods and applications of mathematical logic : (Record no. 169884)

MARC details
000 -LEADER
fixed length control field 02726nam a2200517 i 4500
001 - CONTROL NUMBER
control field EBC3113066
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240123100312.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 871229t19881988riua ob 100 0 eng|d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 0821850768 (pbk. : alk. paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780821850763
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780821876589 (e-book)
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC3113066
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL3113066
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10873229
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)922980686
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.A1
Item number L37 1985
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Edition number 19
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Latin-American Symposium on Mathematical Logic
Number of part/section/meeting (7th :
Date of meeting or treaty signing 1985 :
Location of meeting State University of Campinas),
Relator term issuing body.
245 10 - TITLE STATEMENT
Title Methods and applications of mathematical logic :
Remainder of title proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
Statement of responsibility, etc. Walter A. Carnielli and Luiz Paulo de Alcantara, editors.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Providence, Rhode Island :
Name of producer, publisher, distributor, manufacturer American Mathematical Society,
Date of production, publication, distribution, manufacture, or copyright notice [1988]
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice 1988
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (264 pages) :
Other physical details illustrations.
336 ## - CONTENT TYPE
Content type term text
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Source rdacarrier
490 1# - SERIES STATEMENT
Series statement Contemporary mathematics,
International Standard Serial Number 0271-4132 ;
Volume/sequential designation volume 69
500 ## - GENERAL NOTE
General note Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographies.
588 ## - SOURCE OF DESCRIPTION NOTE
Source of description note Description based on print version record.
590 ## - LOCAL NOTE (RLIN)
Local note Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical
Form subdivision Congresses.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Carnielli, Walter A.
Fuller form of name (Walter Alexandre),
Relator term editor.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Alcantara, Luiz Paulo de,
Dates associated with a name 1944-
Relator term editor.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Sociedade Brasileira de Logica,
Relator term issuing body.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Sociedade Brasileira de Matematica,
Relator term issuing body.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Association for Symbolic Logic,
Relator term issuing body.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Latin-American Symposium on Mathematical Logic.
Title Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985.
Place, publisher, and date of publication Providence, Rhode Island : American Mathematical Society, [1988]
Physical description xi, 250 pages ; 25 cm.
Series data for related item Contemporary mathematics ; v. 69
International Standard Book Number 9780821850763
Record control number (DLC)10873229
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Corporate name or jurisdiction name as entry element ProQuest (Firm)
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Contemporary mathematics (American Mathematical Society) ;
Volume/sequential designation v. 69.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3113066">https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3113066</a>
Public note Click to View

No items available.