Helena Rasiowa and Roman Sikorski. The mathematics of metamathematics. Monografie matematyczne, vol. 41. Państwowe Wydawnictwo Naukowe, Warsaw1963, 519 pp [Book Review]

Journal of Symbolic Logic 32 (2):274-275 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271701

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Mazur S.. Computable analysis, edited by Grzegorczyk A. and Rasiowa H., Rozprawy matematyczne no. 33, Państwowe Wydawnictwo Naukowe, Warsaw 1963, 111 pp. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
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.
Review: Helena Rasiowa, Roman Sikorski, The Mathematics of Metamathematics. [REVIEW]Donald Monk - 1967 - Journal of Symbolic Logic 32 (2):274-275.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
Gregorowicz Jan. Zarys logiki dla prawników . Państwowe Wydawnictwo Naukowe, Łódź-Warszawa 1955, 136 pp.Wolter Władisław. Elementy logiki. Wykład dla prawników. . Second edition. Mimeographed. Państwowe Wydawnictwo Naukowe, Kraków 1951, 310 pp.Ziembiński Zygmunt. Zbiór zadań z logiki dla studentów prawa . Mimeographed. Państwowe Wydawnictwo Naukowe, Poznań 1954, 91 pp.Ziembiński Zygmunt. Logika praktyczna . Mimeographed. Poznań University, Poznań 1956, 214 pp. [REVIEW]Zdzisław Kraszewski - 1958 - Journal of Symbolic Logic 23 (1):73-74.
Helena Rasiowa. Wstęp do matematyki współczesnej. Third edition. Biblioteka matematyczna, vol. 30. Polısh original of the foregoing. Państwowe Wydawnictwo Naukowe, Warsaw1971, 302 pp. - Rózsa Peter. Rekursive Funktionen in der Komputer-Theorie. Akadémiai Kiadó, Budapest1976, 190 pp. [REVIEW]Hans Hermes - 1978 - Journal of Symbolic Logic 43 (1):154.
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.
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.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Sikorski Roman. A note to Rieger's paper “On free ℵξ-complete Boolean algebras.” Fundamenta mathematicae, vol. 38 , pp. 53–54. [REVIEW]Helena Rasiowa - 1954 - Journal of Symbolic Logic 19 (4):287-287.
Review: Roman Sikorski, A Note to Rieger's Paper "On Free $aleph_xi$-Complete Boolean Algebras.". [REVIEW]Helena Rasiowa - 1954 - Journal of Symbolic Logic 19 (4):287-287.
Slupecki Jerzy. Funkcja Łukasiewicz {The Łukasiewicz function). Matematyka, fizyka, astronomia, II, Uniwersytet Wroctawski. im. Boleslawa Bieruta, Zeszyty naukowe, ser. B no. 3, Państwowe Wydawnictwo Naukowe, Warsaw and Breslau 1959, pp. 33–40. [REVIEW]W. Bednarowski - 1968 - Journal of Symbolic Logic 32 (4):536-536.
Jan Łukasiewicz. Logistyka a filozofia . A reprint of I 118. Uwagi filozoficzne o wielowartościowych systemach rachunku zdań. Polish translation of 1868 by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 195–209. - Jan Łukasiewicz. W obronie logistyki . A reprint of III 43. Uwagi filozoficzne o wielowartościowych systemach rachunku zdań. Polish translation of 1868 by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 210–219. - Jan Łukasiewicz. O sylogistyce Arystotelesa . A reprint of XIII 167. Uwagi filozoficzne o wielowartościowych systemach rachunku zdań. Polish translation of 1868 by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 220–227. [REVIEW]Rose Rand - 1968 - Journal of Symbolic Logic 33 (1):132-133.
Review: Helena Rasiowa, Olgierd Wojtasiewicz, Introduction to Modern Mathematics; Helena Rasiowa, Wstep do Matematyki Wspolczesnesj. [REVIEW]Angelo Margaris - 1978 - Journal of Symbolic Logic 43 (1):153-154.
Fraïssé R.. Une notion de récursivité relative. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warschau, und Pergamon Press, Oxford—London—New York—Paris, 1961, S. 323–328. [REVIEW]Günter Asser - 1967 - Journal of Symbolic Logic 32 (3):395-396.

Analytics

Added to PP
2016-06-30

Downloads
23 (#661,981)

6 months
3 (#1,023,809)

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