All material (C)opyright 2004 - The Automath Archive, Eindhoven University of Technology
Title: Set theory with type restrictions
Author: N.G. de Bruijn
Presented at: International Colloquium on Infinite and Finite Sets, Keszthelly, Hungary, June 1973
Printed: Infinite and Finite Sets, ed. A. Hajnal, R. Rado and Vera T. Sos, Vol I, pp. 205-214
Publishing date: 1975
Publishing location: Hungary
Pages: 10
Language: English
Browse: Click here to browse a webversion of this article
Download this article: FAX-TIFF format, zip compressed
  FAX-TIFF format, tar compressed
  PDF version
  JPG version