- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Results for 'Panstwowe Wydawnictwo'
236 found
Order:
- Remarks on Nicod's Axiom and on "Generalizing Deduction".H. A. Pogorzelski, Jan Lukasiewicz, Jerzy Slupecki & Panstwowe Wydawnictwo - 1965 - Journal of Symbolic Logic 30 (3):376.
- Greniewski Henryk. Elementy logiki formalnej. Państwowe Wydawnictwo Naukowe, Warschau 1955, 492 S.Johannes Bendiek - 1956 - Journal of Symbolic Logic 21 (2):188-188.
- Tadeusz Kotarbiński. Wykłady z dziejów logiki . Państwowe Wydawnictwo Naukowe, Warsaw1985, 226 pp.John Bednarz - 1990 - Journal of Symbolic Logic 55 (3):1322-1324.
- Źródła myśli greckiej (Jean-Pierre Vernant, Źródła myśli greckiej, Państwowe Wydawnictwo Naukowe, Warszawa 1969).Krzysztof Michalski - 1970 - Człowiek I Światopogląd 1 (4):155-158.No categoriesExport citation
Bookmark - 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.
- Witold A. Pogorzelski and Jerzy Słupecki. Dowód pelności klasycznego rachunku zdań na gruncie aksjomatycznej metodologii . Matematyka, fizyka, astronomia, III, Acta Universitatis Wratislaviensis, no. 12, Państwowe Wydawnictwo Naukowe, Warsaw and Breslau1962, pp. 11–18. [REVIEW]W. Bednarowski - 1968 - Journal of Symbolic Logic 32 (4):536-537.
- 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.
- 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.
- 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.
- Vaught R. L.. Denumerable models of complete theories. 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. 303–321.Svenonius Lars. On minimal models of first-order systems. Theoria , vol. 26 , pp. 44–52.Engeler Erwin. Unendliche Formeln in der Modell-theorie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 154–160.Fuhrken Gebhard. Bemerkung zu einer Arbeit E. Engelers. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 277–279. [REVIEW]H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):342-344.
- 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.
- Franciszek Grucza, Zagadnienia metalingwistyki, lingwistyka - jej przedmiot, lingwistyka stosowana. (Problems of Metalinguistics. Linguistics - Its Subject-Matter. Applied Linguistics). Warszawa: Państwowe Wydawnictwo Naukowe, 1983. [REVIEW]Wojciech Pasterniak - 1984 - Dialectics and Humanism 11 (4):697-700.Export citation Bookmark
- 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.
- C. Spector. 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.
- 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.
- 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.
- 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.
- Jan Woleński. Filozoficzna szkoia Iwowsko-warszawska . Państwowe Wydawnictwo Naukowe, Warsaw1985, 348 pp. [REVIEW]John Bednarz - 1989 - Journal of Symbolic Logic 54 (4):1487-1489.
- 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.
- 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.
- 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.
- 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.. Quelques applications de la topologie à la logique mathématique. Topologie, Volume I, 4th edn., by Kuratowski Casimir, Państwowe Wydawnictwo Naukowe, Warsaw 1958, pp. 470–477. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688.
- Socjologia Moralności. Zarys Zagadnień. By Maria Ossowska. Warszawa —Państwowe Wydawnictwo Naukowe—1963. Pp. 304. Zł35. [REVIEW]Andrew S. Kawczak - 1967 - Dialogue 6 (1):128-129.No categories
- 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.
- Charisteria–-philosophical dissertations offered to Professor Wladyslaw Tatarkiewicz on his 70th birthday. Warsaw 1960; Panstwowe Wydawnictwo Naukowe. Pp. 352 with a portrait of W. Tatarkiewicz. [REVIEW]Wieslaw Strzalkowski - 1962 - Philosophy 37 (139):81-.No categories
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Jan Łukasiewicz. Elementy logiki matematycznej . Second edition of 1866. Państwowe Wydawnictwo Naukowe, Warsaw1958, 99 pp. [REVIEW]Andrzej Mostowski - 1966 - Journal of Symbolic Logic 31 (2):284.
- 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.
- 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.
- Jan Łukasiewicz. Uwagi o aksjomacie Nicoda i o “dedukcji uogólniającej”. . A reprint of 1869. Z zagadnień logiki i filozofii, Pisma wybrane, by Jan Łukasiewicz, edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 164–177. [REVIEW]H. A. Pogorzelski - 1965 - Journal of Symbolic Logic 30 (3):376-377.
- Review: Jan Lukasiewicz, Jerzy Slupecki, Panstwowe Wydawnictwo, Remarks on Nicod's Axiom and on "Generalizing Deduction". [REVIEW]H. A. Pogorzelski - 1965 - Journal of Symbolic Logic 30 (3):376-377.
- Jerzy Słupecki. Slowo wstępne . Z zagadnień logiki i filozofii. Pisma wybrane, by Jan Łukasiewicz, edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 5–8. [REVIEW]Rose Rand - 1968 - Journal of Symbolic Logic 33 (1):129.
- Jan Łukasiewicz and Alfred Tarski. Badania nad rachunkiem zdań. Polish translation of 4071A by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 129–143. [REVIEW]Rose Rand - 1968 - Journal of Symbolic Logic 33 (1):130-131.
- 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.
- Jan Łukasiewicz. O determinizmie . Polish translation of IV 174 by Egon Viclrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 114–126. [REVIEW]Rose Rand - 1968 - Journal of Symbolic Logic 33 (1):130.
- Jan Łukasiewicz. Równoważnościowy rachunek zdaň. Polish translation of VI 115 by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 228–249. [REVIEW]Rose Rand - 1968 - Journal of Symbolic Logic 33 (1):133.
- Jan Łukasiewicz. 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. 144–163. [REVIEW]Rose Rand - 1968 - Journal of Symbolic Logic 33 (1):131-132.
- Jan Łukasiewicz. Z historii logiki zdań . A reprint of 18612. 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. 178–194. [REVIEW]Rose Rand - 1968 - Journal of Symbolic Logic 33 (1):132.
- Przełȩcki Marian. Postulat empiryczności terminów przyrodniczych . Fragmenty filozoficzne, seria druga, Ksiȩga pamia̧tkowa ku uczczeniu czterdziestolecia pracy nauczycielskiej w Uniwersytecie Warszawskim profesora Tadeusza Kotarbińskiego, Państwowe Wydawnictwo Naukowe, Warsaw 1959, pp. 219–248. [REVIEW]Maria Kokoszyńska - 1975 - Journal of Symbolic Logic 40 (3):471-471.
- 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.
- Heyting A.. Infinitistic methods from a finitist point of view. 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. 185–192. [REVIEW]G. Kreisel - 1968 - Journal of Symbolic Logic 32 (4):515-515.
- 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.
- É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.
- Listy.Tomasz Z. Akwinu & Uniwersytet Kardynała Stefana Wyszyńskiego W. Warszawie Wydawnictwo - 2014 - Warszawa: Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego. Edited by Thomas, Michał Zembrzuski, Izabella Andrzejuk, Magdalena Płotka, Artur Andrzejuk, Dawid Lipski, Anna Kazimierczak-Kucharska & Adam Mariusz Filipowicz.No categories
| 1 — 50 / 236 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-zf4z4 uwo