Constructivism in mathematics : an introduction. Volume II /
| Hlavní autor: |
Troelstra, A. S., 1939-
(
Autor )
|
|---|---|
| Další autoři: |
Dalen, D. van, 1932-
(
Autor )
|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Amsterdam :
Elsevier,
1988.
|
| Vydání: | First edition |
| Edice: |
Studies in logic and the foundations of mathematics (Elsevier)
|
| Předmět: | |
|
|