MARC details
000 -LEADER |
fixed length control field |
04433cam a22008534a 4500 |
001 - CONTROL NUMBER |
control field |
ocm64668437 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220712194038.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr cnu---unuuu |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
060314s2005 enka o 001 0 eng d |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2005019564 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
N$T |
Language of cataloging |
eng |
Description conventions |
pn |
Transcribing agency |
N$T |
Modifying agency |
OCLCQ |
-- |
YDXCP |
-- |
OCLCQ |
-- |
OCLCG |
-- |
OCLCQ |
-- |
TUU |
-- |
OCLCQ |
-- |
MT4IT |
-- |
QE2 |
-- |
IDEBK |
-- |
CN5CF |
-- |
OCLCQ |
-- |
OCLCF |
-- |
OCLCO |
-- |
OCLCQ |
-- |
INTCL |
-- |
AGLDB |
-- |
PIFBR |
-- |
OCLCQ |
-- |
JBG |
-- |
WY@ |
-- |
LUE |
-- |
STF |
-- |
VTS |
-- |
CEF |
-- |
YDX |
-- |
EBLCP |
-- |
LHU |
-- |
CANPU |
-- |
BRX |
-- |
OCLCQ |
-- |
CNTRU |
-- |
OCLCQ |
-- |
K6U |
-- |
SFB |
-- |
UKSSU |
-- |
OCLCO |
019 ## - |
-- |
150348981 |
-- |
252637578 |
-- |
455973042 |
-- |
755659332 |
-- |
814476046 |
-- |
824558940 |
-- |
991996515 |
-- |
1044246402 |
-- |
1044620526 |
-- |
1056368423 |
-- |
1056385236 |
-- |
1078864130 |
-- |
1097280506 |
-- |
1125437779 |
-- |
1136331139 |
-- |
1154850610 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
142375722X |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781423757221 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9786610759002 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
6610759006 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780198530275 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0198530277 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
0198530277 |
Qualifying information |
(Paper) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1280759003 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781280759000 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0198530269 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780198530268 |
024 3# - OTHER STANDARD IDENTIFIER |
Standard number or code |
9780198530275 |
024 3# - OTHER STANDARD IDENTIFIER |
Standard number or code |
9780198530268 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000051588360 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV043097332 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
422283320 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)64668437 |
Canceled/invalid control number |
(OCoLC)150348981 |
-- |
(OCoLC)252637578 |
-- |
(OCoLC)455973042 |
-- |
(OCoLC)755659332 |
-- |
(OCoLC)814476046 |
-- |
(OCoLC)824558940 |
-- |
(OCoLC)991996515 |
-- |
(OCoLC)1044246402 |
-- |
(OCoLC)1044620526 |
-- |
(OCoLC)1056368423 |
-- |
(OCoLC)1056385236 |
-- |
(OCoLC)1078864130 |
-- |
(OCoLC)1097280506 |
-- |
(OCoLC)1125437779 |
-- |
(OCoLC)1136331139 |
-- |
(OCoLC)1154850610 |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
BC173 |
Item number |
.B67 2005eb |
055 13 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA |
Classification number |
BC173 |
Item number |
.B67 2005eb |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
PHI |
Subject category code subdivision |
011000 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
160 |
Edition number |
22 |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
MAIN |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Bornat, Richard, |
Dates associated with a name |
1944- |
9 (RLIN) |
1366598 |
245 10 - TITLE STATEMENT |
Title |
Proof and disproof in formal logic : |
Remainder of title |
an introduction for programmers / |
Statement of responsibility, etc |
Richard Bornat. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Oxford ; |
-- |
New York : |
Name of publisher, distributor, etc |
Oxford University Press, |
Date of publication, distribution, etc |
2005. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (xix, 243 pages) : |
Other physical details |
illustrations. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
490 1# - SERIES STATEMENT |
Series statement |
Oxford texts in logic ; |
Volume number/sequential designation |
2 |
500 ## - GENERAL NOTE |
General note |
Includes index. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Basics -- Formal proof -- Disproof -- Proof of programs. |
588 0# - |
-- |
Print version record. |
520 ## - SUMMARY, ETC. |
Summary, etc |
"Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic that provides an excellent insight into how a simple logic works. The text concentrates on practical skills: making proofs and disproofs of particular logical claims. The logic it employs - Natural Deduction - is very small and very simple and teaches the student how to focus on syntactic reasoning." "Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text shows how to make proofs and disproofs in Jape, an interactive easy-to-use logic calculator designed and hosted by the author that is freely available on the web."--Jacket. |
546 ## - LANGUAGE NOTE |
Language note |
English. |
590 ## - LOCAL NOTE (RLIN) |
Local note |
eBooks on EBSCOhost |
Provenance (VM) [OBSOLETE] |
EBSCO eBook Subscription Academic Collection - Worldwide |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Evidence. |
9 (RLIN) |
58481 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logic, Modern. |
9 (RLIN) |
209474 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Évidence. |
9 (RLIN) |
872876 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
PHILOSOPHY |
General subdivision |
Logic. |
Source of heading or term |
bisacsh |
9 (RLIN) |
901006 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Evidence. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00917177 |
9 (RLIN) |
58481 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logic, Modern. |
Source of heading or term |
fast |
-- |
(OCoLC)fst01002066 |
9 (RLIN) |
209474 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Mathematics. |
Source of heading or term |
hilcc |
9 (RLIN) |
37903 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Philosophy. |
Source of heading or term |
hilcc |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Philosophy & Religion. |
Source of heading or term |
hilcc |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Physical Sciences & Mathematics. |
Source of heading or term |
hilcc |
9 (RLIN) |
529134 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logic. |
Source of heading or term |
hilcc |
9 (RLIN) |
71481 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Mathematical Theory. |
Source of heading or term |
hilcc |
9 (RLIN) |
983590 |
655 #0 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
655 #4 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Print version: |
Main entry heading |
Bornat, Richard, 1944- |
Title |
Proof and disproof in formal logic. |
Place, publisher, and date of publication |
Oxford ; New York : Oxford University Press, 2005 |
International Standard Book Number |
0198530277 |
-- |
0198530269 |
Record control number |
(DLC) 2005019564 |
-- |
(OCoLC)61179513 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Oxford texts in logic ; |
Volume number/sequential designation |
2. |
9 (RLIN) |
202053 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=150234">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=150234</a> |
938 ## - |
-- |
ProQuest Ebook Central |
-- |
EBLB |
-- |
EBL5597961 |
938 ## - |
-- |
EBSCOhost |
-- |
EBSC |
-- |
150234 |
938 ## - |
-- |
ProQuest MyiLibrary Digital eBook Collection |
-- |
IDEB |
-- |
75900 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
15854047 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
2405018 |
994 ## - |
-- |
92 |
-- |
INOPJ |