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) |
| Persistent identifiers: | DOI: 10.15496/publikation-10394 HDL: 10900/68977 URN: urn:nbn:de:bsz:21-dspace-689776 |
|---|