MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03476nam a2200457Ii 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
bcotR000295 |
| 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 |
190411s2018 nyu o 000 0 eng d |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1096331775 |
| 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 |
.M342 2018eb |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Magnus, P. D., |
| Relator term |
author. |
| 240 10 - UNIFORM TITLE |
|---|
| Uniform title |
forall x |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
forall x Calgary remix : |
| Remainder of title |
an introduction to formal logic / |
| Statement of responsibility, etc. |
by P. D. Magnus, Tim Button ; with additions by J. Robert Loftis ; remixed and revised by Aaron Thomas-Bolduc, Richard Zach. |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
forall x : |
| Remainder of title |
an introduction to formal logic, Calgary remix |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Name of producer, publisher, distributor, manufacturer |
forallx.openlogicproject.org, |
| 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 (viii, 306 pages) |
| 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 is a textbook on formal logic. The book is divided into eight parts. Part I introduces the topic and notions of logic in an informal way, without introducing a formal language yet. Parts II-IV concern truth-functional languages. In it, sentences are formed from basic sentences using a number of connectives ('or', 'and', 'not', 'if . . . then') which just combine sentences into more complicated ones. We discuss logical notions such as entailment in two ways: semantically, using the method of truth tables (in Part III) and proof-theoretically, using a system of formal derivations (in Part IV). Parts V-VII deal with a more complicated language, that of first-order logic. It includes, in addition to the connectives of truth-functional logic, also names, predicates, identity, and the so-called quantifiers. These additional elements of the language make it much more expressive than the truth-functional language, and we'll spend a fair amount of time investigating just how much one can express in it. Again, logical notions for the language of first-order logic are defined semantically, using interpretations, and proof-theoretically, using a more complex version of the formal derivation system introduced in Part IV. Part VIII covers an advanced topic: that of expressive adequacy of the truth-functional connectives"--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 |
Button, Tim, |
| Relator term |
author. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Loftis, J. Robert, |
| Relator term |
contributor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Thomas-Bolduc, Aaron, |
| Relator term |
editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Zach, Richard, |
| Relator term |
editor. |
| 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. |
| 775 08 - OTHER EDITION ENTRY |
|---|
| Relationship information |
Revision of: |
| Main entry heading |
Magnus, P. D. |
| Title |
forall x |
| Place, publisher, and date of publication |
Albany, New York : P. D. Magnus, 2017. |
| 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=b11be09f-17cf-46c7-a2ab-e5f3dd105713&contributor&keyword&subject">https://open.bccampus.ca/browse-our-collection/find-open-textbooks/?uuid=b11be09f-17cf-46c7-a2ab-e5f3dd105713&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/b11be09f-17cf-46c7-a2ab-e5f3dd105713/1/forallxyyc.pdf">http://solr.bccampus.ca:8001/bcc/file/b11be09f-17cf-46c7-a2ab-e5f3dd105713/1/forallxyyc.pdf</a> |
