@Journal article{001014557,
	author =  "Levý, Jiří,", 
	title = "Dvojí typ dedukce ",
	publisher = "",
    year =      ""
}