@book{3105054,
	author = {Nabebin, A. A.},
	title = {Mathematical logic and Prolog},
	publisher = {MPEI},
	year = {2004},
	address = {Moscow},
	note = {В вып. дан.: Математическая логика и Пролог / Алексей Александрович Набебин}
}