Eintrag weiter verarbeiten
An unsolved problem in the theory of constructive order types
Gespeichert in:
Zeitschriftentitel: | Journal of Symbolic Logic |
---|---|
Personen und Körperschaften: | |
In: | Journal of Symbolic Logic, 33, 1969, 4, S. 565-567 |
Medientyp: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Cambridge University Press (CUP)
|
Schlagwörter: |