10 results
I. D. Zaslavskij. Nékotoryé svojstva konstruktivnyh v隡éstvennyh čisél i konstruktivnyh funkcij. Problémy konstruktivnogo napravléniá v matématiké, 2 (Konstruktivnyj matématčéskij analiz), Sbornik robot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 67, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 385–457.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 454
- Print publication:
- September 1975
-
- Article
- Export citation
A. A. Markov. An approach to constructive mathematical logic. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 (1971), pp. 477–507.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
- Print publication:
- March 1975
-
- Article
- Export citation
Oliver Aberth. The concept of effective method applied to computational problems of linear algebra. Journal of computer and system sciences, vol. 5 (1971), pp. 17–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1975
-
- Article
- Export citation
Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 47–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1975
-
- Article
- Export citation
A. A. Markov. O logiké konstruktivnoj matématiki. Véstnik Moskovskogo Univérsiteta, Séria I, matématika, méhanika, no. 2 (1970), pp. 7–29. - A. A. Markov. On the logic of constructive mathematics. English translation of the preceding. Moscow University mathematics bulletin, vol. 25 (1970), pp. 45–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
- Print publication:
- March 1975
-
- Article
- Export citation
Oliver Aberth. A chain of inclusion relations in computable analysis. Proceedings of the American Mathematical Society, vol. 22 (1969), pp. 539–548.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1975
-
- Article
- Export citation
Oliver Aberth. Analysis in the computable number field. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 275–299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1975
-
- Article
- Export citation
Oliver Aberth. The failure in computable analysis of a classical existence theorem for differential equations. Proceedings of the American Mathematical Society, vol. 30 (1971), pp. 151–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
- Print publication:
- March 1975
-
- Article
- Export citation
Dieter Klaua. Konstruktive Analysis. Mathematische Forschungsberichte no. 11, VEB Deutscher Verlag der Wissenschaften, Berlin1961, VIII + 160 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-155
- Print publication:
- March 1973
-
- Article
- Export citation
Robert I. Soare. Recursion theory and Dedekind cuts. Transactions of the American Mathematical Society, vol. 140 (1969), pp. 271–294. - Robert I. Soare. Cohesive sets and recursively enumerable Dedekind cuts. Pacific Journal of mathematics, vol. 31 (1969), pp. 215–231.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
- Print publication:
- March 1971
-
- Article
- Export citation