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
Pages: 642