Concepts of Proof in Mathematics, Philosophy, and Computer Science

TitleConcepts of Proof in Mathematics, Philosophy, and Computer Science
Publication TypeBook
Year of Publication2016
Series EditorProbst, D, Schuster, P
Series TitleOntos Mathematical Logic
PublisherWalter De Gruyter Incorporated
ISBN Number9781501510809