@book{750317,
	author = {Dalen Dirk Van},
	title = {Logic and structure.},
	publisher = { Springer-Verlag      },
	year = {1983},
	address = {New York  },
	edition = {2}
}