Proof and disproof in formal logic : (Record no. 2883974)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
        E-Books EBSCO OPJGU Sonepat- Campus OPJGU Sonepat- Campus 12/07/2022   12/07/2022 12/07/2022 Electronic-Books

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies   |   Maintained by: Global Library