Internet, http://authorities.loc.gov, 2014-02-12
Information trouvée : en poste à Chalmers Univ. of Technology, Dept. of Computer Sci. (en 1992) ; né le
1950-04-08
Internet, http://www.ams.org/mathscinet, 2014-02-12
Information trouvée : forme bibliogr. : Hallnäs, Lars
On normalization of proofs in set theory / Lars Hallnäs, 1988