@book{1036,
	author = {Welton, James, et al.},
	title = {Intermediate logic /},
	publisher = {University Tutorial Press Ltd., London,},
	year = {1962},
	edition = {4 ed.}
}