Type of document: Typescript
Language: English
Author(s): Buss, Samuel R.
Title: A Conservation Result Concerning Bounded Theories and the Collection Axiom
Year: 1985
Source: Mathematical Sciences Research Institute Berkeley, California
Pages: 1-12
Catalog