@book{1259,
	author = {Petr Hajek},
	title = {Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics},
	publisher = {A K Peters/CRC Press},
	year = {20010326},
	edition = {1}
}