Author(s): A.I. Arruda, et al
Series: Studies in Logic & the Foundations of Mathematics
Publisher: Elsevier Science
Year: 1980
Language: English
Pages: 394