@book{31416,
	author = {Dalen, Dirk van},
	title = {Logic and structure},
	publisher = {Springer},
	year = {1980},
	address = {Heidelgerg},
	edition = {4th. }
}