@misc{Miszczyński_Ryszard_Stanisława_2021,
 author={Miszczyński, Ryszard},
 abstract={Formalizm używany przez Leśniewskiego do prezentacji matematycznej teorii nazywany jest radykalnym. Według autora jest on realizacją postulatów tzw. formalnych arytmetyków. Matematyczna teoria jest prezentowana jako czysta gra formuł pozbawionych treści. Kierowana jest precyzyjnymi regułami opisanymi w metajęzyku. Autor podkreśla różnicę między podejściem Leśniewskiego a Hilberta.},
 type={artykuł},
 publisher={Wydawnictwo Naukowe Uniwersytetu Humanistyczno-Przyrodniczego im. Jana Długosza w Częstochowie},
 title={Stanisława Leśniewskiego rozumienie roli formalnego języka matematyki},
 address={Częstochowa},
 year={2021},
 language={pol},
 keywords={Stanisław Leśniewski, podstawy matematyki, intuicyjny formalizm, radykalny formalizm, gra napisami, metamatematyka},
}