History
Year:
-
Type:
Journal
Book
Article
Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 5 from 5 total

Separable Banach space theory needs strong set existence axioms. (English)
Trans. Am. Math. Soc. 348, No.10, 4231-4255 (1996).
WorldCat.org
1
Parametrization over inductive relations of a bounded number of variables. (English)
Ann. Pure Appl. Logic 48, No.2, 103-134 (1990).
WorldCat.org
2
Some recent developments in higher recursion theory. (English)
J. Symb. Log. 48, 629-642 (1983).
WorldCat.org
3
Invisible ordinals and inductive definitions. (English)
Z. Math. Logik Grundlagen Math. 28, 137-148 (1982).
WorldCat.org
4
Modern logic — a survey. Historical, philosophical, and mathematical aspects of modern logic and its applications. (English)
Synthese Library, Vol. 149. Dordrecht, Boston, London: D. Reidel Publishing Company. VIII, 475 p. \$ 68.50; Dfl. 130.00 (1981).
WorldCat.org
5
first | previous | 1 | next | last

Result 1 to 5 from 5 total

Valid XHTML 1.0 Transitional Valid CSS!