@article {vlasakova_m1999:179, title = {Srovn{\'a}n{\'\i} Bolzanovy a Tarsk{\'e}ho definice vypl{\'y}v{\'a}n{\'\i}}, journal = {Organon F}, volume = {6}, number = {1}, year = {1999}, pages = {1-5}, type = {State}, abstract = {Bernard Bolzano presents in his work Wissenschaftslehre (1837) a definition of derivability among sentences. Tarski publishes his well-known definition of logical consequence almost one hundred years later. This article intends to prove that the Bolzano{\textasciiacute}s definition is fully satisfactory compared to the Tarski{\textasciiacute}s one, even though no attention was drawn to Bolzano{\textasciiacute}s definition at that time.}, url = {http://www.klemens.sav.sk/fiusav/doc/organon/1999/1/1-5.pdf}, author = {Vlas{\'a}kov{\'a}, Marta} }