@book{4446,
	author = {Kleene, Stephen Cole,},
	title = {Introduction to metamathematics /},
	publisher = {North-Holland Pub. Co. :},
	year = {1952.},
	address = {Amsterdam :},
	note = {Includes index.}
}