No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
WstępWstęp
Find similar objects | Add to bibliography
Spis treściSpis treści
Applications of Algebra in Logic and Computer Science XX (Zastosowania Algebry w Logice i Informatyce), Zakopane, 7th–13th March 2016Applications of Algebra in Logic and Computer Science XX (Zastosowania Algebry w Logice i Informatyce), Zakopane, 7th–13th March 2016
[rec.] Rafał Urbaniak, "Leśniewski's System of Logic and Foundations of Mathematics", Springer, Cham, Heidelberg-New York-Dordreecht-London 2014, ss. 229[rec.] Rafał Urbaniak, "Leśniewski's System of Logic and Foundations of Mathematics", Springer, Cham, Heidelberg-New York-Dordreecht-London 2014, ss. 229
[rec.] Roman Murawski, Filozofia matematyki i logiki w Polsce międzywojennej, Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, Toruń 2011[rec.] Roman Murawski, Filozofia matematyki i logiki w Polsce międzywojennej, Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, Toruń 2011
O definicjach twórczych: między poglądami Jana Łukasiewicza i Stanisława LeśniewskiegoO definicjach twórczych: między poglądami Jana Łukasiewicza i Stanisława Leśniewskiego
Stanisława Leśniewskigo pierwsze rozwiązanie antynomii RussellaStanisława Leśniewskigo pierwsze rozwiązanie antynomii Russella
Stanisława Leśniewskiego drugie rozwiązanie antynomii RussellaStanisława Leśniewskiego drugie rozwiązanie antynomii Russella