Books listed by ISBN
>
Wydawnictwo Naukowe
> Lars Hallnas
Lars Hallnas
title
ISBN-13
(ISBN-10)
year of publication
On normalization of proofs in set theory
978-83-O1-O76O4-7
(83-O1-O76O4-6)
1988
L -H
·
L. Hallnas
·
Lars Hallnäs
Lars Halvard Halle