Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Type theory and formal proof : an introduction
Autor:		Rob Nederpelt, Herman Geuvers
Rok vydání:		2014
Identifikátory:		9781107036505 abd001-002039981

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)