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

Alonzo Church

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 [Book Review]

Journal of Symbolic Logic 31 (3):517-517 (1966)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	20th Century Logic in 20th Century Philosophy (categorize this paper)
Reprint years	1996
DOI	10.2307/2270505
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 55,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.

Novikov P. S.. O Néprotivoréčivosti Nékotoryh Logičéskih Isčislénij . 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. 71–74. [REVIEW]Andrzej Mostowski - 1962 - Journal of Symbolic Logic 27 (2):246-246.

Helena Rasiowa and Roman Sikorski. The Mathematics of Metamathematics. Monografie Matematyczne, Vol. 41. Państwowe Wydawnictwo Naukowe, Warsaw1963, 519 Pp. [REVIEW]Donald Monk - 1967 - Journal of Symbolic Logic 32 (2):274-275.

Spector C.. Inductively Defined Sets of Natural Numbers. 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. 97–102. [REVIEW]Stephen J. Garland - 1969 - Journal of Symbolic Logic 34 (2):295-296.

Moisil Gr. C.. Les Logiques À Plusieurs Valeurs Et L'Automatique. 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, and Paris, 1961, Pp. 337–345. [REVIEW]Alonzo Church - 1971 - Journal of Symbolic Logic 36 (3):546-547.

Mostowski A.. A Class of Models for Second Order Arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 7 , Pp. 401–404.Mostowski A.. Formal System of Analysis Based on an Infinitistic Rule of Proof. 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, and Paris, 1961, Pp. 141–166. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):128-129.

Lorenzen P.. Ein Dialogisches Konstruktwitätskriterium. Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, Pp. 193–200. [REVIEW]G. Kreisel - 1968 - Journal of Symbolic Logic 32 (4):516-516.

Robinson A.. Model Theory and Non-Standard Arithmetic. 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. 265–302. [REVIEW]William N. Reinhardt - 1970 - Journal of Symbolic Logic 35 (1):149-149.

Müller G. H.. Über Die Unendliche Induktion. Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, Pp. 75–95. [REVIEW]K. Schütte - 1975 - Journal of Symbolic Logic 40 (4):627-627.

MacDowell R. And Specker E.. Modelle der Arithmetik. 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, and Paris, 1961, Pp. 257–263. [REVIEW]Robert G. Phillips - 1973 - Journal of Symbolic Logic 38 (4):651-652.

Montague R.. Semantical Closure and Non-Finite Axiomatizability I. 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. 45–69. [REVIEW]G. Hasenjaeger - 1964 - Journal of Symbolic Logic 29 (1):59-60.

Scott Dana. On Constructing Models for Arithmetic. 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, and Paris, 1961, Pp. 235–255. [REVIEW]Elliott Mendelson - 1973 - Journal of Symbolic Logic 38 (2):336-337.

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.

Ésénine-Volpine A. S.. Le Programme Ultra-Intuitionniste des Fondements des Mathématiques. Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, Pp. 201–223. [REVIEW]G. Kreisel & A. Ehrenfeucht - 1968 - Journal of Symbolic Logic 32 (4):517-517.

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.

Analytics

Added to PP index
2013-11-03

Total views
18 ( #557,882 of 2,401,794 )

Recent downloads (6 months)
1 ( #551,897 of 2,401,794 )

How can I increase my downloads?

Downloads

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Download options

References found in this work BETA

Citations of this work BETA

Similar books and articles

Analytics

My notes