@book{51324,
	author = {Crossley, John N.},
	title = {Formal systems and recursive functions :},
	publisher = {North-Holland Pub. Co.,},
	year = {1965.},
	address = {Amsterdam :},
	note = {Held at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.}
}