100 mathematical proof

Библиографические подробности
Главный автор:	Garnier, Rowan
Другие авторы:	Taylor, John 1957-
Формат:	‌
Язык:	English
Опубликовано:	Chichester Wiley c1996.
Предметы:	Proof theory. Logic, Symbolic and mathematical.