@Journal article{a012300696,
	author =  "Petäjä, Jukka", 
	title = "Formal logic.",
	publisher = "",
    year =      ""
}