Baire space in CZF

Curi, G and Rathjen, M (2012) Baire space in CZF. In: Berger, U, Diener, H, Schuster, P and Seisenberger, M, (eds.) Logic, construction, computation. Ontos Verlag , 123 - 135. ISBN 978-3-11-032492-1

Metadata

Item Type: Book Section
Authors/Creators:
  • Curi, G
  • Rathjen, M
Editors:
  • Berger, U
  • Diener, H
  • Schuster, P
  • Seisenberger, M
Copyright, Publisher and Additional Information:

(c) 2012, De Gruyter. Reproduced in accordance with the publisher's self-archiving policy.

Dates:
  • Published: 2012
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: 12 Nov 2013 12:50
Last Modified: 11 Apr 2017 12:15
Published Version: http://www.degruyter.com/
Status: Published
Publisher: Ontos Verlag
Identification Number: 10.1515/9783110324921
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)