Takenti, Gaisi, 1926-,

Proof theory. -- - 372 páginas


Teoría de la demostración

QA9.54 / T34