Contributions to non-standard analysis /
Συγγραφή απο Οργανισμό/Αρχή: | Symposium on Non-standard Analysis Oberwolfach, Germany |
---|---|
Άλλοι συγγραφείς: | Luxemburg, W. A. J. 1929- (επιμελητής.), Robinson, Abraham 1918-1974 (επιμελητής.) |
Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North-Holland,
1972.
|
Σειρά: | Studies in logic and the foundations of mathematics
69. |
Θέματα: |
Παρόμοια τεκμήρια
-
Non-standard analysis /
ανά: Robinson, Abraham 1918-1974
Έκδοση: (1974) -
Non-standard analysis
ανά: Robinson, Abraham 1918-1974
Έκδοση: (1995) -
Recursive analysis /
ανά: Goodstein, R. L. (Reuben Louis)
Έκδοση: (1961) -
Metamathematical investigation of intuitionistic arithmetic and analysis /
Έκδοση: (1973) -
Extensional Gödel functional interpretation : a consistency proof of classical analysis /
ανά: Luckhardt, Horst
Έκδοση: (1973)