Items where authors include "Curi, G"
Up a levelJump to: Book Section
Number of items: 1.
Book Section
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