Konstruktiv mängdteori
Report, 1998
Author
Peter Ljunglöf
Department of Mathematics
University of Gothenburg
Subject Categories
Algebra and Logic