著者
書誌事項
Report
Department of Mathematics, University of Amsterdam
この図書・雑誌をさがす
-
1
- Inverse approximation theorems of Lebedev and Tamrazov
-
by L. Bijvoets, W. Hogeveen and J. Korevaar
Department of Mathematics, University of Amsterdam 1980 Report 80-06
-
2
- A supplement to "Choice sequences"
-
by A.S. Troelstra
University of Amsterdam. Mathematisch Instituut 1979 Report 79-04
所蔵館1館
-
3
- Intuitionistic extensions on the reals
-
by A.S. Troelstra
University of Amsterdam. Mathematisch Instituut 1979 Report 79-08
所蔵館1館
-
4
- The interplay between logic and mathematics : intuitionism
-
by A.S. Troelstra
University of Amsterdam. Mathematisch Instituut 1979 Report 79-01
所蔵館1館
-
5
- On the degree of incompleteness of modal logics and the covering relation in the lattice of modal logics
-
by W. J. Blok
Department of Mathematics, University of Amsterdam 1978 Report 78-07
所蔵館1館
-
6
- Constructivizing results obtained for intuitionistic formal systems by means of classical semantics
-
by A.S. Troelstra
University of Amsterdam. Mathematisch Instituut 1977 Report 77-08
所蔵館1館
-
7
- The lattice of varieties of modal algebras is not strongly atomic
-
by W. J. Blok
Department of Mathematics, University of Amsterdam 1977 Report 77-16
-
8
- An axiomatization of the modal theory of the veiled recession frame
-
by W. J. Blok
Department of Mathematics, University of Amsterdam 1977 Report 77-17
-
9
- Modal logic as second-order logic
-
by J. F. A. K. van Benthem
Department of Mathematics, University of Amsterdam 1977 Report 77-04
所蔵館1館
-
10
- Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
-
by Michael J. Beeson
Department of Mathematics, University of Amsterdam 1977 Report 77-10
-
11
- On the area of harmonic surfaces
-
by M. Beeson
Department of Mathematics, University of Amsterdam 1977 revised ed. Report 77-11
所蔵館1館
-
12
- Continuity in intuitionistic set theories
-
by M. Beeson
Department of Matematics, University of Amsterdam 1977 Report 77-06
-
13
- Two notes on intuitionistic analysis
-
by A.S. Troelstra
University of Amsterdam, Mathematisch Instituut 1976 Report 76-04
所蔵館1館
-
14
- Max-infinite divisibility
-
by A. A. Balkema and S. I. Resnick
Department of Mathematics, University of Amsterdam 1976 Report 76-12
-
15
- Goodman's theorem and beyond
-
by Michael Beeson
Department of Mathematics, University of Amsterdam [1976] Report 76-21
-
16
- Extensionality and choice in constructive mathematics
-
by M. J. Beeson
Department of Mathematics, University of Amsterdam [1976] Report 76-22
-
17
- Varieties of interior algebras
-
W. J. Blok
University of Amsterdam, Department of Mathematics 1976 Report 76-13
所蔵館1館
-
18
- Introduction to the classification theory of algebraic surfaces
-
by Kenji Ueno
University of Amsterdam, Mathematisch Institut 1975 Report 75-01
所蔵館1館
-
19
- Two papers on functional iterated logarithm laws
-
by Wim Vervaat
University of Amsterdam. Instituut voor Toepassignen van de Wiskunde 1975 Report 75-05
所蔵館1館
-
20
- Consistency and related metamathematical properties
-
by C. Smorynski
University of Amsterdam. Mathematisch Instituut 1975 Report 75-02
所蔵館1館