Der Interpolationssatz der intuitionistischen Prädikatenlogik.
- Published in:
- Mathematische Annalen, 1962, v. 148, n. 3, p. 192, doi. 10.1007/BF01470747
- By:
- Publication type:
- Article
Works matching IS 00255831 AND DT 1962 AND VI 148 AND IP 3
Results: 7
1
2
Functional completeness in the small. II. Algebraic cluster theorem.
- Published in:
- Mathematische Annalen, 1962, v. 148, n. 3, p. 173, doi. 10.1007/BF01470746
- By:
- Publication type:
- Article
3
Eine Charakterisierung der Jordan-Algebren.
- Published in:
- Mathematische Annalen, 1962, v. 148, n. 3, p. 244, doi. 10.1007/BF01470752
- By:
- Publication type:
- Article
4
Über die Identität der Sobolewschen und der Calkin-Morreyschen Räume.
- Published in:
- Mathematische Annalen, 1962, v. 148, n. 3, p. 226, doi. 10.1007/BF01470750
- By:
- Publication type:
- Article
5
A Tauberian theorem for multiple fourier series.
- Published in:
- Mathematische Annalen, 1962, v. 148, n. 3, p. 238, doi. 10.1007/BF01470751
- By:
- Publication type:
- Article
6
Turing-machines and the Entscheidungsproblem.
- Published in:
- Mathematische Annalen, 1962, v. 148, n. 3, p. 201, doi. 10.1007/BF01470748
- By:
- Publication type:
- Article
7
Beweise einiger Ergebnisse aus der Theorie der 2. Variation mehrfacher Extremalintegrale.
- Published in:
- Mathematische Annalen, 1962, v. 148, n. 3, p. 214, doi. 10.1007/BF01470749
- By:
- Publication type:
- Article