@book{30218,
	author = {Hackstaff, L. H.},
	title = {Systems of formal logic /},
	publisher = {D. Reidel,},
	year = {1966.},
	address = {Dordrecht :},
	note = {With Summary of rules and laws for major axiomatic systems in systems of formal logic: 4 p. inserted.}
}