Review: A. A. Markov, On the Logic of Constructive Mathematics [Book Review]

Journal of Symbolic Logic 40 (1):85-85 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: A. A. Markov, A Constructive Logic. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (3):257-257.
Review: B. H. Mayoh, Groups and Semigroups with Solvable Word Problems. [REVIEW]F. B. Cannonito - 1971 - Journal of Symbolic Logic 36 (3):541-541.
Review: A. A. Markov, On Constructive Functions. [REVIEW]E. M. Fels - 1966 - Journal of Symbolic Logic 31 (2):258-258.
Markov A. A.. O logiké konstruktivnoj matématiki. Véstnik Moskovskogo Univérsiteta, Séria I, matématika, méhanika, no. 2 , pp. 7–29.Markov A. A.. On the logic of constructive mathematics. English translation of the preceding. Moscow University mathematics bulletin, vol. 25 , pp. 45–60. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
Review: A. A. Markov, On the Continuity of Constructive Functions. [REVIEW]Andrzej Ehrenfeucht - 1956 - Journal of Symbolic Logic 21 (3):319-320.
Review: A. A. Markov, B. van Rootselaar, J. F. Staal, An Approach to Constructive Mathematical Logic. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
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 , pp. 477–507. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 , pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 , pp. 63–75. [REVIEW]Charles Parsons - 1970 - Journal of Symbolic Logic 35 (1):150-150.
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75. [REVIEW]H. Hermes & H. A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (1):150-150.
Mayoh B. H.. Groups and semigroups with solvable word problems. Proceedings of the American Mathematical Society, vol. 18 , pp. 1038–1039. [REVIEW]F. B. Cannonito - 1971 - Journal of Symbolic Logic 36 (3):541-541.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,482,791)

6 months
1 (#1,723,047)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references