Advances in Proof-Theoretic Semantics

Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages

Bewaard in:
Bibliografische gegevens
Andere auteurs: Piecha, Thomas (Redacteur), Schroeder-Heister, Peter (Redacteur)
Formaat: Elektronisch Hoofdstuk
Taal:Engels
Gepubliceerd in: Cham Springer Nature 2016
Reeks:Trends in Logic
Onderwerpen:
Online toegang:DOAB: download the publication
DOAB: description of the publication
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

MARC

LEADER 00000naaaa2200000uu 4500
001 doab_20_500_12854_35925
005 20210210
003 oapen
006 m o d
007 cr|mn|---annan
008 20210210s2016 xx |||||o ||| 0|eng d
020 |a 978-3-319-22686-6 
020 |a 9783319226859 
040 |a oapen  |c oapen 
024 7 |a 10.1007/978-3-319-22686-6  |c doi 
041 0 |a eng 
042 |a dc 
072 7 |a P  |2 bicssc 
072 7 |a PBT  |2 bicssc 
100 1 |a Piecha, Thomas  |4 edt 
700 1 |a Schroeder-Heister, Peter  |4 edt 
700 1 |a Piecha, Thomas  |4 oth 
700 1 |a Schroeder-Heister, Peter  |4 oth 
245 1 0 |a Advances in Proof-Theoretic Semantics 
260 |a Cham  |b Springer Nature  |c 2016 
300 |a 1 electronic resource (283 p.) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Trends in Logic 
506 0 |a Open Access  |2 star  |f Unrestricted online access 
520 |a Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages 
540 |a Creative Commons  |f https://creativecommons.org/licenses/by-nc/4.0/  |2 cc  |4 https://creativecommons.org/licenses/by-nc/4.0/ 
546 |a English 
650 7 |a Mathematics & science  |2 bicssc 
650 7 |a Probability & statistics  |2 bicssc 
653 |a Logic 
653 |a Mathematical Logic and Foundations 
653 |a Mathematical Logic and Formal Languages 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf  |7 0  |z DOAB: download the publication 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf  |7 0  |z DOAB: download the publication 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf  |7 0  |z DOAB: download the publication 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/bitstream/20.500.12657/28007/1/1001990.pdf  |7 0  |z DOAB: download the publication 
856 4 0 |a www.oapen.org  |u https://directory.doabooks.org/handle/20.500.12854/35925  |7 0  |z DOAB: description of the publication