@book{14986,
	author = {Getmanova, Alexandra},
	title = {Logic /},
	publisher = {Progress Publishers, Moscow,},
	year = {1989}
}