Items where authors include "Curi, G"

Jump 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

This list was generated on Tue Apr 1 18:55:42 2025 BST.