Publication | Date of Publication | Type |
---|
Mathematics and Logic in Polish Encyclopedias Published During the Interwar Period | 2022-11-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5867806 | 2022-09-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q5067577 | 2022-04-01 | Paper |
Lógos and Máthēma 2 | 2021-06-21 | Paper |
Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics | 2020-04-03 | Paper |
Mathematics and theology in the thought of Nicholas of Cusa | 2020-02-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4630767 | 2019-04-23 | Paper |
Philosophie der Mathematik | 2019-02-06 | Paper |
Seweryna Łuszczewska-Romahnowa | 2019-01-21 | Paper |
Struve and Biegański: Towards Modern Approach to Logic | 2019-01-21 | Paper |
Ontology of Logic and Mathematics in Lvov-Warsaw School | 2019-01-21 | Paper |
Philosophy of mathematics | 2018-10-05 | Paper |
Historical and philosophical notices on the continuum | 2017-10-10 | Paper |
Michał Krynicki (1950–2011) | 2017-04-13 | Paper |
Uniwersum matematyczne: rzeczywistość czy artefakt? | 2017-04-12 | Paper |
Paweł Zbierski (1944–2002) | 2017-04-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q2825748 | 2016-10-13 | Paper |
Philosophie der Mathematik | 2015-02-13 | Paper |
The philosophy of mathematics and logic in the 1920s and 1930s in Poland. Translated from the Polish by Maria Kantor | 2014-03-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q5745854 | 2014-02-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q2900202 | 2012-07-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q2894682 | 2012-06-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q2894724 | 2012-06-30 | Paper |
Philosophy of mathematics in the Warsaw mathematical school | 2012-01-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q3112328 | 2012-01-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q3016415 | 2011-07-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997657 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997658 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997659 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997660 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997661 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997662 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997663 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997664 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997665 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997666 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997667 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997668 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997669 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997670 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997671 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997672 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997673 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q2997674 | 2011-05-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q3052713 | 2010-11-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3573559 | 2010-07-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3611686 | 2009-03-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3605745 | 2009-02-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q3509175 | 2008-07-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5445170 | 2008-03-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q5441484 | 2008-02-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5437870 | 2008-01-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q5493753 | 2006-10-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q5474629 | 2006-06-26 | Paper |
Old and new views of numbers -- from the history of the concept of number | 2006-03-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4661907 | 2005-03-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q3154908 | 2005-01-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4824969 | 2004-11-01 | Paper |
Philosophical reflection on mathematics in Poland in the interwar period | 2004-08-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4428709 | 2003-09-22 | Paper |
Truth vs. provability – philosophical and historical remarks | 2002-01-01 | Paper |
Undefinability of truth. the problem of priority:tarski vs gödel | 2001-12-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q2702739 | 2001-10-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2736243 | 2001-08-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q2702283 | 2001-07-05 | Paper |
Gödel's incompleteness theorems and computer science | 2000-12-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4250035 | 2000-03-13 | Paper |
Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems | 1999-12-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4883907 | 1998-06-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4365296 | 1997-11-04 | Paper |
The development of symbolism in logic and its philosophical background | 1996-11-04 | Paper |
Stanisław Piątkiewicz and the beginnings of mathematical logic in Poland | 1996-09-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4869975 | 1996-08-13 | Paper |
The contribution of Zygmunt Ratajczyk to the foundations of arithmetic | 1996-07-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4837105 | 1995-06-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4321043 | 1995-05-21 | Paper |
ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC | 1994-06-08 | Paper |
Reverse mathematics and its meaning | 1994-05-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q3998241 | 1992-09-17 | Paper |
Some Properties of the Family of Expansions to Models of A/Δ + Σ‐AC | 1992-06-28 | Paper |
Appendix to the paper ``Definable sets and expansions of models of Peano arithmetic | 1990-01-01 | Paper |
A note on the variety of satisfaction classes | 1990-01-01 | Paper |
Definable sets and expansions of models of Peano arithmetic | 1988-01-01 | Paper |
Pointwise definable substructures of models of Peano arithmetic | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4204151 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3781756 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3794179 | 1987-01-01 | Paper |
Some More Remarks on Expandability of Initial Segments | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3757918 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5187239 | 1985-01-01 | Paper |
TRACE EXPANSIONS OF INITIAL SEGMENTS | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3679180 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3679181 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3703890 | 1984-01-01 | Paper |
Incompleteness of Sigma//\(n^ 0\) definable theories via indicators | 1981-01-01 | Paper |
A simple remark on satisfaction classes, indiscernibles and recursive saturation | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3941402 | 1981-01-01 | Paper |
Indicators, recursive saturation and expandability | 1981-01-01 | Paper |
Some Remarks on the Structure of Expansions | 1980-01-01 | Paper |
On expandability of models of Peano arithmetic. I | 1977-01-01 | Paper |
On expandability of models of Peano arithmetic. III | 1977-01-01 | Paper |
On expandability of models of Peano arithmetic. II | 1976-01-01 | Paper |