Logic as a tool (Record no. 51320)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01573cam a2200313 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 19025915 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220203150410.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 160321s2016 enka b 001 0 eng c |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 2016010458 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781118880005 (cloth) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | WaSeSS/DLC |
| Language of cataloging | eng |
| Transcribing agency | WaSeSS |
| Description conventions | rda |
| Modifying agency | DLC |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | pcc |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Goranko, Valentin, |
| Relator term | author. |
| 245 10 - TITLE STATEMENT | |
| Title | Logic as a tool |
| Medium | [electronic resource] : |
| Remainder of title | a guide to formal logical reasoning / |
| Statement of responsibility, etc | Valentin Goranko. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE STATEMENTS | |
| Place of production, publication, distribution, manufacture | Chichester, UK ; |
| -- | Hoboken, NJ : |
| Name of producer, publisher, distributor, manufacturer | <a href="Wiley,">Wiley,</a> |
| Date of production, publication, distribution, manufacture | 2016. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xxii, 358 pages : |
| Other physical details | illustrations ; |
| Dimensions | 25 cm |
| 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 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references (pages [348]-350) and index. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic |
| Form subdivision | Textbooks. |
| 655 ## - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | electronic books |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Online version: |
| Main entry heading | Goranko, Valentin, author. |
| Title | Logic as a tool |
| Place, publisher, and date of publication | Chichester, UK ; Hoboken, NJ : John Wiley & Sons, 2016 |
| International Standard Book Number | 9781118880050 |
| Record control number | (DLC) 2016014532 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://drive.google.com/file/d/1xzHV-FFildcDClfFF1lJGONeQ9acKfws/view?usp=sharing">https://drive.google.com/file/d/1xzHV-FFildcDClfFF1lJGONeQ9acKfws/view?usp=sharing</a> |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
| a | 7 |
| b | cbc |
| c | orignew |
| d | 1 |
| e | ecip |
| f | 20 |
| g | y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Item type | eBooks |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Inventory number | Total Checkouts | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | BSOP Library | Digital Library | 05/08/2024 | eB-00499 | 05/08/2024 | 05/08/2024 | eBooks |
