@book{1461,
	author = {Dalen, Dirk van.},
	title = {Logic and structure /},
	publisher = {Springer,},
	year = {2008.},
	series = {Universitext.},
	address = {New York :}
}