Remarks on Barr's theorem : Proofs in geometric theories

Rathjen, M (2016) Remarks on Barr's theorem : Proofs in geometric theories. In: Probst, D and Schuster, P, (eds.) Concepts of Proof in Mathematics, Philosophy, and Computer Science. Walter de Gruyter , pp. 347-373. ISBN 978-1-5015-0262-0



  • Rathjen, M
  • Accepted: 8 March 2016
  • Published: 25 July 2016
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 30 Sep 2016 14:27
Last Modified: 04 Nov 2016 07:29
Status: Published
Publisher: Walter de Gruyter

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export