Computational logic and the social

DOI10.1093/logcom/exu036zbMath1357.01019DBLPjournals/logcom/Martin16OpenAlexW2327370138WikidataQ55393251 ScholiaQ55393251MaRDI QIDQ5739970

Ursula Martin Webb

Publication date: 7 July 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:02f4cbaa-bcb1-4f5e-b341-1421381c2c66

zbMATH Keywords

proof systemscomputational logiclogic teaching

Mathematics Subject Classification ID

Sociology (and profession) of mathematics (01A80) Proof theory and constructive mathematics (03F99)

Related Items (2)

Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge ⋮ Enabling mathematical cultures: introduction

This page was built for publication: Computational logic and the social