Author(s): Hendrik Pieter Barendregt
Series: Studies in logic and the foundations of mathematics 103
Edition: Rev. ed., [2nd printing]
Publisher: NH
Year: 1984
Language: English
Commentary: no p.608-609
Pages: 640