Author(s): A. S. Troelstra and D. van Dalen
Series: Studies in Logic and the Foundations of Mathematics 123
Edition: 1
Publisher: Elsevier Science
Year: 1988
Language: English
Pages: 606