Advances in Proof-Theoretic Semantics
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages
Saved in:
| Format: | Online |
|---|---|
| Language: | English |
| Published: |
Springer Nature
2021
|
| Subjects: | |
| Online Access: | 1001990 |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1869515987771981824 |
|---|---|
| collection | Directory of Open Access Books |
| description | Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages |
| format | Online |
| id | doab-20.500.12854ir-35925 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-359252025-01-27T00:18:06Z Advances in Proof-Theoretic Semantics Piecha, Thomas Schroeder-Heister, Peter Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages thema EDItEUR::P Mathematics and Science thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages 2021-02-10T12:58:18Z 2018-10-01 23:55:55 2020-03-18 13:36:15 2020-04-01T12:10:41Z 2016 book 1001990 OCN: 932168519 http://library.oapen.org/handle/20.500.12657/28007 9783319226859 https://directory.doabooks.org/handle/20.500.12854/35925 eng Trends in Logic open access image/jpeg image/jpeg image/jpeg image/jpeg image/jpeg Attribution-NonCommercial 4.0 International Attribution-NonCommercial 4.0 International Attribution-NonCommercial 4.0 International Attribution-NonCommercial 4.0 International Attribution-NonCommercial 4.0 International https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf Springer Nature 10.1007/978-3-319-22686-6 10.1007/978-3-319-22686-6 9fa3421d-f917-4153-b9ab-fc337c396b5a 9783319226859 283 Cham open access |
| spellingShingle | Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages thema EDItEUR::P Mathematics and Science thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics Advances in Proof-Theoretic Semantics |
| title | Advances in Proof-Theoretic Semantics |
| title_full | Advances in Proof-Theoretic Semantics |
| title_fullStr | Advances in Proof-Theoretic Semantics |
| title_full_unstemmed | Advances in Proof-Theoretic Semantics |
| title_short | Advances in Proof-Theoretic Semantics |
| title_sort | advances in proof theoretic semantics |
| topic | Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages thema EDItEUR::P Mathematics and Science thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics |
| topic_facet | Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages thema EDItEUR::P Mathematics and Science thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics |
| url | 1001990 |