@book{64305,
	author = {Bimbó, Katalin},
	title = {Combinatory logic :},
	publisher = {CRC Press,},
	year = {2012},
	series = {Discrete mathematics and its applications},
	address = {Boca Raton, FL :}
}