Contributions to non-standard analysis /
Corporate Author: | Symposium on Non-standard Analysis Oberwolfach, Germany |
---|---|
Other Authors: | Luxemburg, W. A. J. 1929- (επιμελητής.), Robinson, Abraham 1918-1974 (επιμελητής.) |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Amsterdam :
North-Holland,
1972.
|
Series: | Studies in logic and the foundations of mathematics
69. |
Subjects: |
Similar Items
-
Non-standard analysis
by: Robinson, Abraham 1918-1974
Published: (1995) -
Non-standard analysis /
by: Robinson, Abraham 1918-1974
Published: (1974) -
Recursive analysis /
by: Goodstein, R. L. (Reuben Louis)
Published: (1961) -
Metamathematical investigation of intuitionistic arithmetic and analysis /
Published: (1973) -
Extensional Gödel functional interpretation : a consistency proof of classical analysis /
by: Luckhardt, Horst
Published: (1973)