| 000 -LEADER |
|---|
| fixed length control field |
01871nam a2200409 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ebr11247831 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
MiAaPQ |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
160903t20162016gw a ob 000 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Cancelled/invalid ISBN |
9781501510809 |
|
|---|
| International Standard Book Number |
9781501502620 (e-book) |
|
|---|
| Cancelled/invalid ISBN |
9781501502644 (EPUB) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
MiAaPQ |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
MiAaPQ |
| Modifying agency |
MiAaPQ |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9.54 |
| Item number |
.C663 2016eb |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.3/6 |
| Edition number |
23 |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Concepts of proof in mathematics, philosophy, and computer science / |
| Statement of responsibility, etc |
edited by Dieter Probst and Peter Schuster. |
| 264 #1 - |
|---|
| -- |
Berlin, [Germany] ; |
| -- |
Boston, [Massachusetts] : |
| -- |
De Gruyter, |
| -- |
2016. |
|
|---|
| -- |
�2016 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (384 pages) : |
| Other physical details |
illustrations, tables. |
| 336 ## - |
|---|
| -- |
text |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Ontos Mathematical Logic, |
| International Standard Serial Number |
2198-2341 ; |
| Volume number/sequential designation |
Volume 6 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references at the end of each chapters. |
| 588 ## - |
|---|
| -- |
Description based on print version record. |
| 590 ## - LOCAL NOTE (RLIN) |
|---|
| Local note |
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Proof theory. |
|
|---|
| Topical term or geographic name as entry element |
Mathematics. |
|
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Print version: |
| Title |
Concepts of proof in mathematics, philosophy, and computer science. |
| Place, publisher, and date of publication |
Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, c2016 |
| Physical description |
x, 374 pages |
| Series data for related item |
Ontos Mathematical Logic ; Volume 6 |
| International Standard Serial Number |
2198-2341 |
| International Standard Book Number |
9781501510809 |
| Record control number |
2016030276 |
| 797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN) |
|---|
| Corporate name or jurisdiction name as entry element |
ProQuest (Firm) |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Ontos mathematical logic ; |
| Volume number/sequential designation |
Volume 6. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://site.ebrary.com/lib/kliuc/Doc?id=11247831 |
| Public note |
An electronic book accessible through the World Wide Web; click to view |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Koha item type |
E-book |
