MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02112nam a2200397Ii 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
bcotR000298 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20210215102214.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m u |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn|---uuuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
190411s2017 xx a ob 000 0 eng d |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1096380039 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
K6U |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
K6U |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
BC71 |
| Item number |
.S48 2017eb |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Zach, Richard, |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Sets, logic, computation : |
| Remainder of title |
an open text / |
| Statement of responsibility, etc. |
remixed by Richard Zach ; contributors, Samara Burns, Dana Hagg. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Name of producer, publisher, distributor, manufacturer |
Richard Zach, |
| 264 #2 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Name of producer, publisher, distributor, manufacturer |
BCcampus, BC Open Textbook Project |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xviii, 360 pages) colour illustrations |
| 500 ## - GENERAL NOTE |
|---|
| General note |
This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
This bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"This textbook is based on the Open Logic Project. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic"--BCcampus website. |
| 588 ## - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Description based on online resource; title from pdf title page (viewed on April 11, 2019). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic |
| Form subdivision |
Textbooks. |
| 655 #0 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Burns, Samara, |
| Relator term |
contributor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hagg, Dana, |
| Relator term |
contributor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
BC Open Textbook Project, |
| Relator term |
distributor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
BCcampus. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
BC Open Textbook Project title homepage. |
| Uniform Resource Identifier |
<a href="https://open.bccampus.ca/browse-our-collection/find-open-textbooks/?uuid=fda21686-ebee-401c-8f7d-326a37df2f30&contributor=&keyword=&subject=">https://open.bccampus.ca/browse-our-collection/find-open-textbooks/?uuid=fda21686-ebee-401c-8f7d-326a37df2f30&contributor=&keyword=&subject=</a> |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
BC Open Textbook Project. |
| Uniform Resource Identifier |
<a href="http://solr.bccampus.ca:8001/bcc/file/fda21686-ebee-401c-8f7d-326a37df2f30/1/phil379-screen.pdf">http://solr.bccampus.ca:8001/bcc/file/fda21686-ebee-401c-8f7d-326a37df2f30/1/phil379-screen.pdf</a> |
