@book{24520,
	author = {SPERSCHNEIDER, V. and ANLONIOU, G.},
	title = {LOGIC A FOUNDATION FOR COMPUTER SCIENCE / },
	publisher = {ADDISON - WESLEY PUBLISHING COMPANY ، },
	year = {1991},
	address = {[S.N] : }
}