Probst, Dieter (Ed.)
Concepts of proof in mathematics, philosophy, and computer science
Boston : Walter de Gruyter, 2016. x, 374 p. -- (Ontos mathematical logic, 2198-2341 ; vol.  6
QA9.54 C65


Imprimir