@book{707387,
	author = {Gaukroger Stephen},
	title = {Cartesian Logic.},
	publisher = { Clarendon Press     },
	year = {1989},
	address = {New York  }
}