@article {1152,
	title = {Odkud se berou axiomy logiky? },
	journal = {Organon F},
	volume = {20},
	number = {2},
	year = {2013},
	pages = {117-139},
	abstract = {Systems of axioms for elementary logic we can find in textbooks are usually not very transparent; and the reader might well wonder how did precisely such a set of axioms come into being. In this paper we present a way of constituting one such non-transparent set of axioms, namely the one presented by E. Mendelson in his <i>Introduction to Mathematical Logic</i>, in a transparent way, with the aim of helping the reader to get an insight into the workings of the axioms.},
	keywords = {Axioms, logic, Natural Deduction, negation},
	url = {http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/117-139.pdf},
	author = {Peregrin, Jaroslav}
}
