Constructive set theory and Brouwerian principles

Rathjen, M (2005) Constructive set theory and Brouwerian principles. Journal of Universal Computer Science, 11 (12). 2008 - 2033. ISSN 0948-695X

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
Copyright, Publisher and Additional Information: (c) 2005, Graz University of Technology, Institut für Informationssysteme und Computer Medien. Reproduced in accordance with the publisher's self-archiving policy.
Keywords: Constructive set theory; Brouwerian principles; Partial combinatory algebra; Realizability
Dates:
  • Published: 2005
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 25 Oct 2013 10:32
Last Modified: 15 Sep 2014 02:50
Published Version: http://dx.doi.org/10.3217/jucs-011-12-2008
Status: Published
Publisher: Graz University of Technology, Institut für Informationssysteme und Computer Medien
Identification Number: https://doi.org/10.3217/jucs-011-12-2008

Share / Export

Statistics