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
Stanisława Leśniewskiego trzecia analiza antynomii RussellaStanisława Leśniewskiego trzecia analiza antynomii Russella