Constructive models
By: Yuri L. Ershov, Sergei S. Goncharov.
Contributors: Goncharov, S. S.
Series: Siberian school of algebra and logic; Sibirskai͡a shkola algebry i logiki.
Publisher: Consultants Bureau
Published: 2000
Place of publication: New York
Language: eng
Subjects: Constructive mathematics
Notes: Includes bibliographical references and index.