000 00743nmm a2200229Ia 4500
001 EBB77955
005 20250803145532.0
008 250803s9999||||xx |||||||||||||||||und||
020 _a9781501510809
041 _aeng
100 _aDieter Probst-Peter Schuster
245 0 _aConcepts of Proof in Mathematics, Philosophy, and Computer Science
260 _bDe Gruyter
260 _c2016
490 _aOntos Mathematical Logic
650 _a Epistemology
650 _aLogic, Symbolic and mathematical.,Mathematics.,Proof theory.
650 _aPHILOSOPHY
856 _3Click here to access online
856 _uhttps://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=1336471
942 _cEBK
999 _c279453
_d279453