Relating Z and First−order logic

Бібліографічні деталі
Автор: Martin, A
Формат: Journal article
Опубліковано: 2000