Mazur S.. Computable analysis, edited by Grzegorczyk A. and Rasiowa H., Rozprawy matematyczne no. 33, Państwowe Wydawnictwo Naukowe, Warsaw 1963, 111 pp [Book Review]

Journal of Symbolic Logic 36 (1):148-150 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271528

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

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

Rieger L.. On the consistency of the generalized continuum hypothesis. Rozprawy matematyczne no. 31. Państwowe Wydawnictwo Naukowe, Warsaw 1963, 45 pp. [REVIEW]F. R. Drake - 1973 - Journal of Symbolic Logic 38 (1):153-153.
A. Mostowski, with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski. Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Die Hauptreferate des 8. Polnischen Mathematikerkongresses vom 6. bis 12. September 1953 in Warschau, Deutscher Verlag der Wissenschaften, Berlin1955, pp. 11–44. - Andrzej Mostowski, in collaboration with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, and R. Sikorski. The present state of investigations on the foundations of mathematics. English translation. Rozprawy matematyczne no. 9. Państwowe Wydawnictwo Naukowe, Warsaw1955, 48 pp. - A. Mostowski, with participation of A. Grzegorczyk, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski, and S. Jaśkowski. Sovréménnoé sostoánié isslédovanij po osnovaniám matématiki. Russian translation. Uspéhi matématičéskih nauk, vol. 9 no. 3 , pp. 3–38. [REVIEW]Leon Henkin - 1956 - Journal of Symbolic Logic 21 (4):372-373.
Foreword. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 , pp. 1–2. - A. Mostowski and J. Łoś. I. Foundations of mathematics, theory of sets and mathematical logic. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 , pp. 4–17. - S. Drobot and S. Straszewicz. XI. History, teaching, popularization and organization of mathematics. Bibliog. [REVIEW]Alonzo Church - 1966 - Journal of Symbolic Logic 31 (3):517-517.
Greniewski Henryk. Elementy logiki indukcji . Państwowe Wydawnictwo Naukowe, Warsaw 1955, 90 pp. [REVIEW]Zbigniew Czerwiński - 1958 - Journal of Symbolic Logic 23 (1):77-78.
Grzegorczyk Andrzej. O pewnych formalnych konsekwencjach reizmu . Fragmenty filozoficzne, seria druga, Ksiȩga pamia̧tkowa ku uczczeniu czterdziestolecia pracy nauczycielskiej w Uniwersytecie Warszawskim Profesora Tadeusza Kotarbinskiego, Państwowe Wydawnictwo Naukowe, Warsaw 1959, pp. 7–14. [REVIEW]C. Lejewski - 1973 - Journal of Symbolic Logic 38 (3):536-536.
Kotarbiński Tadeusz. Kurs logiki dla prawników . Państwowe Wydawnictwo Naukowe, Warsaw 1953, 194 pp. [REVIEW]H. Hiż - 1954 - Journal of Symbolic Logic 19 (2):149-149.
Tadeusz Kubiński. Wstęp do logicznej teorii pytań . Państwowe Wydawnictwo Naukowe, Warsaw 1971 , 116 pp. [REVIEW]Pavel Materna - 1977 - Journal of Symbolic Logic 42 (3):426-428.
L. Henkin. Some remarks on infinitely long formulas. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 167–183. - Carol R. Karp. Independence proofs in predicate logic with infinitely long expressions. The journal of symbolic logic, vol. 27 no. 2 , pp. 171–188. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):96-97.
Kalmár L.. A practical infinitistic computer. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 347–362. [REVIEW]William E. Gould - 1969 - Journal of Symbolic Logic 34 (3):510-510.

Analytics

Added to PP
2013-11-03

Downloads
70 (#311,921)

6 months
8 (#390,329)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Denjoy, Demuth and density.Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller & André Nies - 2014 - Journal of Mathematical Logic 14 (1):1450004.

Add more citations

References found in this work

No references found.

Add more references