General Proof Theory: celebrating 50 Years of Dag Prawitz's "Natural Deduction" : proceedings of the Conference held in Tübingen, 27-29 November 2015
| Körperschaft: | |
|---|---|
| Beteiligte: | ; |
| Medienart: | Elektronisch Buch |
| Sprache: | Englisch |
| Verfügbarkeit prüfen: | HBZ Gateway |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Veröffentlicht: |
Tübingen
Universitätsbibliothek Tübingen
2016
|
| In: | Jahr: 2016 |
| weitere Schlagwörter: | B
Logik
B Beweistheorie B Deduktion B Kategorientheorie B Beweis B Konferenzschrift |
| Online Zugang: |
Volltext (Resolving-System) Volltext (Resolving-System) Volltext (kostenfrei) |
MARC
| LEADER | 00000cam a2200000 4500 | ||
|---|---|---|---|
| 001 | 1656000644 | ||
| 003 | DE-627 | ||
| 005 | 20230612180650.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 160324s2016 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a urn:nbn:de:bsz:21-dspace-689776 |2 urn | |
| 024 | 7 | |a 10.15496/publikation-10394 |2 doi | |
| 024 | 7 | |a 10900/68977 |2 hdl | |
| 035 | |a (DE-627)1656000644 | ||
| 035 | |a (DE-576)46278231X | ||
| 035 | |a (DE-599)BSZ46278231X | ||
| 035 | |a (OCoLC)946563687 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 082 | 0 | 4 | |a 004 |a 100 |a 510 |
| 084 | |a 1 |2 ssgn | ||
| 111 | 2 | |j VerfasserIn |0 (DE-588)1093875704 |0 (DE-627)853893942 |0 (DE-576)462783170 |4 aut |a General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction" |d 2015 |c Tübingen | |
| 245 | 1 | 0 | |a General Proof Theory |b celebrating 50 Years of Dag Prawitz's "Natural Deduction" : proceedings of the Conference held in Tübingen, 27-29 November 2015 |c edited by Thomas Piecha, Peter Schroeder-Heister |
| 264 | 1 | |a Tübingen |b Universitätsbibliothek Tübingen |c 2016 | |
| 300 | |a 1 Online-Ressource (290 Seiten) | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 583 | 1 | |a Archivierung/Langzeitarchivierung gewährleistet |f SSG |2 pdager |5 DE-21 | |
| 601 | |a General | ||
| 601 | |a Tübingen | ||
| 650 | 0 | 7 | |0 (DE-588)4036202-4 |0 (DE-627)106243772 |0 (DE-576)209017082 |a Logik |2 gnd |
| 650 | 0 | 7 | |0 (DE-588)4132532-1 |0 (DE-627)105687006 |0 (DE-576)209636378 |a Beweis |2 gnd |
| 650 | 0 | 7 | |0 (DE-588)4145177-6 |0 (DE-627)105592897 |0 (DE-576)209739452 |a Beweistheorie |2 gnd |
| 650 | 0 | 7 | |0 (DE-588)4120552-2 |0 (DE-627)105775703 |0 (DE-576)209536063 |a Kategorientheorie |2 gnd |
| 650 | 0 | 7 | |0 (DE-588)4011271-8 |0 (DE-627)104313277 |0 (DE-576)208892656 |a Deduktion |2 gnd |
| 655 | 7 | |a Konferenzschrift |0 (DE-588)1071861417 |0 (DE-627)826484824 |0 (DE-576)433375485 |2 gnd-content | |
| 700 | 1 | |e HerausgeberIn |0 (DE-588)1081844205 |0 (DE-627)846736179 |0 (DE-576)454839138 |4 edt |a Piecha, Thomas | |
| 700 | 1 | |e HerausgeberIn |0 (DE-588)112409156 |0 (DE-627)691148244 |0 (DE-576)349874662 |4 edt |a Schroeder-Heister, Peter |d 1953- | |
| 710 | 2 | |e Gastgebende Institution |0 (DE-588)508527-5 |0 (DE-627)101342055 |0 (DE-576)191098051 |4 his |a Eberhard Karls Universität Tübingen |b Philosophische Fakultät | |
| 856 | 4 | 0 | |u http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-689776 |q application/pdf |x Resolving-System |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u http://dx.doi.org/10.15496/publikation-10394 |x Resolving-System |3 Volltext |
| 856 | 4 | 0 | |u http://hdl.handle.net/10900/68977 |x Resolving-System |3 Volltext |
| 951 | |a BO | ||
| ACO | |a 1 | ||
| ELC | |a 1 | ||
| ITA | |a 1 |t 1 | ||
| LOK | |0 000 xxxxxcx a22 zn 4500 | ||
| LOK | |0 001 3384548248 | ||
| LOK | |0 003 DE-627 | ||
| LOK | |0 004 1656000644 | ||
| LOK | |0 005 20160324124751 | ||
| LOK | |0 008 160324||||||||||||||||ger||||||| | ||
| LOK | |0 040 |a DE-21 |c DE-627 |d DE-21 | ||
| LOK | |0 689 |a s |a Logic | ||
| LOK | |0 689 |a s |a Proof | ||
| LOK | |0 689 |a s |a Proof Theory | ||
| LOK | |0 689 |a s |a Categorial Logic | ||
| LOK | |0 689 |a s |a Category Theory | ||
| LOK | |0 689 |a s |a Deduction | ||
| LOK | |0 689 |a s |a Proof-Theoretic Semantics | ||
| LOK | |0 689 |a s |a Dag Prawitz | ||
| LOK | |0 852 |a DE-21 | ||
| LOK | |0 852 1 |9 00 | ||
| LOK | |0 85640 |u http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-689776 | ||
| LOK | |0 866 |x #a#Piecha, Thomas; Schroeder-Heister, Peter#/a# | ||
| LOK | |0 935 |a opus | ||
| LOK | |0 938 |a 1603 |f 57 |f f7 | ||
| OAS | |a 1 | ||
| ORI | |a TA-MARC-ixtheoa001.raw | ||
| REL | |a 1 | ||
| STA | 0 | 0 | |a Deduction,Logic,Philosophical logic,Proof,Proof theory,Theory of categories |
| STB | 0 | 0 | |a Déduction,Logique,Preuve,Théorie de la démonstration,Théorie des catégories |
| STC | 0 | 0 | |a Deducción,Lógica,Prueba,Teoría de la demonstración,Teoría de las categorias |
| STD | 0 | 0 | |a Deduzione,Logica,Prova,Teoria della dimostrazione,Teoria delle categorie |
| STE | 0 | 0 | |a 演绎推理,演绎,演绎法,证据,论证,证明,逻辑,推理,推论 |
| STF | 0 | 0 | |a 演繹推理,演繹,演繹法,范畴论,證據,論證,證明,邏輯,推理,推論 |
| STG | 0 | 0 | |a Dedução,Lógica,Prova,Teoria da demonstração,Teoria das categorias |
| STH | 0 | 0 | |a Дедукция,Доказательство,Логика,Теория доказательств,Теория о категориях |
| STI | 0 | 0 | |a Αποδεικτική θεωρία,Θεωρία απόδειξης,Απόδειξη,Αποδεικτικό στοιχείο,Επαγωγή,Θεωρία των κατηγοριών,Λογική |
| SUB | |a REL | ||
| SYE | 0 | 0 | |a Philosophische Logik , Demonstratio quia,Demonstratio propter quid,Beweise |