@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}
}
