@book{10015,
	author = {Toledo, Sue},
	title = {Tableau systems for first order number theory and certain higher order theories},
	publisher = {Springer-Verlag},
	year = {1975},
	series = {Lecture notes in Mathematics},
	address = {Berlin}
}