Murawski, Roman Mathematics and logic in Polish encyclopedias published during the interwar period. (English) Zbl 1511.01014 Mazliak, Laurent (ed.) et al., Mathematical communities in the reconstruction after the Great War 1918–1928. Trajectories and institution. Based on the international meeting, Marseilles, November 2018. Cham: Birkhäuser. Trends Hist. Sci., 89-117 (2021). Reviewer: Christopher Hollings (Oxford) MSC: 01A60 03-03 PDFBibTeX XMLCite \textit{R. Murawski}, in: Mathematical communities in the reconstruction after the Great War 1918--1928. Trajectories and institution. Based on the international meeting, Marseilles, November 2018. Cham: Birkhäuser. 89--117 (2021; Zbl 1511.01014) Full Text: DOI
Murawski, Roman Lógos and máthēma 2. Studies in the philosophy of logic and mathematics. (English) Zbl 1482.03002 Polish Contemporary Philosophy and Philosophical Humanities 18. Berlin: Peter Lang (ISBN 978-3-631-80714-9/hbk; 978-3-631-82018-6/ebook). 224 p. (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03-06 00A30 00B60 01A60 03-03 03A05 PDFBibTeX XMLCite \textit{R. Murawski}, Lógos and máthēma 2. Studies in the philosophy of logic and mathematics. Berlin: Peter Lang (2020; Zbl 1482.03002) Full Text: DOI
Murawski, Roman Struve and Biegański: towards modern approach to logic. (English) Zbl 1406.03017 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 285-297 (2018). MSC: 03-03 01A55 01A60 01A70 03A05 PDFBibTeX XMLCite \textit{R. Murawski}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 285--297 (2018; Zbl 1406.03017) Full Text: DOI
Murawski, Roman; Pogonowski, Jerzy Seweryna Łuszczewska-Romahnowa. (English) Zbl 1406.03018 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 241-247 (2018). MSC: 03-03 01A60 01A70 PDFBibTeX XMLCite \textit{R. Murawski} and \textit{J. Pogonowski}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 241--247 (2018; Zbl 1406.03018) Full Text: DOI
Bedürftig, Thomas; Murawski, Roman Historical and philosophical notices on the continuum. (Historische und philosophische Notizen über das Kontinuum.) (German) Zbl 1372.03002 Math. Semesterber. 64, No. 1, 63-88 (2017). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03-03 03A05 01A20 01A45 01A50 01A60 PDFBibTeX XMLCite \textit{T. Bedürftig} and \textit{R. Murawski}, Math. Semesterber. 64, No. 1, 63--88 (2017; Zbl 1372.03002) Full Text: DOI
Murawski, Roman Some historical, philosophical and methodological remarks on proof in mathematics. (English) Zbl 1433.00031 Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 251-268 (2016). MSC: 00A30 03A05 00A35 PDFBibTeX XMLCite \textit{R. Murawski}, Ontos Math. Log. 6, 251--268 (2016; Zbl 1433.00031) Full Text: DOI
Murawski, Roman The philosophy of mathematics and logic in Cracow between the wars. (English) Zbl 1417.03024 Mulligan, Kevin (ed.) et al., The history and philosophy of Polish logic. Essays in honour of Jan Woleński. New York, NY: Palgrave Macmillan. Hist. Anal. Philos., 278-294 (2014). MSC: 03-03 03A05 00A30 01A60 PDFBibTeX XMLCite \textit{R. Murawski}, in: The history and philosophy of Polish logic. Essays in honour of Jan Woleński. New York, NY: Palgrave Macmillan. 278--294 (2014; Zbl 1417.03024)
Murawski, Roman The philosophy of mathematics and logic in the 1920s and 1930s in Poland. Translated from the Polish by Maria Kantor. (English) Zbl 1329.00127 Science Networks. Historical Studies 48. Basel: Birkhäuser/Springer (ISBN 978-3-0348-0830-9/hbk; 978-3-0348-0831-6/ebook). xi, 228 p. (2014). Reviewer: Andrzej Indrzejczak (Łódź) MSC: 00A30 03-02 03A05 03-03 01A60 01A72 PDFBibTeX XMLCite \textit{R. Murawski}, The philosophy of mathematics and logic in the 1920s and 1930s in Poland. Translated from the Polish by Maria Kantor. Basel: Birkhäuser/Springer (2014; Zbl 1329.00127) Full Text: DOI
Murawski, Roman Andrzej Mostowski’s philosophy of mathematics and logic. (Polish) Zbl 1494.01032 Więsław, Witold (ed.), Dzieje matematyki polskiej. II. Wrocław: Instytut Matematyczny Uniwersytetu Wrocławskiego. 85-95 (2013). MSC: 01A70 00A30 01A60 03-03 PDFBibTeX XMLCite \textit{R. Murawski}, in: Dzieje matematyki polskiej. II. Wrocław: Instytut Matematyczny Uniwersytetu Wrocławskiego. 85--95 (2013; Zbl 1494.01032)
Murawski, Roman Philosophy of logic and mathematics in the Lwów school of mathematics. (English) Zbl 1289.00003 Mat. Visn. Nauk. Tov. Im. Shevchenka 10, 17-24 (2013). MSC: 00A30 03A05 01A60 PDFBibTeX XMLCite \textit{R. Murawski}, Mat. Visn. Nauk. Tov. Im. Shevchenka 10, 17--24 (2013; Zbl 1289.00003)
Murawski, Roman Philosophy of mathematics within the Warsaw school of mathematical logic. (Mathematikphilosophie in der Warschauer Schule der mathematischen Logik.) (German) Zbl 1352.01056 Fischer, Hans (ed.) et al., Zeitläufe der Mathematik. Tagung zur Geschichte der Mathematik in Freising 2011. Augsburg: ERV Dr. Erwin Rauner Verlag (ISBN 978-3-936905-50-2/pbk). Algorismus 77, 139-147 (2012). Reviewer: Reinhard Siegmund-Schultze (Kristiansand) MSC: 01A72 01A60 00A30 03-03 03A05 PDFBibTeX XMLCite \textit{R. Murawski}, Algorismus 77, 139--147 (2012; Zbl 1352.01056)
Murawski, Roman Philosophy of mathematics and logic in the 1920s and 1930s in Poland. (Filozofia matematyki i logiki w polsce miedzywojennej.) (Polish) Zbl 1239.00021 Monografie Fundacji na Rzecz Nauki Polskiej. Toruń: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika (ISBN 978-231-83-2670-6/hbk). 253 p. (2011). Reviewer: Roman Duda (Wrocław) MSC: 00A30 03-02 03A05 03A10 01A60 01A72 PDFBibTeX XMLCite \textit{R. Murawski}, Filozofia matematyki i logiki w polsce miedzywojennej (Polish). Toruń: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika (2011; Zbl 1239.00021)
Murawski, Roman [Bondecka-Krzykowska, Izabela; Woleński, Jan; Batóg, Tadeusz; Pogonowski, Jerzy] Logos and Máthēma. Studies in the philosophy of mathematics and history of logic. (English) Zbl 1234.03004 Polish Contemporary Philosophy and Philosophical Humanities 1. Frankfurt am Main: Peter Lang (ISBN 978-3-631-61804-2/hbk). 337 p. (2011). Reviewer: Reinhard Kahle (Lisbon) MSC: 03-06 00A30 00B60 01A60 03-03 03A05 PDFBibTeX XMLCite \textit{R. Murawski}, Logos and Máthēma. Studies in the philosophy of mathematics and history of logic. Frankfurt am Main: Peter Lang (2011; Zbl 1234.03004)
Murawski, Roman Philosophy of mathematics in the Warsaw mathematical school. (English) Zbl 1230.03028 Axiomathes 20, No. 2-3, 279-293 (2010). MSC: 03A05 00A30 01A60 01A72 PDFBibTeX XMLCite \textit{R. Murawski}, Axiomathes 20, No. 2--3, 279--293 (2010; Zbl 1230.03028) Full Text: DOI
Murawski, Roman; Bedürftig, Thomas The development of symbolism in logic and its philosophical background. (English) Zbl 1267.03004 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 271-299 (2010). MSC: 03-03 03A05 PDFBibTeX XMLCite \textit{R. Murawski} and \textit{T. Bedürftig}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 271--299 (2010; Zbl 1267.03004)
Murawski, Roman The English algebra of logic in the 19th century. (English) Zbl 1221.01075 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 245-269 (2010). Reviewer: R. W. van der Waall (Huizen) MSC: 01A55 03-03 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 245--269 (2010; Zbl 1221.01075)
Murawski, Roman Contribution of Polish logicians to predicate calculus. (English) Zbl 1221.01080 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 233-243 (2010). Reviewer: R. W. van der Waall (Huizen) MSC: 01A60 03-03 03B10 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 233--243 (2010; Zbl 1221.01080)
Murawski, Roman Contribution of Polish logicians to decidability theory. (English) Zbl 1213.01038 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 211-231 (2010). MSC: 01A60 03-03 03B25 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 211--231 (2010; Zbl 1213.01038)
Murawski, Roman John von Neumann and Hilbert’s school. (English) Zbl 1223.01017 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 195-209 (2010). Reviewer: Jim Mackenzie (Sydney) MSC: 01A60 03-03 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 195--209 (2010; Zbl 1223.01017)
Murawski, Roman E. L. Post and the development of logic. (English) Zbl 1244.03007 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 183-193 (2010). MSC: 03-03 01A60 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 183--193 (2010; Zbl 1244.03007)
Murawski, Roman Giuseppe Peano and symbolic logic. (English) Zbl 1216.01007 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 169-182 (2010). Reviewer: Luigi Borzacchini (Bari) MSC: 01A55 01A60 03-03 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 169--182 (2010; Zbl 1216.01007)
Murawski, Roman On new trends in the philosophy of mathematics. (English) Zbl 1217.00007 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 75-84 (2010). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 00A30 03-03 01A60 03A05 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 75--84 (2010; Zbl 1217.00007)
Murawski, Roman Philosophy of mathematics in the 20th century. Main trends and doctrines. (English) Zbl 1217.00006 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 59-73 (2010). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 00A30 03-03 01A60 03A05 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 59--73 (2010; Zbl 1217.00006)
Murawski, Roman Truth vs. provability. Philosophical and historical remarks. (English) Zbl 1267.03013 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 41-57 (2010). MSC: 03A05 03-03 00A30 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 41--57 (2010; Zbl 1267.03013)
Murawski, Roman Leibniz’s and Kant’s philosophical ideas vs. Hilbert’s program. (English) Zbl 1279.03027 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 29-39 (2010). MSC: 03A05 03-03 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 29--39 (2010; Zbl 1279.03027)
Murawski, Roman Cantor’s philosophy of set theory. (English) Zbl 1223.03004 Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 15-28 (2010). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03-03 00A30 01A70 03E99 PDFBibTeX XMLCite \textit{R. Murawski}, in: Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi. 15--28 (2010; Zbl 1223.03004)
Murawski, Roman [Woleński, Jan] Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. (English) Zbl 1200.00044 Poznań Studies in the Philosophy of the Sciences and the Humanities 98. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). 343 p. (2010). MSC: 00B15 00A30 01A99 03-06 03A05 03-03 PDFBibTeX XMLCite \textit{R. Murawski}, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (2010; Zbl 1200.00044)
Murawski, Roman; Pogonowski, Jerzy Logical investigations at the university of Poznan in 1945–1955. (English) Zbl 1165.01012 Bernhard, Peter (ed.) et al., Methodisches Denken im Kontext. Festschrift für Christian Thiel. Mit einem unveröffentlichten Brief Gottlob Freges. Paderborn: mentis Verlag (ISBN 978-3-89785-594-6/pbk). 239-253 (2008). Reviewer: Yuri V. Rogovchenko (Kalmar) MSC: 01A60 01A72 03-03 PDFBibTeX XMLCite \textit{R. Murawski} and \textit{J. Pogonowski}, in: Methodisches Denken im Kontext. Festschrift für Christian Thiel. Mit einem unveröffentlichten Brief Gottlob Freges. Paderborn: mentis Verlag. 239--253 (2008; Zbl 1165.01012)
Murawski, Roman; Woleński, Jan Andrzej Mostowski on the foundations and philosophy of mathematics. (English) Zbl 1179.03002 Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 324-337 (2008). Reviewer: Gregor Nickel (Siegen) MSC: 03-03 01A60 03A05 00A30 PDFBibTeX XMLCite \textit{R. Murawski} and \textit{J. Woleński}, in: Andrzej Mostowski and foundational studies. Amsterdam: IOS Press. 324--337 (2008; Zbl 1179.03002)
Murawski, Roman Kurt Gödel (1906–1978). (Polish) Zbl 1242.01060 Rocz. Pol. Tow. Mat., Ser. II, Wiadom. Mat. 42, 27-44 (2006). MSC: 01A70 03-03 PDFBibTeX XMLCite \textit{R. Murawski}, Rocz. Pol. Tow. Mat., Ser. II, Wiad. Mat. 42, 27--44 (2006; Zbl 1242.01060)
Bondecka-Krzykowska, Izabela; Murawski, Roman Remarks on the structuralistic epistemology of mathematics. (English) Zbl 1107.03003 Log. Anal., Nouv. Sér. 49, No. 193, 31-41 (2006). Reviewer: Solomon Marcus (Bucureşti) MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{I. Bondecka-Krzykowska} and \textit{R. Murawski}, Log. Anal., Nouv. Sér. 49, No. 193, 31--41 (2006; Zbl 1107.03003)
Murawski, Roman Philosophical reflection on mathematics in Poland in the interwar period. (English) Zbl 1115.00006 Ann. Pure Appl. Logic 127, No. 1-3, 325-337 (2004). MSC: 00A30 03A05 01A60 PDFBibTeX XMLCite \textit{R. Murawski}, Ann. Pure Appl. Logic 127, No. 1--3, 325--337 (2004; Zbl 1115.00006) Full Text: DOI
Murawski, Roman Reactions to the discovery of the incompleteness phenomenon. Dedicated to Professor Jan Woleński on the occasion of his 60th birthday. (English) Zbl 1067.03005 Hintikka, Jaakko (ed.) et al., Philosophy and logic. In search of the Polish tradition. Essays in honour of Jan Woleński on the occasion of his 60th birthday. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1721-9/hbk). Synthese Library 323, 213-227 (2003). Reviewer: Branislav Boričić (Beograd) MSC: 03-03 01A60 PDFBibTeX XMLCite \textit{R. Murawski}, Synth. Libr. 323, 213--227 (2003; Zbl 1067.03005)
Murawski, Roman Leibniz’s and Kant’s philosophical ideas and the development of Hilbert’s programme. (English) Zbl 1061.03013 Log. Anal., Nouv. Sér. 45, No. 179-180, 421-437 (2002). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03A05 03-03 PDFBibTeX XMLCite \textit{R. Murawski}, Log. Anal., Nouv. Sér. 45, No. 179--180, 421--437 (2002; Zbl 1061.03013)
Murawski, Roman On the distinction proof-truth in mathematics. (English) Zbl 1028.03005 Gärdenfors, Peter (ed.) et al., In the scope of logic, methodology and philosophy of science. Volume one of the 11th international congress of logic, methodology and philosophy of science, Cracow, Poland, August 1999. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 315, 287-303 (2002). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 03-03 03F30 00A30 PDFBibTeX XMLCite \textit{R. Murawski}, Synth. Libr. 315, 287--303 (2002; Zbl 1028.03005)
Murawski, Roman (ed.) Modern philosophy of mathematics. Selected texts. Selected, translated, with commentaries and an introduction by Roman Murawski. (Współczesna filozofia matematyki. Wybór tekstów.) (Polish) Zbl 1015.03006 Warszawa: Wydawnictwo Naukowe PWN. 386 p. (2002). MSC: 03-06 00B60 03A05 00A30 PDFBibTeX XMLCite \textit{R. Murawski} (ed.), Współczesna filozofia matematyki. Wybór tekstów (Polish). Warszawa: Wydawnictwo Naukowe PWN (2002; Zbl 1015.03006)
Murawski, Roman Truth vs. provability – philosophical and historical remarks. (English) Zbl 1037.03001 Log. Log. Philos. 10, 93-117 (2002). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 03-03 00A30 PDFBibTeX XMLCite \textit{R. Murawski}, Log. Log. Philos. 10, 93--117 (2002; Zbl 1037.03001) Full Text: DOI
Murawski, Roman Recursive functions and metamathematics. Problems of completeness and decidability, Gödel’s theorems. (English) Zbl 0934.03001 Synthese Library. 286. Dordrecht: Kluwer Academic Publishers. xii, 391 p. (1999). Reviewer: R.Downey (Wellington) MSC: 03-02 03D20 03-01 03F30 03B25 03-03 03D10 03D35 03A05 PDFBibTeX XMLCite \textit{R. Murawski}, Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems. Dordrecht: Kluwer Academic Publishers (1999; Zbl 0934.03001)
Murawski, Roman Undefinability of truth. The problem of priority: Tarski vs Gödel. (English) Zbl 1052.03504 Hist. Philos. Log. 19, No. 3, 153-160 (1998). Reviewer: John W. Dawson jun. (MR 99k:01038) MSC: 03-03 03A05 01A60 PDFBibTeX XMLCite \textit{R. Murawski}, Hist. Philos. Log. 19, No. 3, 153--160 (1998; Zbl 1052.03504) Full Text: DOI
Murawski, Roman The contribution of Polish logicians to recursion theory. (English) Zbl 1018.03005 Kijania-Placek, Katarzyna (ed.) et al., The Lvov-Warsaw school and contemporary philosophy. Papers from the conference, Lviv (Lvov), Ukraine, November 15-17, 1995 and Warsaw, Poland, November 19-21, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 273, 265-282 (1998). Reviewer: Roman Murawski (Poznań) MSC: 03-03 03Dxx 01A60 PDFBibTeX XMLCite \textit{R. Murawski}, Synth. Libr. 273, 265--282 (1998; Zbl 1018.03005)
Murawski, Roman Some remarks on Hilbert’s program. (Polish. English summary) Zbl 0999.01018 Wiȩsław, Witold (ed.), Hilbert’s problems. On the occasion of the fiftieth anniversary of the death of their creator. Proceedings of the 7th All-Polish School on the history of mathematics, Miȩdzyzdroje, Poland, May 10-14, 1993. Warsaw: Instytut Historii Nauki PAN. 255-262 (1997). Reviewer: V.N.Salij (Saratov) MSC: 01A60 03-03 03B30 PDFBibTeX XMLCite \textit{R. Murawski}, in: Problemy Hilberta. W piȩćdziesiȩciolecie śmierci ich twórcy. Warsaw: Instytut Historii Nauki PAN. 255--262 (1997; Zbl 0999.01018)
Murawski, Roman Impredicative definitions and reverse mathematics. (English) Zbl 0888.00003 Greffe, Jean-Louis (ed.) et al., Henri Poincaré. Science et philosophie: congrès international, mai 14-18, 1994, Nancy, France. Berlin: Akademie Verlag. 551-557 (1996). Reviewer: T.Koetsier (Amsterdam) MSC: 00A30 03-03 01A60 PDFBibTeX XMLCite \textit{R. Murawski}, in: Henri Poincaré. Science et philosophie: congrès international, mai 14-18, 1994, Nancy, France. Berlin: Akademie Verlag; Paris: Albert Blanchard. 551--557 (1996; Zbl 0888.00003)
Batóg, Tadeusz; Murawski, Roman Stanisław Piątkiewicz and the beginnings of mathematical logic in Poland. (English) Zbl 0846.01005 Hist. Math. 23, No. 1, 68-73 (1996). Reviewer: J.Mackenzie (Sydney) MSC: 01A55 03-03 01A70 PDFBibTeX XMLCite \textit{T. Batóg} and \textit{R. Murawski}, Hist. Math. 23, No. 1, 68--73 (1996; Zbl 0846.01005) Full Text: DOI
Murawski, Roman Contributions of Polish logicians to decidability theory. (English) Zbl 0844.01010 Mod. Log. 6, No. 1, 37-66 (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 01A60 03-03 03B25 PDFBibTeX XMLCite \textit{R. Murawski}, Mod. Log. 6, No. 1, 37--66 (1996; Zbl 0844.01010)
Murawski, Roman The contribution of Zygmunt Ratajczyk to the foundations of arithmetic. (English) Zbl 0844.03001 Notre Dame J. Formal Logic 36, No. 4, 502-504 (1995). Reviewer: R.Murawski (Poznań) MSC: 03-03 03F30 01A70 PDFBibTeX XMLCite \textit{R. Murawski}, Notre Dame J. Formal Logic 36, No. 4, 502--504 (1995; Zbl 0844.03001) Full Text: DOI
Murawski, Roman; Bedürftig, Thomas The development of symbolism in logic and its philosophical background. (Die Entwicklung der Symbolik in der Logik und ihr philosophischer Hintergrund.) (German) Zbl 0849.03002 Math. Semesterber. 42, No. 1, 1-31 (1995). Reviewer: S.Gottwald (Leipzig) MSC: 03-03 03A05 PDFBibTeX XMLCite \textit{R. Murawski} and \textit{T. Bedürftig}, Math. Semesterber. 42, No. 1, 1--31 (1995; Zbl 0849.03002) Full Text: DOI
Murawski, Roman Reverse mathematics and its meaning. (Reverse Mathematik und ihre Bedeutung.) (German) Zbl 0787.03050 Math. Semesterber. 40, No. 2, 105-113 (1993). Reviewer: R.Murawski (Poznań) MSC: 03F35 03-02 PDFBibTeX XMLCite \textit{R. Murawski}, Math. Semesterber. 40, No. 2, 105--113 (1993; Zbl 0787.03050) Full Text: DOI
Murawski, Roman Recursive functions and elements of metamathematics. Problems of completeness, decidability and Gödel’s theorems. (Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności, twierdzenia Gödla.) (Polish) Zbl 0719.03001 Seria Matematyka, Uniwersytet Im. Adama Mickiewicza w Poznaniu, 11. Poznań: Wydawnictwo Naukowe Uniwersytetu Im. Adama Mickiewicza w Poznaniu. 186 p. (1990). Reviewer: O.V.Belegradek (Kemerovo) MSC: 03-01 03D20 03F30 03B25 03-03 03D10 03D35 03A05 PDFBibTeX XMLCite \textit{R. Murawski}, Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności, twierdzenia Gödla (Polish). Poznań: Wydawnictwo Naukowe Uniwersytetu Im. Adama Mickiewicza w Poznaniu (1990; Zbl 0719.03001)
Murawski, Roman (ed.) Philosophy of mathematics. An anthology of classical texts. (Filozofia matematyki. Antologia tekstów klasycznych.) (Polish) Zbl 0616.00021 Seria Filozofia i Logika, Nr. 46. Uniwersytet im. Adama Michkiewicza w Poznaniu. Poznań: Wydawnictwo Naukowe Uniwersytetu im. A. Mickiewicza w Poznaniu. 324 p. zł 500.00 (1986). Reviewer: Marek A.Suchenek MSC: 00A30 01A05 PDFBibTeX XML
Murawski, Roman Giuseppe Peano - pioneer and promoter of symbolic logic. (English) Zbl 0562.01006 Komunikaty i Rozprawy. Poznań: Uniwersytet im. Adama Mickiewicza w Poznaniu, Instytut Matematyki. 21 p. (1985). Reviewer: H.Guggenheimer MSC: 01A55 01A60 03-03 PDFBibTeX XML
Murawski, Roman Mathematical incompleteness of arithmetic. (Polish) Zbl 0581.03041 Rocz. Pol. Tow. Mat., Ser. II, Wiadom. Mat. 26, 47-58 (1984). MSC: 03F30 03D35 03-03 03A05 PDFBibTeX XMLCite \textit{R. Murawski}, Rocz. Pol. Tow. Mat., Ser. II, Wiad. Mat. 26, 47--58 (1984; Zbl 0581.03041)