Concepts of Proof in Mathematics, Philosophy, and Computer Science (Record no. 47024)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02227nam a2200373 i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | UDJG |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | a||||go|||| 001 0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr aa aaaaaaaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 210318t2016 gw ||go|||| 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781501502620 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | UDJG |
| Language of cataloging | rum |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 245 10 - TITLE STATEMENT | |
| Title | Concepts of Proof in Mathematics, Philosophy, and Computer Science |
| Medium | [online] / |
| Statement of responsibility, etc. | ed. Dieter Probst, Peter Schuster |
| 260 ## - Date publicare | |
| Place of publication, distribution, etc. | Berlin : |
| Name of publisher, distributor, etc. | De Gruyter, |
| Date of publication, distribution, etc. | 2016 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 resursă online |
| -- | (374 p.) |
| 490 ## - SERIES STATEMENT | |
| Series statement | Ontos Mathematical Logic, |
| Volume/sequential designation | 6 |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | Frontmatter |
| -- | Preface<br/> |
| -- | Contents |
| -- | Introduction |
| -- | Herbrand Confluence for First-Order Proofs with Π2-Cuts |
| -- | Proof-Oriented Categorical Semantics |
| -- | Logic for Gray-code Computation |
| -- | The Continuum Hypothesis Implies Excluded Middle |
| -- | Theories of Proof-Theoretic Strength Ψ (ΓΩ +1) |
| -- | Some Remarks about Normal Rings |
| -- | On Sets of Premises |
| -- | Non-Deterministic Inductive Definitions and Fullness |
| -- | Cyclic Proofs for Linear Temporal Logic |
| -- | Craig Interpolation via Hypersequents |
| -- | A General View on Normal Form Theorems for Łukasiewicz Logic with Product |
| -- | Relating Quotient Completions via Categorical Logic |
| -- | Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics |
| -- | Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction |
| -- | Hilbert’s Programme and Ordinal Analysis |
| -- | Aristotle’s Deductive Logic: a Proof-Theoretical Study |
| -- | Remarks on Barr’s Theorem: Proofs in Geometric Theories |
| 536 ## - FUNDING INFORMATION NOTE | |
| Text of note | Achiziție prin proiectul Anelis Plus 2020. |
| 648 ## - SUBJECT ADDED ENTRY--CHRONOLOGICAL TERM | |
| Source of heading or term | UDJG |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Source of heading or term | UDJG |
| Topical term or geographic name as entry element | DE-Matematică |
| 9 (RLIN) | 585 |
| 651 ## - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME | |
| Source of heading or term | UDJG |
| 655 ## - INDEX TERM--GENRE/FORM | |
| Source of term | UDJG |
| 690 #7 - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Source of heading or term | UDJG |
| 9 (RLIN) | 35248 |
| Topical term or geographic name as entry element | cărți electronice |
| 690 #7 - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Source of heading or term | udjg |
| Topical term or geographic name as entry element | cărți achiziții |
| 9 (RLIN) | 3407 |
| 690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Source of heading or term | udjg |
| Topical term or geographic name as entry element | cărți străine |
| 9 (RLIN) | 102 |
| 690 #7 - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Source of heading or term | udjg |
| 9 (RLIN) | 11337 |
| Topical term or geographic name as entry element | logică matematică |
| 690 #7 - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Source of heading or term | udjg |
| 9 (RLIN) | 732 |
| Topical term or geographic name as entry element | matematică |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | PROBST, Dieter |
| Relator term | ed. |
| 9 (RLIN) | 42152 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | SCHUSTER, Peter |
| Relator term | ed. |
| 9 (RLIN) | 42153 |
| 856 41 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://www-degruyter-com.am.e-nformation.ro/document/doi/10.1515/9781501502620/html">https://www-degruyter-com.am.e-nformation.ro/document/doi/10.1515/9781501502620/html</a> |
| Public note | Acces la textul integral numai din contul de acces mobil. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Universal Decimal Classification |
| Koha item type | E-Books |
No items available.