Takenti, Gaisi, 1926-, Proof theory. -- - 372 páginas Subjects--Topical Terms: Teoría de la demostración LC Class. No.: QA9.54 / T34