1001990.pdf
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages
Γλώσσα: | English |
---|---|
Έκδοση: |
Springer Nature
2018
|
Διαθέσιμο Online: | http://link.springer.com/book/10.1007/978-3-319-22686-6 |
id |
oapen-20.500.12657-28007 |
---|---|
record_format |
dspace |
spelling |
oapen-20.500.12657-280072023-02-01T14:39:22Z Advances in Proof-Theoretic Semantics Piecha, Thomas Schroeder-Heister, Peter Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages bic Book Industry Communication::P Mathematics & science bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBT Probability & statistics Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages 2018-10-01 23:55:55 2020-03-18 13:36:15 2020-04-01T12:10:41Z 2020-04-01T12:10:41Z 2016 book 1001990 OCN: 932168519 9783319226859 http://library.oapen.org/handle/20.500.12657/28007 eng Trends in Logic application/pdf Attribution-NonCommercial 4.0 International 1001990.pdf http://link.springer.com/book/10.1007/978-3-319-22686-6 Springer Nature 10.1007/978-3-319-22686-6 10.1007/978-3-319-22686-6 6c6992af-b843-4f46-859c-f6e9998e40d5 9783319226859 43 283 Cham open access |
institution |
OAPEN |
collection |
DSpace |
language |
English |
description |
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages |
title |
1001990.pdf |
spellingShingle |
1001990.pdf |
title_short |
1001990.pdf |
title_full |
1001990.pdf |
title_fullStr |
1001990.pdf |
title_full_unstemmed |
1001990.pdf |
title_sort |
1001990.pdf |
publisher |
Springer Nature |
publishDate |
2018 |
url |
http://link.springer.com/book/10.1007/978-3-319-22686-6 |
_version_ |
1771297564965994496 |