|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Approximation to measurable functions and its relation to probabilistic computation |
Ko, Ker-I |
1986 |
30 | 2 |
p. 173-200 28 p. |
artikel |
|
| 2 | Diagonalization of continuous matrices as a representation of intuitionistic reals |
Scedrov, Andre |
1986 |
30 | 2 |
p. 201-206 6 p. |
artikel |
|
| 3 | Intersections of algebraically closed fields |
Ash, C.J. |
1986 |
30 | 2 |
p. 103-119 17 p. |
artikel |
|
| 4 | Intuitionistically provable recursive well-orderings |
Friedman, Harvey M. |
1986 |
30 | 2 |
p. 165-171 7 p. |
artikel |
|
| 5 | On elementary properties of free lie algebras |
Baudisch, Andreas |
1986 |
30 | 2 |
p. 121-136 16 p. |
artikel |
|
| 6 | Undecidability of some elementary theories over pac fields |
Cherlin, Gregory |
1986 |
30 | 2 |
p. 137-163 27 p. |
artikel |
6 gevonden resultaten