@book{30378,
	author = {Kleene, S C},
	title = {Introducation to metamathematics},
	publisher = {NORTH-HOLLAN PUBLISHING CO},
	year = {1952},
	address = {AMSTERDAM}
}